TreeView Knowledge Base Browser - NorthernNorthHalmaheraLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13806-13808
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13805-13805	北部北哈马拉语是北哈马拉语的 subclass

appearance as argument number 2

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 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