No TPTP formula. May not be expressible in strict first order. |
People.kif 631-631 |
TurkmenEthnicity est une sous-collection appartenant � CentralAsianTurkishEthnicity |
No TPTP formula. May not be expressible in strict first order. |
People.kif 638-638 |
UzbekEthnicity est une sous-collection appartenant � CentralAsianTurkishEthnicity |
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 |
|