Property: axiom:aUneHomogeneite

ObjectProperty(urn:oid:1.3.6.1.4.1.27630.3.1#aUneHomogeneite annotation(http://www.w3.org/2000/01/rdf-schema#comment "Tout énoncé est décidable. Toute proposition qui est vraie dans (le) calcul peut être démontrée."@fr)
                                                            super(urn:oid:1.3.6.1.4.1.27630.3.1#aUneInference)
                                                            inverseOf(urn:oid:1.3.6.1.4.1.27630.3.1#estUnTout)
                                                            Transitive
                                                            Functional
                                                            domain(http://www.w3.org/2002/07/owl#Thing)
                                                            range(unionOf(urn:oid:1.3.6.1.4.1.27630.3.1#Informe
                                                                          urn:oid:1.3.6.1.4.1.27630.3.1#Completude)))