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 2271-2271 Road vehicle is disjoint from rolling stock
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3952-3953 Road vehicle is disjoint from rolling stock
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1239-1239 Road vehicle is disjoint from rolling stock
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3951-3951 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 1943-1943 Road vehicle is an industry product type of motor vehicle manufacturing
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2032-2032 Emergency road vehicle is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 156-156 Military tank is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2025-2025 Motor scooter is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1943-1943 Self powered road vehicle is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1967-1967 Tractor trailer is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1960-1960 Trailer is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50202-50202 Trailer is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50201-50201 Trailer is a subclass of road vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50200-50200 Trailer is a subclass of road vehicle

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25208-25216
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. Transportation.kif 3568-3582
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3511-3522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25179-25184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3981-3990

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18269-18280
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3616-3630
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3584-3598
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3600-3614
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3511-3522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25186-25190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16851-16857
No TPTP formula. May not be expressible in strict first order. Cars.kif 4514-4524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16578-16583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3901-3906


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