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語言 and mataco guaicuru 語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12030-12030	例卡迪韋語 and guaicuruan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12040-12040	例 mocovi語言 and guaicuruan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12047-12047	例 pilaga語言 and guaicuruan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12057-12057	例 toba語言 and guaicuruan語言
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