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 9345-9346
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 31631-31631 roomTempState Opium and Solid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6409-6409 Opium est une sous-classe de Analgesic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 Opium est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9347-9347 Opium est une sous-classe de Depressant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4785-4785 Opium est une sous-classe de Narcotic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 Opium est une sous-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 9349-9354
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