TreeView Knowledge Base Browser - MalayBasedCreoleLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2444-2446
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2443-2443	基于马来语的克里奥尔语是克里奥尔语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2449-2449	Ambonese马来语是基于马来语的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2468-2468	巴巴马来语言是基于马来语的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2496-2496	Betawi语言是基于马来语的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2511-2511	古邦马来语是基于马来语的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2522-2522	马六甲克里奥尔语马来语是基于马来语的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2533-2533	斯里兰卡克里奥尔语马来语是基于马来语的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35795-35795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35794-35794
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35793-35793