|
|
   Battalion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 734-734 | commandRankOfEchelon Battalion and USMilitaryRankO5 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 717-731 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4541-4541 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 733-733 | subEchelon Battalion and CompanyMilitary |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 732-732 | Battalion e' uma sub-classe de MilitaryUnit |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 715-715 | subEchelon Brigade and Battalion |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 650-650 | AssaultAmphibianBatallion e' uma sub-classe de Battalion |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 539-539 | LARBattalion e' uma sub-classe de Battalion |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10206-10206 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10205-10205 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10204-10204 |
|
|
|
