ShipRegisterFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1135-1137 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1133-1133 | 船舶登记 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1132-1132 | 船舶登记 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1134-1134 | 船舶登记 的 range 是 船舶登记 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2271-2271 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2270-2270 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2269-2269 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52719-52719 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52718-52718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52717-52717 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1145-1149 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1151-1155 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1139-1143 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1145-1149 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1151-1155 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1139-1143 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1097-1104 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1157-1166 |