TreeView Knowledge Base Browser - SouthernNorthHalmaheraLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14013-14015
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14012-14012	子類南北哈馬拉語 and 北哈馬拉語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14018-14018	例特爾納特語 and 南北哈馬拉語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14030-14030	例 tidore語言 and 南北哈馬拉語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54234-54234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54233-54233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54232-54232