TreeView Knowledge Base Browser - NambiquaranLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12402-12404
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12401-12401	Nambiquaran语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12407-12407	Halo te su 语言是 nambiquaran语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12415-12415	北部的nambikuara语言是 nambiquaran语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12437-12437	Sabanes语言是 nambiquaran语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12446-12446	Sararwe语言是 nambiquaran语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12424-12424	南部的nambikuara语言是 nambiquaran语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39663-39663
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39662-39662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39661-39661