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 | O argumento numero 1 de ShipRegisterFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1132-1132 | ShipRegisterFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1134-1134 | O contra-dominio de ShipRegisterFn e' uma instancia 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 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 |