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	USMilitaryRankE9special e' uma instancia de SeniorNCORank
No TPTP formula. May not be expressible in strict first order.	Military.kif 470-470	USMilitaryRankE9special e' uma instancia de USMilitaryRank
No TPTP formula. May not be expressible in strict first order.	Military.kif 472-472	USMilitaryRankE9special e' um sub-atributo de Soldier

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 469-469	USMilitaryRankE9 e' um atributo sucessor immediato de USMilitaryRankE9special
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