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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23548-23553

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23564-23572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23535-23540


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