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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14841-14848
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6958-6958
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8216-8216
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 590-590
No TPTP formula. May not be expressible in strict first order. Merge.kif 14840-14840 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 1801-1801 Agent powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15436-15436 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 1750-1750 Cargo vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28288-28288 DamagedVehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4004-4004 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 1732-1732 Passenger vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1783-1783 Powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23723-23723 Camper is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15330-15330 Spacecraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1773-1773 Unpowered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4021-4021 Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61264-61264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61263-61263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61262-61262
No TPTP formula. May not be expressible in strict first order. Cars.kif 1202-1202 A alternator is typically a part of a vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 1203-1203 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 1568-1568 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 14989-14989 The number 2 argument of onboard is an instance of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1703-1703 The number 1 argument of topSpeed is an instance of vehicle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3955-3965
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 21548-21555
No TPTP formula. May not be expressible in strict first order. Cars.kif 2934-2948
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 14858-14864
No TPTP formula. May not be expressible in strict first order. Merge.kif 14850-14856
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 61-66

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28290-28294 An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14967-14971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15008-15012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8094-8107
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 463-469
No TPTP formula. May not be expressible in strict first order. naics.kif 8451-8472
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1842-1854
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 20212-20224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3928-3933
No TPTP formula. May not be expressible in strict first order. Merge.kif 10859-10864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4055-4057
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19719-19724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3621-3626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3632-3637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3610-3615
No TPTP formula. May not be expressible in strict first order. Cars.kif 5010-5021
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2336-2338
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3318-3330
No TPTP formula. May not be expressible in strict first order. Cars.kif 3356-3362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3985-3990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12892-12900
No TPTP formula. May not be expressible in strict first order. Cars.kif 3650-3679


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