Property: axiom:estUneReduction

Types

owl:ObjectProperty

Super Properties

axiom:estUnUnivers

Domain

axiom:Contextes

Inverse Property

axiom:aUneReduction

Characteristics

Inverse Functional

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#estUneReduction super(urn:oid:1.3.6.1.4.1.27630.3.1#estUnUnivers)
                                                            inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#aUneReduction)
                                                            InverseFunctional
                                                            domain(urn:oid:1.3.6.1.4.1.27630.3.1#Contextes))
Generated with OWLDoc