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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Narcotic
Narcotic(narcotic)
narcotic

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4788-4790
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2712-2712
No TPTP formula. May not be expressible in strict first order. Economy.kif 4781-4781 Narcotic is a subclass of controlled substance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4786-4786 Cocaine is a subclass of narcotic
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6195-6195 Morphine is a subclass of narcotic
No TPTP formula. May not be expressible in strict first order. Economy.kif 4785-4785 Opium is a subclass of narcotic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39723-39723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39722-39722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39721-39721


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