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

Formal Language: 



Term 1: Term 2:

(subclass SpatialRelation Relation) Merge.kif 2656-2656 SpatialRelation ist eine teilkategorie von Relation
(subclass SpatialRelation InheritableRelation) Merge.kif 2657-2657 SpatialRelation ist eine teilkategorie von InheritableRelation


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