TreeView Knowledge Base Browser - MohawkOneidaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11151-11152
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11150-11150	MohawkOneidaLanguage est une sous-classe de FiveNationsLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11155-11155	MohawkLanguage est une instance de MohawkOneidaLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11171-11171	OneidaLanguage est une instance de MohawkOneidaLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38247-38247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38246-38246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38245-38245