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 5603-5605 | |
(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 5601-5601 | |
(subclass Reservoir FreshWaterArea) | Geography.kif 5600-5600 |
appearance as argument number 2 |
(termFormat ChineseLanguage Reservoir "贮水池") | domainEnglishFormat.kif 49651-49651 | |
(termFormat ChineseTraditionalLanguage Reservoir "貯水池") | domainEnglishFormat.kif 49650-49650 | |
(termFormat EnglishLanguage Reservoir "reservoir") | domainEnglishFormat.kif 49649-49649 |
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 |