Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Bartender(bartender) |  | barkeep, barkeeper, barmaid, barman, bartender, mixologist |
| appearance as argument number 1 |
|
|
| (subclass Bartender SkilledOccupation) | Mid-level-ontology.kif 29478-29478 | Bartender is a subclass of skilled occupation |
| (documentation Bartender EnglishLanguage "A bartender is a person who serves AlcoholicBeverages behind a counter (or similar) in a bar, pub, tavern, or similar establishment. Bartending requires certification in the US .") | Mid-level-ontology.kif 29479-29480 | Bartender is a subclass of skilled occupation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bartender "bartender") | domainEnglishFormat.kif 64524-64524 |
| antecedent |
|
|
| (=> (attribute ?P Bartender) (exists (?S ?B) (and (instance ?S Serving) (instance ?B AlcoholicBeverage) (agent ?S ?P) (patient ?S ?B)))) |
Mid-level-ontology.kif 29482-29489 | If bartender is an attribute of X, then there exist Y, Z such that Y is an instance of serving, Z is an instance of alcoholic beverage, X is an agent of Y, and Z is a patient of Y |
|