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	GulfOfAden e' conectado com ArabianSea
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	GulfOfAden e' uma instancia de Gulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5166-5166	GulfOfAden e' uma instancia de Area Aquatica salgada

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	RedSea e' conectado com GulfOfAden
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5171-5171	Somalia encontra GulfOfAden
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5170-5170	Yemen encontra GulfOfAden
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5167-5167	GulfOfAden se chama nome "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