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 鸦片 是 Analgesic 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 鸦片 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9347-9347 鸦片 是 降凝剂 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4785-4785 鸦片 是 麻醉剂 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 鸦片 是 植物物质 的 subclass

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