| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | Land vehicle is a subclass of 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. | Transportation.kif 1923-1923 | Cycle 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. | Transportation.kif 2033-2033 | Rail 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. | MilitaryDevices.kif 2019-2019 | Amphibious vehicle is a subclass of land vehicle |
| 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. | 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. | Cars.kif 4583-4583 | Four wheel drive is a subclass of land vehicle |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4606-4606 | Four wheel drive is a subclass of land vehicle |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4761-4761 | All-terrain vehicle is a subclass of land vehicle |
|
|