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

Formal Language: 


Term 1: Term 2:

(subclass Roadway LandTransitway) Merge.kif 14452-14452
(subclass SurfacedRoadway Roadway) Transportation.kif 625-625
(subclass UnsurfacedRoadway Roadway) Transportation.kif 635-635
(subclass SecondaryHighway Roadway) Transportation.kif 1783-1783
(subclass Street Roadway) Transportation.kif 1784-1784
(subclass Lane Roadway) Transportation.kif 1786-1786
(subclass RoadJunction Roadway) Transportation.kif 3864-3864
(subclass Driveway Roadway) Mid-level-ontology.kif 19447-19447
(subclass Road Roadway) Mid-level-ontology.kif 23859-23859


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