No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1823-1823 |
Trailer e' disjunto de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2500-2500 |
Canoe e' uma sub-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1924-1924 |
Cycle e' uma sub-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2503-2503 |
Kayak e' uma sub-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1945-1945 |
Scooter e' uma sub-classe de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5832-5832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5831-5831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5830-5830 |
|