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 |
子屬性 美國總統 and 主席 |
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 |
|