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 e' uma sub-classe de Substancia Composta
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 82-82 IllicitDrug e' uma sub-classe de ControlledSubstance

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


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