Property: axiom:aUneLogique

Types

owl:ObjectProperty
owl:TransitiveProperty

Super Properties

axiom:aUnAxiome

Domain

owl:Thing

Range

axiom:Informe

Inverse Property

axiom:estUneLogique

Characteristics

Functional
Transitive

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUneLogique super(urn:oid:1.3.6.1.4.1.27630.3.1#aUnAxiome)
                                                        inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUneLogique)
                                                        Transitive
                                                        Functional
                                                        domain(http://www.w3.org/2002/07/owl#Thing)
                                                        range(urn:oid:1.3.6.1.4.1.27630.3.1#Informe))

Generated with OWLDoc