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 | The number 1 argument of area of operation is an instance of region |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1315-1315 | The number 2 argument of area of operation is an instance of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1312-1312 | area of operation is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1311-1311 | area of operation is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1313-1313 | area of operation is an instance of partial valued relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2762-2762 | |
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 |
|