|
|
   Gulf
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5125-5127 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 859-859 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5122-5122 | 海湾 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | 海湾 是 盐水区 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5165-5165 | 腺嘌呤 是 海湾 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5173-5173 | GulfOfMexico 是 海湾 的 instance |
| 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 5151-5151 | 波斯湾 是 海湾 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27036-27036 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27035-27035 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27034-27034 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5145-5149 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5129-5136 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5138-5143 |
|
|
|
