MerchantMarineFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 968-970 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 965-965 | The number 1 argument of merchant marine is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 964-964 | Merchant marine is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 966-966 | The range of merchant marine is an instance of merchant marine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1703-1703 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1702-1702 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1701-1701 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37163-37163 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37162-37162 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37161-37161 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1064-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 978-982 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 972-976 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1157-1166 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1113-1119 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 978-982 |
|