TreeView Knowledge Base Browser - WitotoProperLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14111-14113
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14110-14110	子類 witoto 恰當的語言 and witoto 團體語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14117-14117	子類 minica murui 語言 and witoto 恰當的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14150-14150	子類 nipode語言 and witoto 恰當的語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63285-63285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63284-63284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63283-63283