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 | FertileTerrain est une instance de TerrainAttribute |
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 |