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