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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5160-5160	霍尔木兹海峡和阿曼湾是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5162-5162	伊朗接上阿曼湾
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5163-5163	阿曼接上阿曼湾
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5159-5159	阿曼湾的名是 "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