No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13812-13812 |
Galela loloda 语 是 北部北哈马拉语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13855-13855 |
高河语 是 北部北哈马拉语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13893-13893 |
萨胡语言 是 北部北哈马拉语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13939-13939 |
Tobaru语言 是 北部北哈马拉语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13955-13955 |
Tobelo集团的语言 是 北部北哈马拉语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13993-13993 |
西马基语言 是 北部北哈马拉语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41135-41135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41134-41134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41133-41133 |
|