GulfLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6570-6573
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10043-10043
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6569-6569	子類海灣語 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6576-6576	例阿塔卡帕語言 and 海灣語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6584-6584	例 chitimacha語言 and 海灣語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6591-6591	例 natchez語言 and 海灣語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6598-6598	例圖尼卡語 and 海灣語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27048-27048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27047-27047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27046-27046