Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Distillery(distillery) |  | distillery, still |
| appearance as argument number 1 |
|
|
| (documentation Distillery EnglishLanguage "A distillery is a premise where distillation takes place, especially distillation of alcohol.") | Society.kif 1203-1203 | |
| (instance Distillery StationaryArtifact) | Society.kif 1204-1204 | Distillery is an instance of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Distillery "distillery") | domainEnglishFormat.kif 64776-64776 |
| antecedent |
|
|
| (=> (instance ?D Distillery) (hasPurpose ?D (exists (?EV) (and (instance ?EV Distilling) (eventLocated ?EV ?D) (result ?EV DistilledAlcoholicBeverage))))) |
Society.kif 1205-1212 | If X is an instance of distillery, then X has the purpose there exists Y such that Y is an instance of distilling, Y is located at X, and distilled alcoholic beverage is a result of Y |
|