TreeView Knowledge Base Browser - LandTransportation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

LandTransportation

Sigma KEE - LandTransportation

LandTransportation(land transportation)

chariot, haul, rail, roll, sled, sleigh, snowmobile, train, wheel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17768-17769
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17767-17767	Land transportation is a subclass of transportation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1931-1931	Cycling is a subclass of land transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17791-17791	Transport via a road vehicle is a subclass of land transportation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33295-33295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33294-33294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33293-33293

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17784-17788	If a motion is an instance of land transportation and an object is path along which the motion occurs, then the object is an instance of land transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17778	If a process is an instance of land transportation, then there exist an object and another object such that the object is an instance of land vehicle and the other object is an instance of land area and the object is an instrument for the process and the object is located at the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3372-3379	If a process is an instance of Land Transportation Service, then there exist another process and an object such that the other process is an instance of land transportation and the object is an instance of land vehicle and the object is an instrument for the other process 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 17780-17782	If an object is an instance of land vehicle, then the object is capable of doing land transportation as a instrument

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