| 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 4706-4708 | |
| (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 4705-4705 | Drinking cup is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20470-20470 | |
| (termFormat ChineseTraditionalLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20469-20469 | |
| (termFormat EnglishLanguage DrinkingCup "drinking cup") | domainEnglishFormat.kif 20468-20468 |
| antecedent |
|
|
| (=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage)) |
Mid-level-ontology.kif 4710-4714 |
|
|
|
|