Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Hallucinogen(hallucinogen)
|  | LSD, PCP, angel_dust, hallucinogen, hallucinogenic_drug, lysergic_acid_diethylamide, mescaline, peyote, phencyclidine, phencyclidine_hydrochloride, psilocin, psilocybin, psychedelic_drug, psychodelic_drug, salvinorin |
| appearance as argument number 1 |
|
|
| (subclass Hallucinogen IllicitDrug) | TransnationalIssues.kif 86-86 | Hallucinogen is a subclass of illicit drug |
| (externalImage Hallucinogen "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ LSD-2D%2C_3D.png") | pictureList.kif 4713-4713 | Hallucinogen is a subclass of illicit drug |
| appearance as argument number 2 |
|
|
| 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 | If X is an instance of ingesting, the object transferred in X is Y, Y is an instance of hallucinogen, and X ends up at Z, then the statement there exists W such that W is an instance of hallucination and Z experiences W has the modal force of likely |
|