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 1847-1847 | Wagon is a subclass of unpowered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1841-1841 | Truck trailer is a subclass of wagon |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1866-1866 | Stage coach is a subclass of wagon |