USMilitaryRankE8 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 440-442
No TPTP formula. May not be expressible in strict first order.	Military.kif 437-437	US military rank e8 is an instance of seniorNCO rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 438-438	US military rank e8 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order.	Military.kif 439-439	US military rank e8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order.	Military.kif 449-449	US military rank e8 is an immediate successor attribute of US military rank e9

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 436-436	US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order.	Military.kif 445-445
No TPTP formula. May not be expressible in strict first order.	Military.kif 443-443
No TPTP formula. May not be expressible in strict first order.	Military.kif 447-447
No TPTP formula. May not be expressible in strict first order.	Military.kif 446-446
No TPTP formula. May not be expressible in strict first order.	Military.kif 444-444
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60904-60904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60903-60903
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60902-60902