TreeView Knowledge Base Browser - GuaicuruanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12026-12027
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12025-12025	Guaicuruan语言是 mataco guaicuru 语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12030-12030	卡迪韦语是 guaicuruan语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12040-12040	Mocovi语言是 guaicuruan语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12047-12047	Pilaga语言是 guaicuruan语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12057-12057	Toba语言是 guaicuruan语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26862-26862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26861-26861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26860-26860