PersianGulf
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5154-5154 | PersianGulf e' conectado com StraitOfHormuz |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2504-2504 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4793-4793 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5151-5151 | PersianGulf e' uma instancia de Gulf |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5152-5152 | PersianGulf 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 4631-4631 | IndianOcean e' conectado com PersianGulf |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5155-5155 | Iran encontra PersianGulf |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5153-5153 | PersianGulf se chama nome "Persian Gulf" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45282-45282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45281-45281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45280-45280 |