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

Formal Language: 



Term 1: Term 2:

(subclass Roadway LandTransitway) Merge.kif 13299-13299
(subclass SurfacedRoadway Roadway) Transportation.kif 614-614
(subclass UnsurfacedRoadway Roadway) Transportation.kif 624-624
(subclass SecondaryHighway Roadway) Transportation.kif 1628-1628
(subclass Street Roadway) Transportation.kif 1629-1629
(subclass Lane Roadway) Transportation.kif 1631-1631
(subclass RoadJunction Roadway) Transportation.kif 2949-2949
(subclass Driveway Roadway) Mid-level-ontology.kif 15579-15579
(subclass Road Roadway) Mid-level-ontology.kif 20090-20090


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