Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Alcohol EnglishLanguage "OrganicCompounds that are produced from hydrocarbons by distillation.") Mid-level-ontology.kif 8585-8586
(externalImage Alcohol "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ Etanol.jpg") pictureList.kif 4487-4487
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31475-31475 roomTempState alcohol and liquid
(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 8584-8584 Alcohol is a subclass of organic compound

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


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

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


(=>
    (holdsDuring ?T
        (attribute ?P Drunk))
    (holdsDuring ?T
        (exists (?B)
            (and
                (instance ?B Alcohol)
                (part ?B ?P)))))
Mid-level-ontology.kif 8658-8665


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 is open source software produced by Articulate Software and its partners