TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Carpentry Making)	Mid-level-ontology.kif 23031-23031	Carpentry is a subclass of making
(documentation Carpentry EnglishLanguage "Making Buildings out of Wood.")	Mid-level-ontology.kif 23032-23032	Carpentry is a subclass of making
(externalImage Carpentry "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Palmercarpenter.jpg")	pictureList.kif 4584-4584	Carpentry is a subclass of making

appearance as argument number 2

(termFormat EnglishLanguage Carpentry "carpentry")	domainEnglishFormat.kif 13314-13314
(termFormat ChineseTraditionalLanguage Carpentry "木工")	domainEnglishFormat.kif 13315-13315
(termFormat ChineseLanguage Carpentry "木工")	domainEnglishFormat.kif 13316-13316

antecedent

(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))

If X is an instance of carpentry, then there exist Y, Z such that Y is an instance of building, Z is an instance of wood, Z is a part of Y, and Y is a result of X

consequent

(=> (attribute ?P Carpenter) (hasSkill Carpentry ?P))	Mid-level-ontology.kif 23027-23029	If carpenter is an attribute of X, then X has the skill to do carpentry
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L)))))	Economy.kif 5887-5893	If X is an instance of lumber, then X has the purpose there exists Y such that Y is an instance of carpentry and X is a patient of Y