Brunei
|
|
appearance as argument number 1 |
(documentation DistilledAlcoholicBeverage EnglishLanguage "An AlcoholicBeverage that has had some part of its FreshWater content removed by distillation. This class covers drinks of unmixed, hard liquor.") | Mid-level-ontology.kif 10948-10950 | |
(roomTempState DistilledAlcoholicBeverage Liquid) | Mid-level-ontology.kif 31456-31456 | roomTempState DistilledAlcoholicBeverage and Liquid |
(subclass DistilledAlcoholicBeverage AlcoholicBeverage) | Mid-level-ontology.kif 10947-10947 | DistilledAlcoholicBeverage は AlcoholicBeverage の subclass では %n |
appearance as argument number 2 |
antecedent |
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 10952-10959 |