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

Formal Language: 



Term 1: Term 2:

(subclass RelationExtendedToQuantities Relation) Merge.kif 3533-3533 RelationExtendedToQuantities ist eine teilkategorie von Relation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3534-3534 RelationExtendedToQuantities ist eine teilkategorie von InheritableRelation
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) Geography.kif 642-642 BinaryRelationExtendedToQuantities ist eine teilkategorie von RelationExtendedToQuantities


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