Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Carpentry(carpentry)
|  | cabinetmaking, cabinetry, cabinetwork, carpentry, joinery, woodwork, woodworking |
| 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 |
|
|
| antecedent |
|
|
| (=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 23034-23041 | 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 |
|