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	莫霍克语oneida语言是五国语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11155-11155	莫霍克语是莫霍克语oneida语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11171-11171	阿伊达语是莫霍克语oneida语言的 instance
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