No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1823-1823 |
Trailer is disjoint from 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 1924-1924 |
Cycle 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 |
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. |
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 |
|