navigableForShippingTonnage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2632-2635 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2629-2629 | 可通航航运吨位 的 1 数量 是 水域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2630-2630 | 可通航航运吨位 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2628-2628 | 可通航航运吨位 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1795-1795 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1794-1794 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1793-1793 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39975-39975 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39974-39974 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39973-39973 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2637-2643 |