Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PastaMaker |
| appearance as argument number 1 |
|
| (subclass PastaMaker Device) | Society.kif 772-772 | PastaMaker is a subclass of device |
| (subclass PastaMaker HomeAppliance) | Society.kif 773-773 | PastaMaker is a subclass of home appliance |
| antecedent |
|
|
| (=> (instance ?PM PastaMaker) (hasPurpose ?PM (exists (?MAKE ?PASTA) (and (instance ?MAKE Making) (result ?MAKE ?PASTA) (instance ?PASTA Pasta) (instrument ?MAKE ?PM))))) |
Society.kif 774-782 | If X is an instance of PastaMaker, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of pasta, and X is an instrument for Y |
|