Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SewingMachine
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SewingMachine Device) | Society.kif 860-860 | Sewing machine is a subclass of device |
| (subclass SewingMachine HomeAppliance) | Society.kif 861-861 | Sewing machine is a subclass of home appliance |
| (documentation SewingMachine EnglishLanguage "A textile machine used as a home appliance for %&Sewing.") | Society.kif 862-862 | Sewing machine is a subclass of home appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SewingMachine "sewing machine") | domainEnglishFormat.kif 65480-65480 |
| antecedent |
|
|
| (=> (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 |
|