AraucanianLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5588-5590
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8344-8344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8891-8891
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5587-5587	AraucanianLanguage e' uma sub-classe de SpokenHumanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5613-5613	HuillicheLanguage e' uma instancia de AraucanianLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5593-5593	MapudungunLanguage e' uma instancia de AraucanianLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8190-8190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8189-8189
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8188-8188