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	腺嘌呤和阿拉伯海是 connected
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	腺嘌呤是海湾的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5166-5166	腺嘌呤是盐水区的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	红海和腺嘌呤是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5171-5171	索马里接上腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5170-5170	叶门接上腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5167-5167	腺嘌呤的名是 "Gulf of Aden"
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