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. | Transportation.kif 1924-1924 | Cycle is a subclass of agent powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1945-1945 | Scooter is a subclass of agent powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2500-2500 | Canoe is a subclass of agent powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2503-2503 | Kayak is a subclass of agent powered vehicle |