TreeView Knowledge Base Browser - USMilitaryRankE9special

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 473-475
No TPTP formula. May not be expressible in strict first order.	Military.kif 471-471	美国军衔e9特别是高级NCO排名的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 470-470	美国军衔e9特别是美国军衔的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 472-472	美国军衔e9特别是士兵的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 469-469	美国军衔e9 是美国军衔e9特别的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 477-477
No TPTP formula. May not be expressible in strict first order.	Military.kif 476-476
No TPTP formula. May not be expressible in strict first order.	Military.kif 480-480
No TPTP formula. May not be expressible in strict first order.	Military.kif 479-479
No TPTP formula. May not be expressible in strict first order.	Military.kif 478-478
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60950-60950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60949-60949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60948-60948