No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 481-481 |
主席 美国 的州类别的 chief |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1445-1445 |
主席 是 伊朗 的 leader 职位 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1499-1499 |
美国总统 是 主席 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47240-47240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47239-47239 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 693-693 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47238-47238 |
|