No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13151-13151 |
例 acatepec tlapaneco 語言 and subtiaba tlapanec 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13166-13166 |
例 azoyuc tlapaneco 語言 and subtiaba tlapanec 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13178-13178 |
例 malinal tepec tlapaneco 語 and subtiaba tlapanec 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13191-13191 |
例 subtiaba語言 and subtiaba tlapanec 語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55848-55848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55847-55847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55846-55846 |
|