| DrinkingCup(drinking cup)
| | beer_glass, beer_mug, champagne_flute, coffee_cup, coffee_mug, flute, flute_glass, stein |
| appearance as argument number 1 |
|
|
| (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 4779-4781 | |
| (externalImage DrinkingCup "http://articulatesoftware.com/SUMOpictures/food/ beverages/ glass.png") | pictureList.kif 464-464 | |
| (externalImage DrinkingCup "http://articulatesoftware.com/SUMOpictures/hieroglyphs/ cup.png") | pictureList.kif 378-378 | |
| (subclass DrinkingCup FluidContainer) | Mid-level-ontology.kif 4778-4778 | Drinking cup is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20469-20469 | |
| (termFormat ChineseTraditionalLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20468-20468 | |
| (termFormat EnglishLanguage DrinkingCup "drinking cup") | domainEnglishFormat.kif 20467-20467 |
| antecedent |
|
|
| (=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage)) |
Mid-level-ontology.kif 4783-4787 |
|
|
|
|