| 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 5175-5177 | |
| (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 5174-5174 | Drinking cup is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (subclass DrinkingMug DrinkingCup) | Mid-level-ontology.kif 5186-5186 | Mug is a subclass of drinking cup |
| (termFormat ChineseLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20469-20469 | Mug is a subclass of drinking cup |
| (termFormat ChineseTraditionalLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20468-20468 | Mug is a subclass of drinking cup |
| (termFormat EnglishLanguage DrinkingCup "drinking cup") | domainEnglishFormat.kif 20467-20467 | Mug is a subclass of drinking cup |
| antecedent |
|
|
| (=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage)) |
Mid-level-ontology.kif 5179-5183 |
|
|
|
|