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	KoryakAlyutorLanguage e' uma sub-classe de NorthernChukotkoKamchatkanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6289-6289	AlutorLanguage e' uma instancia de KoryakAlyutorLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6317-6317	KerekLanguage e' uma instancia de KoryakAlyutorLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6304-6304	KoryakLanguage e' uma instancia de KoryakAlyutorLanguage
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