USMilitaryRankO6 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 533-533	例美國軍銜o6 and 現場等級軍官等級
No TPTP formula. May not be expressible in strict first order.	Military.kif 534-534	例美國軍銜o6 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 535-535	子屬性美國軍銜o6 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 542-542	繼承屬性美國軍銜o6 and 美國軍銜o7

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 532-532	繼承屬性美國軍銜o5 and 美國軍銜o6
No TPTP formula. May not be expressible in strict first order.	Military.kif 540-540
No TPTP formula. May not be expressible in strict first order.	Military.kif 539-539
No TPTP formula. May not be expressible in strict first order.	Military.kif 537-537
No TPTP formula. May not be expressible in strict first order.	Military.kif 536-536
No TPTP formula. May not be expressible in strict first order.	Military.kif 538-538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60992-60992
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60991-60991
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60990-60990