FertileTerrain
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1820-1822 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1819-1819 | 例 肥沃的地形 and 地形屬性 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23534-23534 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23533-23533 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23532-23532 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1831-1833 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5720-5725 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1843-1849 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1835-1841 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4355-4359 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1824-1828 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6657-6659 |