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

Formal Language: 



Term 1: Term 2:

(subclass Roadway LandTransitway) Merge.kif 14299-14299 RoadwayLandTransitwaysubclass では %n
(subclass SurfacedRoadway Roadway) Transportation.kif 625-625 SurfacedRoadwayRoadwaysubclass では %n
(subclass UnsurfacedRoadway Roadway) Transportation.kif 635-635 UnsurfacedRoadwayRoadwaysubclass では %n
(subclass SecondaryHighway Roadway) Transportation.kif 1643-1643 SecondaryHighwayRoadwaysubclass では %n
(subclass Street Roadway) Transportation.kif 1644-1644 StreetRoadwaysubclass では %n
(subclass Lane Roadway) Transportation.kif 1646-1646 LaneRoadwaysubclass では %n
(subclass RoadJunction Roadway) Transportation.kif 2971-2971 RoadJunctionRoadwaysubclass では %n
(subclass Driveway Roadway) Mid-level-ontology.kif 17876-17876 DrivewayRoadwaysubclass では %n
(subclass Road Roadway) Mid-level-ontology.kif 22218-22218 RoadRoadwaysubclass では %n


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