Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reservoir
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners