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 | Le nombre 1 argument de ShipRegisterFn est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1132-1132 | ShipRegisterFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1134-1134 | Le domaine de ShipRegisterFn est une instance de ShipRegister |
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 |