USMilitaryRankO5 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 523-523	US military rank o5 is an instance of field grade officer rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 524-524	US military rank o5 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 525-525	US military rank o5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 532-532	US military rank o5 is an immediate successor attribute of US military rank o6

appearance as argument number 2

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 522-522	US military rank o4 is an immediate successor attribute of US military rank o5
No TPTP formula. May not be expressible in strict first order.	Military.kif 530-530
No TPTP formula. May not be expressible in strict first order.	Military.kif 529-529
No TPTP formula. May not be expressible in strict first order.	Military.kif 527-527
No TPTP formula. May not be expressible in strict first order.	Military.kif 526-526
No TPTP formula. May not be expressible in strict first order.	Military.kif 528-528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60986-60986
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60985-60985
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60984-60984