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 14692-14699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6958-6958 "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG" is a URL depicting vehicle
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8216-8216 "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg" is a URL depicting vehicle
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 590-590 "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG" is a URL depicting vehicle
No TPTP formula. May not be expressible in strict first order. Merge.kif 14691-14691 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 15408-15408 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 28244-28244 DamagedVehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3998-3998 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 23680-23680 Camper is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15302-15302 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 4015-4015 Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61291-61291 "车辆" is the printable form of vehicle in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61290-61290 "車輛" is the printable form of vehicle in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61289-61289 "vehicle" is the printable form of vehicle in english language
No TPTP formula. May not be expressible in strict first order. Cars.kif 1201-1201 A alternator is typically a part of a vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 1202-1202 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 14961-14961 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 3949-3959
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 21505-21512
No TPTP formula. May not be expressible in strict first order. Cars.kif 2933-2947
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 14709-14715
No TPTP formula. May not be expressible in strict first order. Merge.kif 14701-14707
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 28246-28250 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 14939-14943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14980-14984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8112-8125
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 20169-20181
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3922-3927
No TPTP formula. May not be expressible in strict first order. Merge.kif 10718-10723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4049-4051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19676-19681
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3615-3620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3626-3631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3604-3609
No TPTP formula. May not be expressible in strict first order. Cars.kif 5008-5019
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 3309-3321
No TPTP formula. May not be expressible in strict first order. Cars.kif 3355-3361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3979-3984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12864-12872
No TPTP formula. May not be expressible in strict first order. Cars.kif 3648-3677


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