No TPTP formula. May not be expressible in strict first order. | Merge.kif 15996-15996 | Vehicle is a subclass of transportation device |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | Passenger vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1760-1760 | Cargo vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | Unpowered vehicle is a subclass of vehicle |
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 1811-1811 | Agent powered vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | Military vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | Armored vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | Land vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3483-3483 | Water vehicle is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17710-17710 | Spacecraft is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17816-17816 | Aircraft is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25751-25751 | Camper is a subclass of vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30080-30080 | Damaged vehicle is a subclass of vehicle |
![]() |