TreeView Knowledge Base Browser - RoadVehicle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RoadVehicle

RoadVehicle(road vehicle)

Hum-Vee, Humvee, bus, heap, jalopy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2096-2096	Road vehicle is disjoint from rolling stock
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3509-3510
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1239-1239
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3508-3508	Road vehicle is a subclass of land vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1818-1818	Road vehicle is an industry product type of motor vehicle manufacturing
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1892-1892	Emergency road vehicle is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 146-146	Military tank is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1885-1885	Motor scooter is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1803-1803	Self powered road vehicle is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1827-1827	Tractor trailer is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1820-1820	Trailer is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50198-50198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50197-50197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50196-50196

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23564-23572	If a process is an instance of driving and an entity is a patient of the process and the entity is an instance of road vehicle, then there exists another process such that the other process is an instance of transport via a road vehicle and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 902-915	If an object is an instance of leaf spring and the object is a part of another object and the other object is an instance of road vehicle, then the statement there exists the object2 such that the object2 is an instance of leaf spring and the object2 is a part of the other object and the object is not equal to the object2 and the object meets the object2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23535-23540	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of road vehicle, then the process is an instance of transport via a road vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3538-3547	If an object is an instance of vehicle wheel and a corpuscular object is an instance of road vehicle and the object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is an instance of axle and the other corpuscular object is a component of the corpuscular object and the object is connected to the other corpuscular object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16881-16892	If an object is an instance of drivers license and an agent possesses the object, then the object confers norm there exist an entity and another entity such that the entity is an instance of driving and the agent is an agent of the entity and the other entity is a patient of the entity and the other entity is an instance of road vehicle for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23542-23546	If a transportation is an instance of transport via a road vehicle and a transportation device is a conveyance during the transportation, then the transportation device is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15477-15483	If a physical is an instance of garage, then the physical has the purpose there exists an entity such that the entity is an instance of road vehicle and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4461-4471	If a physical is an instance of snow chain, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of road vehicle and the other entity is an instance of wheel and the other entity is a part of the entity and the third entity is an instance of friction and the physical covers the other entity and the physical is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15204-15209	If an object is an instance of rear window, then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3458-3463	If an object is an instance of windshield, then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the front of the self connected 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