Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  MountWhitney
|
|
|
| appearance as argument number 1 |
|
|
| (orientation MountWhitney BadwaterBasin Northwest) | Geography.kif 534-534 | Mount Whitney is northwest of to Badwater Basin |
| (instance MountWhitney Mountain) | Geography.kif 1380-1380 | Mount Whitney is an instance of mountain |
| (documentation MountWhitney EnglishLanguage "MountWhitney is a mountain in the SierraNevada mountain range of California, and the highest point in the contiguous United States, with an elevation of 14,505 feet (4,421 m).[Wikipedia]") | Geography.kif 1381-1383 | Mount Whitney is an instance of mountain |
| (geographicSubregion MountWhitney SierraNevada) | Geography.kif 1385-1385 | Mount Whitney is a geographic subregion of Sierra Nevada |
| (geographicSubregion MountWhitney California) | Geography.kif 1386-1386 | Mount Whitney is a geographic subregion of california |
| (elevation MountWhitney (MeasureFn 4421 Meter)) |
Geography.kif 1387-1388 | 4421 Meter(s) is an elevation of Mount Whitney |
| appearance as argument number 2 |
|
|
| (distance BadwaterBasin MountWhitney (MeasureFn 136 Kilometer)) |
Geography.kif 532-533 | The distance between Badwater Basin and Mount Whitney is 136 kilometer(s) |
| (termFormat EnglishLanguage MountWhitney "Mount Whitney") | Geography.kif 1384-1384 | The distance between Badwater Basin and Mount Whitney is 136 kilometer(s) |
|