USMilitaryRankO7 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 543-543	US military rank o7 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 544-544	US military rank o7 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 545-545	US military rank o7 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 555-555	US military rank o7 is an immediate successor attribute of US military rank o8

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 542-542	US military rank o6 is an immediate successor attribute of US military rank o7
No TPTP formula. May not be expressible in strict first order.	Military.kif 550-550
No TPTP formula. May not be expressible in strict first order.	Military.kif 546-546
No TPTP formula. May not be expressible in strict first order.	Military.kif 551-551
No TPTP formula. May not be expressible in strict first order.	Military.kif 548-548
No TPTP formula. May not be expressible in strict first order.	Military.kif 547-547
No TPTP formula. May not be expressible in strict first order.	Military.kif 549-549
No TPTP formula. May not be expressible in strict first order.	Military.kif 553-553
No TPTP formula. May not be expressible in strict first order.	Military.kif 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60964-60964
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60963-60963
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60962-60962