USMilitaryRankSpecial - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 595-595	US military rank special is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 596-596	US military rank special is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 597-597	US military rank special is a subattribute of soldier

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 594-594	US military rank o10 is an immediate successor attribute of US military rank special
No TPTP formula. May not be expressible in strict first order.	Military.kif 603-603
No TPTP formula. May not be expressible in strict first order.	Military.kif 602-602
No TPTP formula. May not be expressible in strict first order.	Military.kif 601-601
No TPTP formula. May not be expressible in strict first order.	Military.kif 600-600
No TPTP formula. May not be expressible in strict first order.	Military.kif 599-599
No TPTP formula. May not be expressible in strict first order.	Military.kif 598-598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61016-61016
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61015-61015
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61014-61014