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 IllicitDrug est une sous-classe de substance compos�e
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 82-82 IllicitDrug est une sous-classe de ControlledSubstance

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 83-83 Cannabis est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 84-84 Cocaine est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 85-85 DepressantDrug est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 86-86 Hallucinogen est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 101-101 Hashish est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 102-102 Heroin est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 103-103 IllicitSyntheticDrug est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 105-105 Methamphetamine est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 106-106 StimulantDrug est une sous-classe de IllicitDrug
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 Le nombre 2 argument de drugShipmentDestination est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 57-57 Le nombre 2 argument de illicitDrugConsumer est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 61-61 Le nombre 2 argument de illicitDrugProducer est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 70-70 Le nombre 2 argument de illicitDrugShipmentDestination est une sous-classe de IllicitDrug
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 75-75 Le nombre 2 argument de illicitDrugTransshipmentPoint est une sous-classe de IllicitDrug


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