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

Formal Language: 



Term 1: Term 2:

(subclass SingleValuedRelation Relation) Merge.kif 2176-2176 SingleValuedRelation ist eine teilkategorie von Relation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2177-2177 SingleValuedRelation ist eine teilkategorie von InheritableRelation
(subclass Function SingleValuedRelation) Merge.kif 3350-3350 Function ist eine teilkategorie von SingleValuedRelation


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