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 14793-14800
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 14792-14792 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 15461-15461 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 28308-28308 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 23744-23744 Camper is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15355-15355 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 61233-61233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61232-61232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61231-61231
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 15014-15014 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 21569-21576
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 14810-14816
No TPTP formula. May not be expressible in strict first order. Merge.kif 14802-14808
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 28310-28314 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 14992-14996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15033-15037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8119-8132
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 461-467
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 20233-20245
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 10819-10824
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 19740-19745
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 5009-5020
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 12917-12925
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3678


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners