USMilitaryRankO5 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 523-523	例美國軍銜o5 and 現場等級軍官等級
No TPTP formula. May not be expressible in strict first order.	Military.kif 524-524	例美國軍銜o5 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 525-525	子屬性美國軍銜o5 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 532-532	繼承屬性美國軍銜o5 and 美國軍銜o6

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 734-734	美國軍銜o5 是營的 command 梯隊等級
No TPTP formula. May not be expressible in strict first order.	Military.kif 522-522	繼承屬性美國軍銜o4 and 美國軍銜o5
No TPTP formula. May not be expressible in strict first order.	Military.kif 530-530
No TPTP formula. May not be expressible in strict first order.	Military.kif 529-529
No TPTP formula. May not be expressible in strict first order.	Military.kif 527-527
No TPTP formula. May not be expressible in strict first order.	Military.kif 526-526
No TPTP formula. May not be expressible in strict first order.	Military.kif 528-528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60986-60986
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60985-60985
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60984-60984