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 |
![]() |
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 |
|
![]() |
![]() |