TreeView Knowledge Base Browser

antecedent

(=>
    (instance ?POTTERY Pottery)
    (exists (?CLAY)
        (and
            (instance ?CLAY Clay)
            (part ?CLAY ?POTTERY))))

If X is an instance of pottery, then there exists Y such that Y is an instance of clay and Y is a part of X

consequent

(=>
    (attribute ?H Potter)
    (exists (?M ?P)
        (and
            (instance ?P Pottery)
            (instance ?M Making)
            (agent ?M ?H)
            (result ?M ?P))))

If potter is an attribute of X, then there exist Y, Z such that Z is an instance of pottery, Y is an instance of making, X is an agent of Y, and Z is a result of Y

(subclass Pottery Artifact)	Mid-level-ontology.kif 4314-4314	Pottery is a subclass of artifact
(documentation Pottery EnglishLanguage "Household Artifacts that are made out of baked Clay.")	Mid-level-ontology.kif 4315-4315	Pottery is a subclass of artifact
(externalImage Pottery "http://upload.wikimedia.org/wikipedia/commons/5/ 50/ KinjoPot1656.jpg")	pictureList.kif 4800-4800	Pottery is a subclass of artifact

(termFormat EnglishLanguage Pottery "pottery")	domainEnglishFormat.kif 46909-46909
(termFormat ChineseTraditionalLanguage Pottery "陶器")	domainEnglishFormat.kif 46910-46910
(termFormat ChineseLanguage Pottery "陶器")	domainEnglishFormat.kif 46911-46911