TreeView Knowledge Base Browser - SenecaOnondagaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11185-11186
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11184-11184	塞内卡onondaga语言是五国语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11190-11190	Onondaga集团的语言是塞内卡onondaga语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11208-11208	塞内卡卡尤加语是塞内卡onondaga语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52073-52073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52072-52072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52071-52071