GulfOfOman - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5161-5161	Gulf of oman is connected to arabian sea
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2475-2475
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5157-5157	Gulf of oman is an instance of gulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5158-5158	Gulf of oman is an instance of salt water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5160-5160	Strait of hormuz is connected to gulf of oman
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5162-5162	Iran meets gulf of oman
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5163-5163	Oman meets gulf of oman
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5159-5159	Gulf of oman has name "Gulf of Oman"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27060-27060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27059-27059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27058-27058