No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13328-13328 |
子類 tepehua 團體語 and 托博納坎語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13366-13366 |
子類 totonac集團語言 and 托博納坎語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58618-58618 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58617-58617 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58616-58616 |
|