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

Formal Language: 



Term 1: Term 2:

(subclass RoadJunction TransitwayJunction) Transportation.kif 2970-2970 RoadJunction ist eine teilkategorie von TransitwayJunction
(subclass RoadJunction Roadway) Transportation.kif 2971-2971 RoadJunction ist eine teilkategorie von Roadway


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