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 and WaterArea |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2630-2630 | 域 可通航航運噸位, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2628-2628 | 例 可通航航運噸位 and BinaryPredicate |
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 |