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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IllicitDrug
IllicitDrug(illicit drug)club_drug

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 81-81 Illicit drug is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 82-82 Illicit drug is a subclass of controlled substance

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 83-83 Cannabis is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 84-84 Cocaine is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 85-85 Depressant drug is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 86-86 Hallucinogen is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 101-101 Hashish is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 102-102 Heroin is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 103-103 Illicit synthetic drug is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 105-105 Methamphetamine is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 106-106 Stimulant drug is a subclass of illicit drug
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 The number 2 argument of drug shipment destination is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 57-57 The number 2 argument of illicit drug consumer is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 61-61 The number 2 argument of illicit drug producer is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 70-70 The number 2 argument of illicit drug shipment destination is a subclass of illicit drug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 75-75 The number 2 argument of illicit drug transshipment point is a subclass of illicit drug


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