StraitOfHormuz
|
|
appearance as argument number 1 |
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. | pictureList.kif 3192-3192 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2988-2988 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5313-5313 | Strait of hormuz is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5312-5312 | Strait of hormuz is an instance of strait |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5154-5154 | Persian gulf is connected to strait of hormuz |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5314-5314 | Strait of hormuz has name "Strait of Hormuz" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55544-55544 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55543-55543 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55542-55542 |