Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
DrinkingCup(drinking cup)
|  | beer_glass, beer_mug, champagne_flute, coffee_cup, coffee_mug, flute, flute_glass, stein |
| appearance as argument number 1 |
|
|
| (subclass DrinkingCup FluidContainer) | Mid-level-ontology.kif 5311-5311 | Drinking cup is a subclass of fluid container |
| (documentation DrinkingCup EnglishLanguage "An open FluidContainer that is intended to serve a Beverage to a single person. Note that this class includes both cups with handles and drinking glasses.") | Mid-level-ontology.kif 5312-5314 | Drinking cup is a subclass of fluid container |
| (externalImage DrinkingCup "http://articulatesoftware.com/SUMOpictures/hieroglyphs/ cup.png") | pictureList.kif 378-378 | Drinking cup is a subclass of fluid container |
| (externalImage DrinkingCup "http://articulatesoftware.com/SUMOpictures/food/ beverages/ glass.png") | pictureList.kif 464-464 | Drinking cup is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CUP DrinkingCup) (hasPurpose ?CUP (exists (?STUFF) (and (contains ?CUP ?STUFF) (instance ?STUFF Beverage))))) |
Mid-level-ontology.kif 5316-5322 | If X is an instance of drinking cup, then X has the purpose there exists Y such that X contains Y and Y is an instance of beverage |
|