| Downhill(downhill)
| | declivitous, downhill, downward-sloping |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1706-1708 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5964-5964 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1703-1703 | Downhill is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1704-1704 | Uphill is the opposite of downhill |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20250-20250 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20249-20249 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20248-20248 |
|
|
|