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	US military rank o1 is an instance of company grade rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 484-484	US military rank o1 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 485-485	US military rank o1 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 492-492	US military rank o1 is an immediate successor attribute of US military rank o2

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 482-482	US military rank e9 is an immediate successor attribute of US military rank 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