No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3281-3281 |
ChiefSteward est un sous-attribut de ShipMate |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3280-3280 |
FirstMate est un sous-attribut de ShipMate |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52677-52677 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52676-52676 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52675-52675 |
|