TreeView Knowledge Base Browser - NorthCaucasianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12510-12512
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10152-10152
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12509-12509	子類北方白種人語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14550-14550	例 AbkhazLanguage and 北方白種人語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14578-14578	例 AvarLanguage and 北方白種人語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14589-14589	例 ChechenLanguage and 北方白種人語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40989-40989
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40988-40988
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40987-40987