Carpentry
|
|
appearance as argument number 1 |
(documentation Carpentry EnglishLanguage "Making Buildings out of Wood.") | Mid-level-ontology.kif 20817-20817 | |
(externalImage Carpentry "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Palmercarpenter.jpg") | pictureList.kif 4585-4585 | |
(subclass Carpentry Making) | Mid-level-ontology.kif 20816-20816 | Carpentry e' uma sub-classe de Fazer |
appearance as argument number 2 |
(termFormat ChineseLanguage Carpentry "木工") | domainEnglishFormat.kif 13308-13308 | |
(termFormat ChineseTraditionalLanguage Carpentry "木工") | domainEnglishFormat.kif 13307-13307 | |
(termFormat EnglishLanguage Carpentry "carpentry") | domainEnglishFormat.kif 13306-13306 |
antecedent |
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 20819-20826 |
consequent |
(=> (attribute ?P Carpenter) (hasSkill Carpentry ?P)) |
Mid-level-ontology.kif 20812-20814 |
|
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L))))) |
Economy.kif 5536-5542 |