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 8968-8969
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2718-2718 "http://upload.wikimedia.org/wikipedia/commons/1/18/ Field_of_opium.jpg" is a URL depicting opium
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2892-2892 "http://upload.wikimedia.org/wikipedia/commons/7/79/ Akha_man_with_opium_pipe.jpg" is a URL depicting opium
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2891-2891 "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Raw_opium.jpg" is a URL depicting opium
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2890-2890 "http://upload.wikimedia.org/wikipedia/en/0/07/Malwapoppy.jpg" is a URL depicting opium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8966-8966 Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8970-8970 Opium is a subclass of depressant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4146-4146 Opium is a subclass of narcotic
No TPTP formula. May not be expressible in strict first order. Society.kif 1028-1028 Opium is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8967-8967 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 7469-7469 "opium" is the printable form of opium in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8972-8977


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners