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

Formal Language: 



Term 1: Term 2:

(subclass TemporalRelation Relation) Merge.kif 2663-2663 TemporalRelation ist eine teilkategorie von Relation
(subclass TemporalRelation InheritableRelation) Merge.kif 2664-2664 TemporalRelation 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