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 16136-16143
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6956-6956
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8213-8213
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 16135-16135 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 1951-1951 Agent powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19368-19368 Aircraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1753-1753 Armored vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1900-1900 Cargo vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31986-31986 Damaged vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3908-3908 Land vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 141-141 Military vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1882-1882 Passenger vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1933-1933 Powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27663-27663 Camper is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19262-19262 Spacecraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1923-1923 Unpowered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3926-3926 Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61340-61340 Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61339-61339 Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61338-61338 Water vehicle is a subclass of vehicle
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 2968-2968 A odometer is typically a part of a vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 3016-3016 A speedometer 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 1712-1712 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 18953-18953 The number 2 argument of onboard is an instance of vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1850-1850 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 3859-3869
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 25234-25241
No TPTP formula. May not be expressible in strict first order. Cars.kif 2941-2957
No TPTP formula. May not be expressible in strict first order. Cars.kif 2970-2996
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 16153-16159
No TPTP formula. May not be expressible in strict first order. Merge.kif 16145-16151
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 32710-32721

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31988-31992 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 18931-18935
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18972-18976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9593-9606
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 1992-2004
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 136-145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23977-23989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3832-3837
No TPTP formula. May not be expressible in strict first order. Merge.kif 11754-11759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3959-3961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23533-23538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3521-3526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3532-3537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3510-3515
No TPTP formula. May not be expressible in strict first order. Cars.kif 3018-3032
No TPTP formula. May not be expressible in strict first order. Cars.kif 5090-5101
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2523-2525
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4481-4493
No TPTP formula. May not be expressible in strict first order. Cars.kif 3442-3448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3889-3894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16549-16557
No TPTP formula. May not be expressible in strict first order. Cars.kif 3736-3765


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