No TPTP formula. May not be expressible in strict first order. |
People.kif 631-631 |
TurkmenEthnicity e' uma sub-colecao de CentralAsianTurkishEthnicity |
No TPTP formula. May not be expressible in strict first order. |
People.kif 638-638 |
UzbekEthnicity e' uma sub-colecao de 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 |
|