Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Sewing(sewing)
|  | cast_off, hem, run_up, sew, sew_together, stitch |
| appearance as argument number 1 |
|
|
| (subclass Sewing Attaching) | Mid-level-ontology.kif 6727-6727 | Sewing is a subclass of attaching |
| (documentation Sewing EnglishLanguage "Attaching two pieces of Fabric or one part of a piece of Fabric to another part by means of needle and thread.") | Mid-level-ontology.kif 6728-6729 | Sewing is a subclass of attaching |
| (externalImage Sewing "http://upload.wikimedia.org/wikipedia/en/6/61/Sewing_01.jpg") | pictureList.kif 1978-1978 | Sewing is a subclass of attaching |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Sewing) (exists (?F) (and (instance ?F Fabric) (patient ?S ?F)))) |
Mid-level-ontology.kif 6731-6736 | If X is an instance of sewing, then there exists Y such that Y is an instance of fabric and Y is a patient of X |
| (=> (instance ?S Sewing) (capability Fabric patient ?S)) |
Mid-level-ontology.kif 6738-6740 | If X is an instance of sewing, then X is capable of doing fabric as a patient |
| (=> (instance ?S Sewing) (capability Clothing patient ?S)) |
Mid-level-ontology.kif 6742-6744 | If X is an instance of sewing, then X is capable of doing clothing as a patient |
| consequent |
|
|
| (=> (attribute ?PERSON Tailor) (hasSkill Sewing ?PERSON)) |
Biography.kif 665-667 | If tailor is an attribute of X, then X has the skill to do sewing |
| (=> (instance ?SM SewingMachine) (hasPurpose ?SM (exists (?Sewing) (and (instance ?Sewing Sewing) (instrument ?Sewing ?SM))))) |
Society.kif 863-869 | If X is an instance of sewing machine, then X has the purpose there exists Y such that Y is an instance of sewing and X is an instrument for Y |
| (=> (attribute ?PERSON Dressmaker) (hasSkill Sewing ?PERSON)) |
Society.kif 1429-1431 | If dressmaker is an attribute of X, then X has the skill to do sewing |
|