AfroAsiaticLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4603-4604
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4602-4602	子類非洲亞洲語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4608-4608	子類柏柏爾語言 and 非洲亞洲語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5057-5057	子類 chadic 語言 and 非洲亞洲語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14535-14535	子類 CushiticLanguage and 非洲亞洲語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4670-4670	子類北非亞洲語言 and 非洲亞洲語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14561-14561	子類 SemiticLanguage and 非洲亞洲語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5754-5754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5753-5753
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5752-5752