TreeView Knowledge Base Browser - CentralGreatAndamaneseLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5373-5376
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5372-5372	子類中央偉大的andamanese語言 and 偉大的安達曼語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5379-5379	例一種 pucikwar 語言 and 中央偉大的andamanese語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5392-5392	例 aka beaa語言 and 中央偉大的andamanese語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5402-5402	例 aka kede 語言 and 中央偉大的andamanese語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5409-5409	例 aka kol 語言 and 中央偉大的andamanese語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5416-5416	例 akar bale 語言 and 中央偉大的andamanese語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5423-5423	例 oko juwoi 語言 and 中央偉大的andamanese語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13860-13860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13859-13859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13858-13858