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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 麻醉劑 and 受控物質

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4786-4786 子類 可卡因 and 麻醉劑
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6195-6195 子類 Morphine 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. 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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