USMilitaryRankO9 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 569-569	例美國軍銜o9 and 國旗官員級別
No TPTP formula. May not be expressible in strict first order.	Military.kif 570-570	例美國軍銜o9 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 571-571	子屬性美國軍銜o9 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 581-581	繼承屬性美國軍銜o9 and 美軍軍銜o10

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 568-568	繼承屬性美國軍銜o8 and 美國軍銜o9
No TPTP formula. May not be expressible in strict first order.	Military.kif 573-573
No TPTP formula. May not be expressible in strict first order.	Military.kif 572-572
No TPTP formula. May not be expressible in strict first order.	Military.kif 574-574
No TPTP formula. May not be expressible in strict first order.	Military.kif 578-578
No TPTP formula. May not be expressible in strict first order.	Military.kif 577-577
No TPTP formula. May not be expressible in strict first order.	Military.kif 579-579
No TPTP formula. May not be expressible in strict first order.	Military.kif 576-576
No TPTP formula. May not be expressible in strict first order.	Military.kif 575-575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61010-61010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61009-61009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61008-61008