Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alcohol

Sigma KEE - Alcohol
Alcohol

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


(documentation Alcohol EnglishLanguage "OrganicCompounds that are produced from hydrocarbons by distillation.") Mid-level-ontology.kif 8216-8217
(externalImage Alcohol "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ Etanol.jpg") pictureList.kif 4488-4488
(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 8215-8215

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


(subclass Ethanol Alcohol) Mid-level-ontology.kif 8240-8240
(subclass Methanol Alcohol) Mid-level-ontology.kif 8219-8219
(termFormat ChineseLanguage Alcohol "醇") domainEnglishFormat.kif 6429-6429
(termFormat ChineseTraditionalLanguage Alcohol "醇") domainEnglishFormat.kif 6428-6428
(termFormat EnglishLanguage Alcohol "alcohol") domainEnglishFormat.kif 6427-6427

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


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


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