USMilitaryRankO2 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 493-493	美国军衔o2 是公司等级排名的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 494-494	美国军衔o2 是美国军衔的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 495-495	美国军衔o2 是士兵的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Military.kif 502-502	美国军衔o2 是美国军衔o3 的直接后续属性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 755-755	美国军衔o2 是排的 command 梯队等级
No TPTP formula. May not be expressible in strict first order.	Military.kif 492-492	美国军衔o1 是美国军衔o2 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 497-497
No TPTP formula. May not be expressible in strict first order.	Military.kif 496-496
No TPTP formula. May not be expressible in strict first order.	Military.kif 498-498
No TPTP formula. May not be expressible in strict first order.	Military.kif 500-500
No TPTP formula. May not be expressible in strict first order.	Military.kif 499-499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60968-60968
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60967-60967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60966-60966