![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Entity
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass illicitDrugConsumer 2 IllicitDrug) | TransnationalIssues.kif 57-57 | The number 2 argument of illicit drug consumer is a subclass of illicit drug |
| (domainSubclass illicitDrugProducer 2 IllicitDrug) | TransnationalIssues.kif 61-61 | The number 2 argument of illicit drug producer is a subclass of illicit drug |
| (domainSubclass drugShipmentDestination 2 IllicitDrug) | TransnationalIssues.kif 65-65 | The number 2 argument of drug shipment destination is a subclass of illicit drug |
| (domainSubclass illicitDrugShipmentDestination 2 IllicitDrug) | TransnationalIssues.kif 70-70 | The number 2 argument of illicit drug shipment destination is a subclass of illicit drug |
| (domainSubclass illicitDrugTransshipmentPoint 2 IllicitDrug) | TransnationalIssues.kif 75-75 | The number 2 argument of illicit drug transshipment point is a subclass of illicit drug |