PoweredVehicle
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1797-1797 | Powered vehicle is disjoint from unpowered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1794-1796 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2321-2321 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | Powered vehicle is a subclass of vehicle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2081-2081 | Railcar is disjoint from powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1822-1822 | Trailer is disjoint from 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 1574-1574 | APC is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2616-2616 | Airplane is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2172-2172 | Electrified railway car 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 1887-1887 | Emergency 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 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2122-2122 | Locomotive is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2210-2210 | Motor railcar is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2117-2117 | Motorized railway car is a subclass of powered 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 2048-2048 | Train is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47026-47026 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47025-47025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47024-47024 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1798-1801 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3740-3754 |
|