Opium - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Opium

Opium(opium)

Dover's_powder, Kavrin, camphorated_tincture_of_opium, codeine, laudanum, morphia, morphine, opiate, opium, papaverine, paregoric, tincture_of_opium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9344-9345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2717-2717
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2891-2891
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2890-2890
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2889-2889
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31627-31627	roomTempState opium and solid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6409-6409	Opium is a subclass of painkiller
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9342-9342	Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9346-9346	Opium is a subclass of depressant
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.	Mid-level-ontology.kif 9343-9343	Opium is a subclass of plant substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42300-42300
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42299-42299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42298-42298

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9348-9353	If an object is an instance of opium, then there exists another object such that the other object is an instance of alkaloid and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6186-6191	If a corpuscular object is an instance of opium, then there exists a kind of substance such that a kind of substance is an instance of morphine and the corpuscular object is made of the kind of substance

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