MountainousTerrain more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1790-1791 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8604-8604 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9445-9445 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9446-9446 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9447-9447 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9448-9448 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9449-9449 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9450-9450 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1787-1787 | MountainousTerrain est une instance de TerrainAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1788-1788 | MountainousTerrain est un sous-attribut de SteepTerrain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38981-38981 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38980-38980 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38979-38979 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1808-1813 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1801-1806 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1793-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1797-1799 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1815-1817 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4199-4204 |