Property: theorem:estUneVerite

Types

owl:ObjectProperty

Super Properties

theorem:estUneScienceFormelle

Domain

owl:Thing

Inverse Property

theorem:aUneVerite

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUneVerite super(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUneScienceFormelle)
                                                           inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUneVerite)
                                                           domain(http://www.w3.org/2002/07/owl#Thing))
Generated with OWLDoc