TreeView Knowledge Base Browser - AlacalufanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5064-5066
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5063-5063	Alacalufan语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5085-5085	Kakauhua语言是 alacalufan语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5069-5069	Qawasqar语言是 alacalufan语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6384-6384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6383-6383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6382-6382