TreeView Knowledge Base Browser - TransportViaRoadVehicle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TransportViaRoadVehicle

Sigma KEE - TransportViaRoadVehicle

TransportViaRoadVehicle(transport via a road vehicle)

bus, cab, cycle, drive, hitch, hitchhike, joyride, motor, motorbike, motorcycle, pick_up, taxi, thumb, tool, tool_around

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17791-17794
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17790-17790	Transport via a road vehicle is a subclass of land transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17789-17789	Transport via a road vehicle is a subclass of transportation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59036-59036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59035-59035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59034-59034

antecedent

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 23548-23553	If a process is an instance of transport via a road vehicle, then there exists another process such that the other process is an instance of driving and the process is a subprocess of the other process

consequent

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.	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

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