USMilitaryRankO7 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 543-543	例美國軍銜o7 and 國旗官員級別
No TPTP formula. May not be expressible in strict first order.	Military.kif 544-544	例美國軍銜o7 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 545-545	子屬性美國軍銜o7 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 555-555	繼承屬性美國軍銜o7 and 美國軍銜o8

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 542-542	繼承屬性美國軍銜o6 and 美國軍銜o7
No TPTP formula. May not be expressible in strict first order.	Military.kif 550-550
No TPTP formula. May not be expressible in strict first order.	Military.kif 546-546
No TPTP formula. May not be expressible in strict first order.	Military.kif 551-551
No TPTP formula. May not be expressible in strict first order.	Military.kif 548-548
No TPTP formula. May not be expressible in strict first order.	Military.kif 547-547
No TPTP formula. May not be expressible in strict first order.	Military.kif 549-549
No TPTP formula. May not be expressible in strict first order.	Military.kif 553-553
No TPTP formula. May not be expressible in strict first order.	Military.kif 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60998-60998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60997-60997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60996-60996