No TPTP formula. May not be expressible in strict first order. |
Government.kif 3316-3316 |
9人小组 是 "G-9" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3315-3315 |
9人小组 是 "Group of 9" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26802-26802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26801-26801 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26800-26800 |
|