USMilitaryRankO1 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 483-483	例美國軍銜o1 and 公司等級排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 484-484	例美國軍銜o1 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 485-485	子屬性美國軍銜o1 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 492-492	繼承屬性美國軍銜o1 and 美國軍銜o2

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 482-482	繼承屬性美國軍銜e9 and 美國軍銜o1
No TPTP formula. May not be expressible in strict first order.	Military.kif 487-487
No TPTP formula. May not be expressible in strict first order.	Military.kif 486-486
No TPTP formula. May not be expressible in strict first order.	Military.kif 488-488
No TPTP formula. May not be expressible in strict first order.	Military.kif 490-490
No TPTP formula. May not be expressible in strict first order.	Military.kif 489-489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60956-60956
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60955-60955
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60954-60954