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 | O argumento numero 1 de navigableForShippingTonnage e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2630-2630 | O argumento numero 2 de navigableForShippingTonnage e' uma instancia de Quantidade Fisica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2628-2628 | navigableForShippingTonnage e' uma instancia de Predicado Binario |
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 |
|