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 | 域 商船, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 964-964 | 例 商船 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 966-966 | 範圍 商船 and 商船 |
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 |
|