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 9372-9373
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 31663-31663 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 9370-9370 Opium e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9374-9374 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 9371-9371 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 42302-42302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42301-42301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42300-42300

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9376-9381
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