USMilitaryRankE6 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 414-416
No TPTP formula. May not be expressible in strict first order.	Military.kif 411-411	例美國軍銜e6 and 初級NCO排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 412-412	例美國軍銜e6 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 413-413	子屬性美國軍銜e6 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 423-423	繼承屬性美國軍銜e6 and 美國軍銜e7

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 410-410	繼承屬性美國軍銜e5 and 美國軍銜e6
No TPTP formula. May not be expressible in strict first order.	Military.kif 421-421
No TPTP formula. May not be expressible in strict first order.	Military.kif 420-420
No TPTP formula. May not be expressible in strict first order.	Military.kif 417-417
No TPTP formula. May not be expressible in strict first order.	Military.kif 419-419
No TPTP formula. May not be expressible in strict first order.	Military.kif 418-418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60926-60926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60925-60925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60924-60924