TreeView Knowledge Base Browser - UruChipayaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13548-13550
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13547-13547	Uru chipaya 语是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13553-13553	Chipaya语言是 uru chipaya 语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13564-13564	Uru语言是 uru chipaya 语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60758-60758
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60757-60757
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60756-60756