IllicitDrug - Sigma Knowledge base Browser

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	子類非法藥物 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 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