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 |
子關係 船舶重量噸位 and 船隻位移 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2547-2547 |
子關係 船舶總註冊噸位 and 船隻位移 |
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 |
|