TreeView Knowledge Base Browser - KoryakAlyutorLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6284-6286
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6283-6283	Koryak alyutor 语言是北部chukotko kamchatkan 语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6289-6289	Alutor语言是 koryak alyutor 语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6317-6317	Kerek语言是 koryak alyutor 语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6304-6304	科里亚克语是 koryak alyutor 语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32815-32815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32814-32814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32813-32813