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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Narcotic

 Sigma KEE - Narcotic
Narcotic(麻醉剂)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4788-4790
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2712-2712
No TPTP formula. May not be expressible in strict first order. Economy.kif 4781-4781 麻醉剂 是 受控物质 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4786-4786 可卡因 是 麻醉剂 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6195-6195 Morphine 是 麻醉剂 的 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. domainEnglishFormat.kif 39723-39723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39722-39722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39721-39721


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