No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2591-2591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2590-2590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2589-2589 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2536-2536 |
vessel dead weight tonnage is a subrelation of vessel displacement |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2547-2547 |
vessel gross registered tonnage is a subrelation of vessel displacement |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61580-61580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61579-61579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61578-61578 |
|