No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1846-1846 | Wagon e' uma sub-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1847-1847 | Wagon e' uma sub-classe de UnpoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1841-1841 | TruckTrailer e' uma sub-classe de Wagon |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1866-1866 | StageCoach e' uma sub-classe de Wagon |