TreeView Knowledge Base Browser - WestPapuanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13660-13661
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13659-13659	子類西papuan語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13665-13665	子類鳥頭語言 and 西papuan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13768-13768	子類 Hattam語言 and 西papuan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13784-13784	子類 kebar語言 and 西papuan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13799-13799	子類北哈馬拉語 and 西papuan語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62907-62907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62906-62906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62905-62905