No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2367-2367 |
MultifunctionalLargeLoadCarrierShip s'appele nom "heavy cargo carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2366-2366 |
MultifunctionalLargeLoadCarrierShip s'appele nom "heavy lift carrier" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39143-39143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39142-39142 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39141-39141 |
|