GulfOfAden - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5169-5169	連接的腺嘌呤 and 阿拉伯海
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2474-2474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4710-4710
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5165-5165	例腺嘌呤 and 海灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5166-5166	例腺嘌呤 and SaltWaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	連接的紅海 and 腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5171-5171	空間的符合索馬里 and 腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5170-5170	空間的符合葉門 and 腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5167-5167	名 "Gulf of Aden" and 腺嘌呤
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27054-27054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27053-27053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27052-27052