|
|
   DrinkingCup
|
|
|
| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20454-20454 | |
| (termFormat ChineseTraditionalLanguage DrinkingCup "喝水杯") | domainEnglishFormat.kif 20453-20453 | |
| (termFormat EnglishLanguage DrinkingCup "drinking cup") | domainEnglishFormat.kif 20452-20452 |
| antecedent |
|
|
| (=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage)) |
Mid-level-ontology.kif 4710-4714 |
|
|
|
