| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | Powered vehicle is a subclass of vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1804-1804 | Self powered road vehicle is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1887-1887 | Emergency vehicle is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1893-1893 | Emergency road vehicle is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2048-2048 | Train is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2111-2111 | Motorized railway car is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2116-2116 | Locomotive is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2166-2166 | Electrified railway car is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2204-2204 | Motor railcar is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2583-2583 | Airplane is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | APC is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1649-1649 | Amphibious Assault Vehicle is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1947-1947 | LCAC is a subclass of powered vehicle |
|
|