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 language is a subclass of northern chukotko kamchatkan language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6289-6289	Alutor language is an instance of koryak alyutor language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6317-6317	Kerek language is an instance of koryak alyutor language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6304-6304	Koryak language is an instance of koryak alyutor language
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