No TPTP formula. May not be expressible in strict first order. |
People.kif 631-631 |
Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity |
No TPTP formula. May not be expressible in strict first order. |
People.kif 638-638 |
Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13830-13830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13829-13829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13828-13828 |
|