TreeView Knowledge Base Browser - ArabicBasedCreoleLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 1514-1516
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2139-2141
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1439-1441
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1438-1438	子類基於阿拉伯語的克里奧爾語言 and 克里奧爾語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 1443-1443	例 babalia克里奧爾語阿拉伯語言 and 基於阿拉伯語的克里奧爾語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1456-1456	例 nubi語言 and 基於阿拉伯語的克里奧爾語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1474-1474	例蘇丹克里奧爾語阿拉伯語 and 基於阿拉伯語的克里奧爾語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8118-8118
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8117-8117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8116-8116