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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Opium

 Sigma KEE - Opium
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 e' uma sub-classe de Analgesic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9342-9342 Opium e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9346-9346 Opium e' uma sub-classe de Depressant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4785-4785 Opium e' uma sub-classe de Narcotic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 Opium e' uma sub-classe de PlantSubstance

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
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6186-6191


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