| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 |
|
| 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. | MilitaryProcesses.kif 674-674 | ReconnaissanceOperation est une sous-classe de enqu�ter |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 19-19 | SpecialReconnaissance est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 706-706 | ReconnaissanceByFire est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 725-725 | ReconnaissanceInForce est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 730-730 | AirReconnaissance est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 765-765 | AmphibiousReconnaissance est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 820-820 | ContactReconnaissance est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 824-824 | RadarReconnaissance est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 838-838 | Patrol est une sous-classe de ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 844-844 | ElectronicReconnaissance est une sous-classe de ReconnaissanceOperation |
|
|