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	USMilitaryRankSpecial est une instance de FlagOfficerRank
No TPTP formula. May not be expressible in strict first order.	Military.kif 596-596	USMilitaryRankSpecial est une instance de USMilitaryRank
No TPTP formula. May not be expressible in strict first order.	Military.kif 597-597	USMilitaryRankSpecial est un sous-attribut de Soldier

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 594-594	USMilitaryRankO10 est un attribut successeur imm�diat de USMilitaryRankSpecial
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