| Battalion(battalion)
| | battalion |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 734-734 | US military rank o5 is a command rank of echelon of battalion |
| 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 | Company- military is a sub echelon of battalion |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 732-732 | Battalion is a subclass of military unit |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 715-715 | Battalion is a sub echelon of brigade |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 650-650 | Assault amphibian batallion is a subclass of battalion |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 539-539 | LAR battalion is a subclass of 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 |
|
|
|