TreeView Knowledge Base Browser - AwjilaSoknaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4621-4622
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4620-4620	子類 awjila sokna 語言 and 東伯爾伯語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4625-4625	例 awjilah語言 and awjila sokna 語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4635-4635	例 sawknah語言 and awjila sokna 語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9396-9396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9395-9395
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9394-9394