| MilitaryOperation | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 19-21 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 23-23 | MilitaryOperation e' uma sub-classe de Processo Militar |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2432-2432 | O contra-dominio de AbortedMissionFn e' uma instancia de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2362-2362 | CivilAffairsActivity e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2168-2168 | CounterOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 388-388 | DirectActionActivity e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 49-49 | FoodDistributionOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1905-1905 | ForeignInternalDefense e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | InformationOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | JointOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 422-422 | MilitaryAssault e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1521-1521 | OperationPlanning e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1105-1105 | PsychologicalOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | ReconnaissanceOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 80-80 | SecurityOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 272-272 | SpecialOperation e' uma sub-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37673-37673 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37672-37672 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37671-37671 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2431-2431 | O argumento numero 2 de AbortedMissionFn e' uma instancia de MilitaryOperation |
| 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 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1326-1331 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1794-1800 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1678-1683 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1573-1580 |
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 25-30 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1293-1303 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 |
|
|
|
|