USMilitaryRankO8 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 556-556	US military rank o8 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 557-557	US military rank o8 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 558-558	US military rank o8 is a subattribute of soldier
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

appearance as argument number 2

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
No TPTP formula. May not be expressible in strict first order.	Military.kif 561-561
No TPTP formula. May not be expressible in strict first order.	Military.kif 559-559
No TPTP formula. May not be expressible in strict first order.	Military.kif 562-562
No TPTP formula. May not be expressible in strict first order.	Military.kif 564-564
No TPTP formula. May not be expressible in strict first order.	Military.kif 563-563
No TPTP formula. May not be expressible in strict first order.	Military.kif 565-565
No TPTP formula. May not be expressible in strict first order.	Military.kif 560-560
No TPTP formula. May not be expressible in strict first order.	Military.kif 566-566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61004-61004
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61003-61003
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61002-61002