Platoon Phosphorus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 755-755 | US military rank o2 is a command rank of echelon of platoon |
No TPTP formula. May not be expressible in strict first order. | Military.kif 746-753 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6774-6774 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | Platoon is a subclass of military unit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 737-737 | Platoon is a sub echelon of company- military |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 594-594 | Anti armor platoon is a subclass of platoon |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 658-658 | Assault amphibian platoon is a subclass of platoon |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 611-611 | HeavyMG platoon is a subclass of platoon |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 545-545 | LAR platoon is a subclass of platoon |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 552-552 | Mortar platoon is a subclass of platoon |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46248-46248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46247-46247 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46246-46246 |