| Silk(silk)
| | sarcenet, sarsenet, silk |
| appearance as argument number 1 |
|
|
| (subclass Silk Fabric) | Mid-level-ontology.kif 6343-6343 | Silk is a subclass of fabric |
| (documentation Silk EnglishLanguage "Fabric that is woven from the strands produced by certain Larval Insects.") | Mid-level-ontology.kif 6344-6345 | Silk is a subclass of fabric |
| (externalImage Silk "http://upload.wikimedia.org/wikipedia/commons/8/89/ Silk_raw_01.jpg") | pictureList.kif 4822-4822 | Silk is a subclass of fabric |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Silk) (exists (?M ?T ?I) (and (instance ?M Making) (result ?M ?S) (resource ?M ?T) (part ?T ?I) (instance ?I Insect) (attribute ?I Larval)))) |
Mid-level-ontology.kif 6347-6356 | If X is an instance of silk, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) W is an instance of insect (7) larval is an attribute of W |
|
|
|