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	例美國軍銜特殊 and 國旗官員級別
No TPTP formula. May not be expressible in strict first order.	Military.kif 596-596	例美國軍銜特殊 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 597-597	子屬性美國軍銜特殊 and 士兵

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 594-594	繼承屬性美軍軍銜o10 and 美國軍銜特殊
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