|
|
   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 est une sous-classe de processus militaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2432-2432 | Le domaine de AbortedMissionFn est une instance de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2362-2362 | CivilAffairsActivity est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2168-2168 | CounterOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 388-388 | DirectActionActivity est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 49-49 | FoodDistributionOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1905-1905 | ForeignInternalDefense est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | InformationOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | JointOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 422-422 | MilitaryAssault est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1521-1521 | OperationPlanning est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1105-1105 | PsychologicalOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | ReconnaissanceOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 80-80 | SecurityOperation est une sous-classe de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 272-272 | SpecialOperation est une sous-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 | Le nombre 2 argument de AbortedMissionFn est une instance de MilitaryOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1315-1315 | Le nombre 2 argument de areaOfOperation est une instance 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 |
|
|
|
|