USMilitaryRankE5 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 401-403
No TPTP formula. May not be expressible in strict first order.	Military.kif 398-398	例美國軍銜e5 and 初級NCO排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 399-399	例美國軍銜e5 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 400-400	子屬性美國軍銜e5 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 410-410	繼承屬性美國軍銜e5 and 美國軍銜e6

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 397-397	繼承屬性美國軍銜e4 and 美國軍銜e5
No TPTP formula. May not be expressible in strict first order.	Military.kif 408-408
No TPTP formula. May not be expressible in strict first order.	Military.kif 407-407
No TPTP formula. May not be expressible in strict first order.	Military.kif 404-404
No TPTP formula. May not be expressible in strict first order.	Military.kif 406-406
No TPTP formula. May not be expressible in strict first order.	Military.kif 405-405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60920-60920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60919-60919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60918-60918