Carpentry![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Carpentry EnglishLanguage "Making Buildings out of Wood.") | Mid-level-ontology.kif 22424-22424 | |
(externalImage Carpentry "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Palmercarpenter.jpg") | pictureList.kif 4584-4584 | |
(subclass Carpentry Making) | Mid-level-ontology.kif 22423-22423 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Carpentry "木工") | domainEnglishFormat.kif 13323-13323 | |
(termFormat ChineseTraditionalLanguage Carpentry "木工") | domainEnglishFormat.kif 13322-13322 | |
(termFormat EnglishLanguage Carpentry "carpentry") | domainEnglishFormat.kif 13321-13321 |
antecedent |
![]() |
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 22426-22433 |
consequent |
![]() |
(=> (attribute ?P Carpenter) (hasSkill Carpentry ?P)) |
Mid-level-ontology.kif 22419-22421 | |
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L))))) |
Economy.kif 5878-5884 |
![]() |
![]() |