TreeView Knowledge Base Browser - USMilitaryRankSpecial

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 595-595	美国军衔特殊是国旗官员级别的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 596-596	美国军衔特殊是美国军衔的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 597-597	美国军衔特殊是士兵的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 594-594	美军军衔o10 是美国军衔特殊的直接后续属性
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