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	Gulf language is a subclass of spoken human language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6576-6576	Atakapa language is an instance of gulf language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6584-6584	Chitimacha language is an instance of gulf language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6591-6591	Natchez language is an instance of gulf language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6598-6598	Tunica language is an instance of gulf language
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