Property: theorem:estUnPostulat

"Principe utilisé dans la construction d'un système d'inférences, mais qu'on ne démontre pas lui-même, sans pour autant s'interdire la possibilité de s'y essayer plus tard. Il doit être accepté pour accepter la propriété." [lang: fr]

Types

owl:ObjectProperty

Super Properties

theorem:estUnRaisonnement

Domain

owl:Thing

Inverse Property

theorem:aUnPostulat

Abstract Syntax

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUnPostulat annotation(http://www.w3.org/2000/01/rdf-schema#comment "Principe utilisé dans la construction d'un système d'inférences, mais qu'on ne démontre pas lui-même, sans pour autant s'interdire la possibilité de s'y essayer plus tard. Il doit être accepté pour accepter la propriété."@fr)
                                                            annotation(http://www.w3.org/2000/01/rdf-schema#label "isPostulate"@en)
                                                            super(urn:oid:1.3.6.1.4.1.27630.3.1.1#estUnRaisonnement)
                                                            inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1.1#aUnPostulat)
                                                            domain(http://www.w3.org/2002/07/owl#Thing))
Generated with OWLDoc