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 | The number 1 argument of navigable for shipping tonnage is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2630-2630 | The number 2 argument of navigable for shipping tonnage is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2628-2628 | navigable for shipping tonnage is an instance of binary predicate |
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 |
|