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 17792-17795
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. Mid-level-ontology.kif 17790-17790 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 23543-23547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23549-23554

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23565-23573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23536-23541


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