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 5760-5762
(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 5758-5758 Reservoir est une sous-classe de artefact
(subclass Reservoir FreshWaterArea) Geography.kif 5757-5757 Reservoir est une sous-classe de plan d'eau non sal�

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Reservoir "贮水池") domainEnglishFormat.kif 49620-49620
(termFormat ChineseTraditionalLanguage Reservoir "貯水池") domainEnglishFormat.kif 49619-49619
(termFormat EnglishLanguage Reservoir "reservoir") domainEnglishFormat.kif 49618-49618

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 514-524


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