Ethanol |
appearance as argument number 1 |
![]() |
(roomTempState Ethanol Liquid) | Mid-level-ontology.kif 31896-31896 | |
(subclass Ethanol Alcohol) | Mid-level-ontology.kif 8855-8855 | |
(subclass Ethanol Depressant) | Mid-level-ontology.kif 8856-8856 | |
(subclass Ethanol Diuretic) | Mid-level-ontology.kif 8857-8857 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Ethanol "ethanol") | Mid-level-ontology.kif 8858-8858 |
consequent |
![]() |
(=> (instance ?BEVERAGE AlcoholicBeverage) (exists (?ALCOHOL) (and (instance ?ALCOHOL Ethanol) (part ?ALCOHOL ?BEVERAGE)))) |
Mid-level-ontology.kif 11127-11132 |
![]() |
![]() |