TreeView Knowledge Base Browser - NorthernAfroAsiaticLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4671-4673
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4670-4670	北非亚洲语言是非洲亚洲语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4676-4676	Chenoua语言是北非亚洲语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4687-4687	Atlas语言是北非亚洲语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4741-4741	卡比尔集团的语言是北非亚洲语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4764-4764	泽纳蒂语是北非亚洲语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41033-41033
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41032-41032
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41031-41031