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

Formal Language: 



Term 1: Term 2:

(subclass TrainStation TerminalBuilding) Transportation.kif 2065-2065 TrainStation ist eine teilkategorie von TerminalBuilding
(subclass TrainStation TransitTerminal) Transportation.kif 2917-2917 TrainStation ist eine teilkategorie von TransitTerminal


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