areaOfOperation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1316-1322 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1314-1314 | O argumento numero 1 de areaOfOperation e' uma instancia de Regiao |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1315-1315 | O argumento numero 2 de areaOfOperation e' uma instancia de MilitaryOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1312-1312 | areaOfOperation e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1311-1311 | areaOfOperation e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1313-1313 | areaOfOperation e' uma instancia de Relacao Parcial |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2711-2711 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8292-8292 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8291-8291 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8290-8290 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1326-1331 |
|