Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Alcohol
Alcohol(alcohol)
absolute_alcohol, alcohol, denatured_alcohol, ethanol, ethyl_alcohol, fermentation_alcohol, grain_alcohol, isopropanol, isopropyl_alcohol, spirits_of_wine

appearance as argument number 1
-------------------------


(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 9971-9971 Alcohol is a subclass of organic compound
(documentation Alcohol EnglishLanguage "OrganicCompounds that are produced from hydrocarbons by distillation.") Mid-level-ontology.kif 9972-9973 Alcohol is a subclass of organic compound
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 34030-34030 room temperature state alcohol and liquid
(externalImage Alcohol "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ Etanol.jpg") pictureList.kif 4486-4486 room temperature state alcohol and liquid

appearance as argument number 2
-------------------------


(subclass Methanol Alcohol) Mid-level-ontology.kif 9975-9975 Industrial alcohol is a subclass of alcohol
(subclass Ethanol Alcohol) Mid-level-ontology.kif 9996-9996 Ethanol is a subclass of alcohol
(termFormat EnglishLanguage Alcohol "alcohol") domainEnglishFormat.kif 6419-6419 Ethanol is a subclass of alcohol
(termFormat ChineseTraditionalLanguage Alcohol "醇") domainEnglishFormat.kif 6420-6420 Ethanol is a subclass of alcohol
(termFormat ChineseLanguage Alcohol "醇") domainEnglishFormat.kif 6421-6421 Ethanol is a subclass of alcohol

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?P Drunk))
    (holdsDuring ?T
        (exists (?B)
            (and
                (instance ?B Alcohol)
                (part ?B ?P)))))		 Mid-level-ontology.kif 10046-10053 If drunk is an attribute of X holds during Y, then there exists Z such that Z is an instance of alcohol and Z is a part of X holds during Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners