No TPTP formula. May not be expressible in strict first order. | Military.kif 245-245 | Military rank is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Military.kif 255-255 | US military rank is a subclass of military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 266-266 | Enlisted soldier rank is a subclass of military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 271-271 | Commissioned officer rank is a subclass of military rank |