USMilitaryRankE7 - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 427-429
No TPTP formula. May not be expressible in strict first order.	Military.kif 424-424	例美國軍銜e7 and 高級NCO排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 425-425	例美國軍銜e7 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 426-426	子屬性美國軍銜e7 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 436-436	繼承屬性美國軍銜e7 and 美國軍銜e8

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 423-423	繼承屬性美國軍銜e6 and 美國軍銜e7
No TPTP formula. May not be expressible in strict first order.	Military.kif 434-434
No TPTP formula. May not be expressible in strict first order.	Military.kif 433-433
No TPTP formula. May not be expressible in strict first order.	Military.kif 432-432
No TPTP formula. May not be expressible in strict first order.	Military.kif 431-431
No TPTP formula. May not be expressible in strict first order.	Military.kif 430-430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60932-60932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60931-60931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60930-60930