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 8640-8641
(externalImage Alcohol "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ Etanol.jpg") pictureList.kif 4487-4487
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31590-31590 roomTempState Alcohol and Liquid
(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 8639-8639 Alcohol e' uma sub-classe de OrganicCompound

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


(subclass Ethanol Alcohol) Mid-level-ontology.kif 8664-8664 Ethanol e' uma sub-classe de Alcohol
(subclass Methanol Alcohol) Mid-level-ontology.kif 8643-8643 Methanol e' uma sub-classe de 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 8713-8720


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