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	例美國軍銜e3 and 私人排名
No TPTP formula. May not be expressible in strict first order.	Military.kif 373-373	例美國軍銜e3 and 美國軍銜
No TPTP formula. May not be expressible in strict first order.	Military.kif 374-374	子屬性美國軍銜e3 and 士兵
No TPTP formula. May not be expressible in strict first order.	Military.kif 384-384	繼承屬性美國軍銜e3 and 美國軍銜e4

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 371-371	繼承屬性美國軍銜e2 and 美國軍銜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