No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2009-2009 | Truck is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2010-2010 | Truck is a subclass of cargo vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1871-1871 | Light truck is a subclass of truck |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2026-2026 | Truck tractor is a subclass of truck |
No TPTP formula. May not be expressible in strict first order. | Military.kif 206-206 | Military supply truck is a subclass of truck |