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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IllicitDrug
IllicitDrug(非法药物)

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 81-81 非法药物 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 82-82 非法药物 是 受控物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 83-83 麻 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 84-84 可卡因 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 85-85 抑制药物 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 86-86 迷幻剂 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 101-101 大麻 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 102-102 海洛因 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 103-103 非法合成药物 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 105-105 甲基苯丙胺 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 106-106 兴奋剂 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29253-29253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29252-29252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29251-29251

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 65-65 药品运输目的地 的 2 数量 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 57-57 非法药物消费者 的 2 数量 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 61-61 非法药物生产者 的 2 数量 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 70-70 非法药物运输目的地 的 2 数量 是 非法药物 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 75-75 非法药物转运点 的 2 数量 是 非法药物 的 subclass


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