USMilitaryRankO6 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 533-533	US military rank o6 is an instance of field grade officer rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 534-534	US military rank o6 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 535-535	US military rank o6 is a subattribute of soldier
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

appearance as argument number 2

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
No TPTP formula. May not be expressible in strict first order.	Military.kif 540-540
No TPTP formula. May not be expressible in strict first order.	Military.kif 539-539
No TPTP formula. May not be expressible in strict first order.	Military.kif 537-537
No TPTP formula. May not be expressible in strict first order.	Military.kif 536-536
No TPTP formula. May not be expressible in strict first order.	Military.kif 538-538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60958-60958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60957-60957
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60956-60956