TreeView Knowledge Base Browser - NiloSaharanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12465-12467
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12464-12464	Nilo撒哈拉语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14634-14634	KanuriLanguage 是 nilo撒哈拉语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12471-12471	东苏丹语是 nilo撒哈拉语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40569-40569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40568-40568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40567-40567