USMilitaryRankE3 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 375-377
No TPTP formula. May not be expressible in strict first order.	Military.kif 372-372	US military rank e3 is an instance of private rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 373-373	US military rank e3 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 374-374	US military rank e3 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 384-384	US military rank e3 is an immediate successor attribute of US military rank e4

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 371-371	US military rank e2 is an immediate successor attribute of US military rank e3
No TPTP formula. May not be expressible in strict first order.	Military.kif 379-379
No TPTP formula. May not be expressible in strict first order.	Military.kif 380-380
No TPTP formula. May not be expressible in strict first order.	Military.kif 378-378
No TPTP formula. May not be expressible in strict first order.	Military.kif 382-382
No TPTP formula. May not be expressible in strict first order.	Military.kif 381-381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60908-60908
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60907-60907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60906-60906