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 語言 and 北部chukotko kamchatkan 語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6289-6289	例 alutor語言 and koryak alyutor 語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6317-6317	例 kerek語言 and koryak alyutor 語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6304-6304	例科里亞克語 and koryak alyutor 語言
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