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 | The number 1 argument of ship register is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1132-1132 | Ship register is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1134-1134 | The range of ship register is an instance of ship register |
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 52721-52721 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52720-52720 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52719-52719 |
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 |
|