| Sculpting(sculpting) | | grave, sculpt, sculpture |
| appearance as argument number 1 |
|
|
| (subclass Sculpting ContentDevelopment) | Mid-level-ontology.kif 3735-3735 | Sculpting is a subclass of content development |
| (subclass Sculpting Making) | Mid-level-ontology.kif 3736-3736 | Sculpting is a subclass of making |
| (documentation Sculpting EnglishLanguage "The process of creating three-dimensional artwork by shaping or combining hard materials, typically stone such as marble or metal, glass, or wood.") | Mid-level-ontology.kif 3737-3738 | Sculpting is a subclass of making |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sculpting "sculpting") | domainEnglishFormat.kif 65467-65467 |
| antecedent |
|
|
| (=> (instance ?X Sculpting) (exists (?SC ?OBJ) (and (instance ?OBJ Object) (patient ?X ?OBJ) (instance ?SC ShapeChange) (subProcess ?SC ?X) (patient ?SC ?OBJ)))) |
Mid-level-ontology.kif 3740-3748 | If X is an instance of sculpting, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of shape change, Y is a subprocess of X, and Z is a patient of Y |
| consequent |
|
|
| (=> (attribute ?PERSON Sculptor) (hasSkill Sculpting ?PERSON)) |
Biography.kif 720-722 | If sculptor is an attribute of X, then X has the skill to do sculpting |
|
|
|