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