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 23565-23573
No TPTP formula. May not be expressible in strict first order. Cars.kif 902-915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23536-23541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3538-3547

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16882-16893
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 15478-15484
No TPTP formula. May not be expressible in strict first order. Cars.kif 4453-4463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15205-15210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3458-3463


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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