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 299-299 | Non commissioned officer rank is a subclass of enlisted soldier rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 314-314 | Private rank is a subclass of enlisted soldier rank |