USMilitaryRankE5 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 401-403
No TPTP formula. May not be expressible in strict first order.	Military.kif 398-398	US military rank e5 is an instance of juniorNCO rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 399-399	US military rank e5 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 400-400	US military rank e5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 410-410	US military rank e5 is an immediate successor attribute of US military rank e6

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 397-397	US military rank e4 is an immediate successor attribute of US military rank e5
No TPTP formula. May not be expressible in strict first order.	Military.kif 408-408
No TPTP formula. May not be expressible in strict first order.	Military.kif 407-407
No TPTP formula. May not be expressible in strict first order.	Military.kif 404-404
No TPTP formula. May not be expressible in strict first order.	Military.kif 406-406
No TPTP formula. May not be expressible in strict first order.	Military.kif 405-405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60920-60920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60919-60919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60918-60918