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	連接的阿曼灣 and 阿拉伯海
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	例阿曼灣 and 海灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5158-5158	例阿曼灣 and SaltWaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5160-5160	連接的霍爾木茲海峽 and 阿曼灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5162-5162	空間的符合伊朗 and 阿曼灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5163-5163	空間的符合阿曼 and 阿曼灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5159-5159	名 "Gulf of Oman" and 阿曼灣
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