| Carpentry
| |
| appearance as argument number 1 |
|
|
| (documentation Carpentry EnglishLanguage "Making Buildings out of Wood.") | Mid-level-ontology.kif 22407-22407 | |
| (externalImage Carpentry "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Palmercarpenter.jpg") | pictureList.kif 4584-4584 | |
| (subclass Carpentry Making) | Mid-level-ontology.kif 22406-22406 | Carpentry est une sous-classe de faire |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Carpentry "木工") | domainEnglishFormat.kif 13317-13317 | |
| (termFormat ChineseTraditionalLanguage Carpentry "木工") | domainEnglishFormat.kif 13316-13316 | |
| (termFormat EnglishLanguage Carpentry "carpentry") | domainEnglishFormat.kif 13315-13315 |
| antecedent |
|
|
| (=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 22409-22416 |
| consequent |
|
|
| (=> (attribute ?P Carpenter) (hasSkill Carpentry ?P)) |
Mid-level-ontology.kif 22402-22404 |
|
| (=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L))))) |
Economy.kif 5878-5884 |
|
|
|