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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hallucinogen
Hallucinogen

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


(externalImage Hallucinogen "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ LSD-2D%2C_3D.png") pictureList.kif 4715-4715
(subclass Hallucinogen IllicitDrug) TransnationalIssues.kif 86-86

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


(termFormat ChineseLanguage Hallucinogen "迷幻剂") domainEnglishFormat.kif 27261-27261
(termFormat ChineseTraditionalLanguage Hallucinogen "迷幻劑") domainEnglishFormat.kif 27260-27260
(termFormat EnglishLanguage Hallucinogen "hallucinogen") domainEnglishFormat.kif 27259-27259

antecedent
-------------------------


(=>
    (and
        (instance ?I Ingesting)
        (objectTransferred ?I ?H)
        (instance ?H Hallucinogen)
        (destination ?I ?P))
    (modalAttribute
        (exists (?HAL)
            (and
                (instance ?HAL Hallucination)
                (experiencer ?HAL ?P))) Likely))
TransnationalIssues.kif 88-99


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