TreeView Knowledge Base Browser - RomanceBasedPidginLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 3682-3683
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3681-3681	基于浪漫的洋泾浜语言是洋泾浜语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 3686-3686	通用语言是基于浪漫的洋泾浜语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3559-3559	基于法语的洋地语是基于浪漫的洋泾浜语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50342-50342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50341-50341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50340-50340