No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13812-13812 |
子類 galela loloda 語 and 北部北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13855-13855 |
子類 高河語 and 北部北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13893-13893 |
子類 薩胡語言 and 北部北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13939-13939 |
子類 tobaru語言 and 北部北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13955-13955 |
子類 tobelo集團的語言 and 北部北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13993-13993 |
子類 西馬基語言 and 北部北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41133-41133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41132-41132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41131-41131 |
|