Canyon
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4260-4261 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3055-3055 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3053-3053 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3056-3056 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1063-1063 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4259-4259 | 峡谷 是 土地形式 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13014-13014 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13013-13013 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13012-13012 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4267-4272 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4263-4266 |