Class: axiom:Localisation

"Position" [lang: fr]

•owl:Thing
        •axiom:Metalogique
                •axiom:Univers
                        •axiom:Localisation

Super Classes

axiom:Univers
axiom:aUnEtat ONLY axiom:Structure
axiom:aUneProfondeur ONLY axiom:Echelle
axiom:aUneDescription SOME axiom:Universaux

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Localisation partial urn:oid:1.3.6.1.4.1.27630.3.1#Univers
                                                        restriction(urn:oid:1.3.6.1.4.1.27630.3.1#aUnEtat allValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Structure))
                                                        restriction(urn:oid:1.3.6.1.4.1.27630.3.1#aUneProfondeur allValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Echelle))
                                                        restriction(urn:oid:1.3.6.1.4.1.27630.3.1#aUneDescription someValuesFrom(urn:oid:1.3.6.1.4.1.27630.3.1#Universaux)))

Usage

Class Description/Definition (Necessary Conditions)

axiom:Entite, theorem:Territoire

Domain of

axiom:estUnePosition
Generated with OWLDoc