USMilitaryRankO8 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 556-556	例美國軍銜o8 and 國旗官員級別
No TPTP formula. May not be expressible in strict first order.	Military.kif 557-557	例美國軍銜o8 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 558-558	子屬性美國軍銜o8 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 568-568	繼承屬性美國軍銜o8 and 美國軍銜o9

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 555-555	繼承屬性美國軍銜o7 and 美國軍銜o8
No TPTP formula. May not be expressible in strict first order.	Military.kif 561-561
No TPTP formula. May not be expressible in strict first order.	Military.kif 559-559
No TPTP formula. May not be expressible in strict first order.	Military.kif 562-562
No TPTP formula. May not be expressible in strict first order.	Military.kif 564-564
No TPTP formula. May not be expressible in strict first order.	Military.kif 563-563
No TPTP formula. May not be expressible in strict first order.	Military.kif 565-565
No TPTP formula. May not be expressible in strict first order.	Military.kif 560-560
No TPTP formula. May not be expressible in strict first order.	Military.kif 566-566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61004-61004
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61003-61003
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61002-61002