No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3333-3333 |
ChiefSteward e' um sub-atributo de ShipMate |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3332-3332 |
FirstMate e' um sub-atributo de ShipMate |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52679-52679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52678-52678 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52677-52677 |
|