TreeView Knowledge Base Browser - RarmulPamaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5687-5688
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5686-5686	Rarmul pama 语是帕曼语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5691-5691	Aghu tharnggalu 语言是 rarmul pama 语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5697-5697	Thaypan语言是 rarmul pama 语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48788-48788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48787-48787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48786-48786