Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WineMakingClass |
| appearance as argument number 1 |
|
| (subclass WineMakingClass EducationalProcess) | Offers.kif 255-255 | WineMakingClass is a subclass of educational process |
| antecedent |
|
|
| (=> (instance ?CLASS WineMakingClass) (exists (?PROC ?WINE) (and (instance ?PROC Making) (result ?PROC ?WINE) (instance ?WINE Wine) (subProcess ?PROC ?CLASS)))) |
Offers.kif 257-264 | If X is an instance of WineMakingClass, then there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of wine, and Y is a subprocess of X |
|