No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1819-1819 |
industryProductType TruckTrailerManufacturing and Wagon |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1866-1866 |
StageCoach est une sous-classe de Wagon |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1841-1841 |
TruckTrailer est une sous-classe de Wagon |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62055-62055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62054-62054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62053-62053 |
|