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 鴉片 and 固體
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6409-6409 子類 鴉片 and Analgesic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 子類 鴉片 and BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9347-9347 子類 鴉片 and 降凝劑
No TPTP formula. May not be expressible in strict first order. Economy.kif 4785-4785 子類 鴉片 and 麻醉劑
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 子類 鴉片 and 植物物質

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