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


KB Term:  Term intersection
English Word: 

  Alcohol

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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