No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1797-1797 |
Powered vehicle is disjoint from unpowered vehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2594-2594 |
Glider plane is a subclass of unpowered vehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1821-1821 |
Trailer is a subclass of unpowered vehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1847-1847 |
Wagon is a subclass of unpowered vehicle |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60530-60530 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60529-60529 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60528-60528 |
|