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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Heroin

 Sigma KEE - Heroin
Heroin(heroin)
big_H, diacetylmorphine, dolophine_hydrochloride, fixer, hell_dust, heroin, methadon, methadone, methadone_hydrochloride, nose_drops, scag, skag, smack, synthetic_heroin, thunder

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4723-4723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31613-31613 roomTempState heroin and gas
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 102-102 Heroin is a subclass of illicit drug

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28023-28023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28022-28022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28021-28021


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