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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IllicitDrug

Sigma KEE - IllicitDrug
IllicitDrug(非法藥物)

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 81-81 子類 非法藥物 and CompoundSubstance
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 82-82 子類 非法藥物 and 受控物質

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 83-83 子類 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 84-84 子類 可卡因 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 85-85 子類 抑製藥物 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 86-86 子類 迷幻劑 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 101-101 子類 大麻 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 102-102 子類 海洛因 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 103-103 子類 非法合成藥物 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 105-105 子類 甲基苯丙胺 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 106-106 子類 興奮劑 and 非法藥物
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 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 57-57 域子類 非法藥物消費者, 2 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 61-61 域子類 非法藥物生產者, 2 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 70-70 域子類 非法藥物運輸目的地, 2 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 75-75 域子類 非法藥物轉運點, 2 and 非法藥物


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