TreeView Knowledge Base Browser - PebaYaguanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12553-12555
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12552-12552	Peba yaguan 语是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12558-12558	亚瓜语是 peba yaguan 语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12570-12570	Yameo语言是 peba yaguan 语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44958-44958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44957-44957
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44956-44956