| Reservoir(reservoir)
| | Lake_Mead, Lake_Powell, Lake_Volta, artificial_lake, man-made_lake, reservoir |
| appearance as argument number 1 |
|
|
| (documentation Reservoir EnglishLanguage "A Reservoir is an artifically made (or artifically enlarged) holding area where water is collected and stored for future use.") | Geography.kif 5696-5698 | |
| (externalImage Reservoir "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ KupferbachStauseeAachen.jpg") | pictureList.kif 7726-7726 | |
| (externalImage Reservoir "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Taiwan_JungHua_Dam.JPG") | pictureList.kif 7727-7727 | |
| (subclass Reservoir Artifact) | Geography.kif 5694-5694 | Reservoir is a subclass of artifact |
| (subclass Reservoir FreshWaterArea) | Geography.kif 5693-5693 | Reservoir is a subclass of fresh water area |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reservoir "贮水池") | domainEnglishFormat.kif 49649-49649 | |
| (termFormat ChineseTraditionalLanguage Reservoir "貯水池") | domainEnglishFormat.kif 49648-49648 | |
| (termFormat EnglishLanguage Reservoir "reservoir") | domainEnglishFormat.kif 49647-49647 |
| consequent |
|
|
| (=> (and (instance ?P ThreeDPrinting) (instance ?X Substance) (resource ?P ?X)) (exists (?R) (and (instance ?R Reservoir) (part ?R ?P) (origin ?P ?R) (located ?X ?R)))) |
QoSontology.kif 513-523 |
|
|
|
|