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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Reservoir

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 5930-5932
(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 5928-5928 Reservoir est une sous-classe de artefact
(subclass Reservoir FreshWaterArea) Geography.kif 5927-5927 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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