USMilitaryRankO9 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 569-569	US military rank o9 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 570-570	US military rank o9 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 571-571	US military rank o9 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 581-581	US military rank o9 is an immediate successor attribute of US military rank o10

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 568-568	US military rank o8 is an immediate successor attribute of US military rank o9
No TPTP formula. May not be expressible in strict first order.	Military.kif 573-573
No TPTP formula. May not be expressible in strict first order.	Military.kif 572-572
No TPTP formula. May not be expressible in strict first order.	Military.kif 574-574
No TPTP formula. May not be expressible in strict first order.	Military.kif 578-578
No TPTP formula. May not be expressible in strict first order.	Military.kif 577-577
No TPTP formula. May not be expressible in strict first order.	Military.kif 579-579
No TPTP formula. May not be expressible in strict first order.	Military.kif 576-576
No TPTP formula. May not be expressible in strict first order.	Military.kif 575-575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61010-61010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61009-61009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61008-61008