USMilitaryRankE8 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 440-442
No TPTP formula. May not be expressible in strict first order.	Military.kif 437-437	例美國軍銜e8 and 高級NCO排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 438-438	例美國軍銜e8 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 439-439	子屬性美國軍銜e8 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 449-449	繼承屬性美國軍銜e8 and 美國軍銜e9

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 436-436	繼承屬性美國軍銜e7 and 美國軍銜e8
No TPTP formula. May not be expressible in strict first order.	Military.kif 445-445
No TPTP formula. May not be expressible in strict first order.	Military.kif 443-443
No TPTP formula. May not be expressible in strict first order.	Military.kif 447-447
No TPTP formula. May not be expressible in strict first order.	Military.kif 446-446
No TPTP formula. May not be expressible in strict first order.	Military.kif 444-444
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60938-60938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60937-60937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60936-60936