Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vehicle

Sigma KEE - Vehicle
Vehicle(vehicle)
boneshaker, camper, camping_bus, craft, motor_home, picket, roll-on_roll-off, self-propelled_vehicle, skibob, vehicle, welcome_wagon

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3625-3627
No TPTP formula. May not be expressible in strict first order. Merge.kif 15975-15982
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6957-6957
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8214-8214
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 589-589
No TPTP formula. May not be expressible in strict first order. Merge.kif 15974-15974 Vehicle is a subclass of transportation device

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1811-1811 Agent powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17817-17817 Aircraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1596-1596 Armored vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1760-1760 Cargo vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30092-30092 Damaged vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3465-3465 Land vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 131-131 Military vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1742-1742 Passenger vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1793-1793 Powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25763-25763 Camper is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17711-17711 Spacecraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1783-1783 Unpowered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3483-3483 Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61346-61346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61345-61345
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61344-61344
No TPTP formula. May not be expressible in strict first order. Cars.kif 1211-1211 A alternator is typically a part of a vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 1212-1212 A vehicle typically has a part alternator

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1583-1583 The number 1 argument of trip is an instance of vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 81-81 The number 1 argument of maximum payload capacity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 109-109 The number 1 argument of maximum payload height width is an instance of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17402-17402 The number 2 argument of onboard is an instance of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1710-1710 The number 1 argument of top speed is an instance of vehicle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3416-3426
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23591-23598
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Merge.kif 15992-15998
No TPTP formula. May not be expressible in strict first order. Merge.kif 15984-15990
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 61-66
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30772-30783

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30094-30098 An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17380-17384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17421-17425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8387-8400
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 373-379
No TPTP formula. May not be expressible in strict first order. naics.kif 8528-8549
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1852-1864
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 132-141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22334-22346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3389-3394
No TPTP formula. May not be expressible in strict first order. Merge.kif 11619-11624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3516-3518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21890-21895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3078-3083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3089-3094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3067-3072
No TPTP formula. May not be expressible in strict first order. Cars.kif 5029-5040
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2347-2349
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3340-3352
No TPTP formula. May not be expressible in strict first order. Cars.kif 3381-3387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3446-3451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15176-15184
No TPTP formula. May not be expressible in strict first order. Cars.kif 3675-3704


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