| PrivateRank(private rank) | | buck_private, common_soldier, private |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 315-317 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 314-314 | Private rank is a subclass of enlisted soldier rank |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 269-269 | Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 346-346 | US military rank e1 is an instance of private rank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 359-359 | US military rank e2 is an instance of private rank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 372-372 | US military rank e3 is an instance of private rank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 385-385 | US military rank e4 is an instance of private rank |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47499-47499 | US military rank e4 is an instance of private rank |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47498-47498 | US military rank e4 is an instance of private rank |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47497-47497 | US military rank e4 is an instance of private rank |
|
|
|