Reservoir - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Reservoir FreshWaterArea)	Geography.kif 7245-7245	Reservoir is a subclass of fresh water area
(subclass Reservoir Artifact)	Geography.kif 7246-7246	Reservoir is a subclass of artifact
(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 7248-7250	Reservoir is a subclass of artifact
(externalImage Reservoir "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ KupferbachStauseeAachen.jpg")	pictureList.kif 7726-7726	Reservoir is a subclass of artifact
(externalImage Reservoir "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Taiwan_JungHua_Dam.JPG")	pictureList.kif 7727-7727	Reservoir is a subclass of artifact

appearance as argument number 2

(termFormat EnglishLanguage Reservoir "reservoir")	domainEnglishFormat.kif 49611-49611
(termFormat ChineseTraditionalLanguage Reservoir "貯水池")	domainEnglishFormat.kif 49612-49612
(termFormat ChineseLanguage Reservoir "贮水池")	domainEnglishFormat.kif 49613-49613

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))))

If X is an instance of 3D printing, Y is an instance of substance, and Y is a resource for X, then there exists Z such that Z is an instance of reservoir, Z is a part of X, X originates at Z, and Y is located at Z