No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | AgentPoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1924-1924 | Cycle est une sous-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1945-1945 | Scooter est une sous-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2500-2500 | Canoe est une sous-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2503-2503 | Kayak est une sous-classe de AgentPoweredVehicle |
![]() |