| No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | Platoon est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 545-545 | LARPlatoon est une sous-classe de Platoon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 552-552 | MortarPlatoon est une sous-classe de Platoon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 594-594 | AntiArmorPlatoon est une sous-classe de Platoon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 611-611 | HeavyMGPlatoon est une sous-classe de Platoon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 658-658 | AssaultAmphibianPlatoon est une sous-classe de Platoon |
|
|