Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass BinaryRelation Relation) Merge.kif 2232-2232 BinaryRelation ist eine teilkategorie von Relation
(subclass BinaryRelation InheritableRelation) Merge.kif 2233-2233 BinaryRelation ist eine teilkategorie von InheritableRelation
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 16900-16900 EconomicRelation ist eine teilkategorie von BinaryRelation
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2239-2239 ReflexiveRelation ist eine teilkategorie von BinaryRelation
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 IrreflexiveRelation ist eine teilkategorie von BinaryRelation
(subclass SymmetricRelation BinaryRelation) Merge.kif 2260-2260 SymmetricRelation ist eine teilkategorie von BinaryRelation
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2292-2292 AntisymmetricRelation ist eine teilkategorie von BinaryRelation
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2310-2310 TrichotomizingRelation ist eine teilkategorie von BinaryRelation
(subclass TransitiveRelation BinaryRelation) Merge.kif 2333-2333 TransitiveRelation ist eine teilkategorie von BinaryRelation
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2349-2349 IntransitiveRelation ist eine teilkategorie von BinaryRelation
(subclass UnaryFunction BinaryRelation) Merge.kif 3359-3359 UnaryFunction ist eine teilkategorie von BinaryRelation
(subclass BinaryPredicate BinaryRelation) Merge.kif 3479-3479 BinaryPredicate ist eine teilkategorie von BinaryRelation


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners