LandVehicle(land vehicle) | Caterpillar, armored_car, armoured_car, cat, hearse, post_chaise, pung, road_roller, steamroller, tracked_vehicle, wheeled_vehicle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3466-3470 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1439-1439 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | Land vehicle is a subclass of vehicle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2129-2129 | M113A4 Armored Medical Evacuation Vehicle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | APC is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4769-4769 | All-terrain vehicle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2019-2019 | Amphibious vehicle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1923-1923 | Cycle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4591-4591 | Four wheel drive is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2033-2033 | Rail vehicle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3508-3508 | Road vehicle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1944-1944 | Scooter is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4614-4614 | Four wheel drive is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1846-1846 | Wagon is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33301-33301 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33300-33300 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33299-33299 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17779-17781 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3377-3382 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3472-3481 |
|
consequent |