USMilitaryRankE9 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 453-460
No TPTP formula. May not be expressible in strict first order.	Military.kif 450-450	例美國軍銜e9 and 高級NCO排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 451-451	例美國軍銜e9 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 452-452	子屬性美國軍銜e9 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 469-469	繼承屬性美國軍銜e9 and 美國軍銜e9特別
No TPTP formula. May not be expressible in strict first order.	Military.kif 482-482	繼承屬性美國軍銜e9 and 美國軍銜o1

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 449-449	繼承屬性美國軍銜e8 and 美國軍銜e9
No TPTP formula. May not be expressible in strict first order.	Military.kif 462-462
No TPTP formula. May not be expressible in strict first order.	Military.kif 461-461
No TPTP formula. May not be expressible in strict first order.	Military.kif 463-463
No TPTP formula. May not be expressible in strict first order.	Military.kif 467-467
No TPTP formula. May not be expressible in strict first order.	Military.kif 466-466
No TPTP formula. May not be expressible in strict first order.	Military.kif 464-464
No TPTP formula. May not be expressible in strict first order.	Military.kif 465-465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60944-60944
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60943-60943
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60942-60942