TreeView Knowledge Base Browser - Roadway

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Roadway

Roadway(roadway)

Champs_Elysees, Downing_Street, Harley_Street, Lombard_Street, Pall_Mall, Whitehall, access_road, arterial_road, artery, beltway, bus_lane, bypass, bypath, byroad, byway, causeway, clearway, cross_street, detour, drive, inside_track, local_road, local_street, parkway, ring_road, ringway, road, roadway, roundabout_way, route, rue, side_street, slip_road, street, traffic_lane, two-way_street

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3359-3361
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14300-14305
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 183-183
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14299-14299	Roadway is a subclass of land transitway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17876-17876	Driveway is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1646-1646	Lane is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22218-22218	Road is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2971-2971	Road junction is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1643-1643	Secondary highway is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1644-1644	Street is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 625-625	Surfaced roadway is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 635-635	Unsurfaced roadway is a subclass of roadway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50204-50204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50203-50203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50202-50202

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6708-6708	The number 2 argument of street address is an instance of roadway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24814-24814	The number 2 argument of post street is an instance of roadway

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2089-2093	If a transit system is an instance of road transportation system and the transit system is a route in system of a transitway, then the transitway is an instance of roadway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 493-501	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4768-4778	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15051-15057	If an object is an instance of curb, then there exist another object and a third object such that the other object is an instance of sidewalk and the third object is an instance of roadway and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15662-15667	If an object is an instance of sidewalk, then there exists another object such that the other object is an instance of roadway and the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2002-2007	If an object is an instance of bus stop, then there exists another object such that the other object is an instance of roadway and the object meets the other object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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