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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - drugShipmentDestination
drugShipmentDestination

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


(domain drugShipmentDestination 1 GeopoliticalArea) TransnationalIssues.kif 64-64 The number 1 argument of drug shipment destination is an instance of geopolitical area
(domain drugShipmentDestination 3 GeopoliticalArea) TransnationalIssues.kif 66-66 The number 3 argument of drug shipment destination is an instance of geopolitical area
(domainSubclass drugShipmentDestination 2 IllicitDrug) TransnationalIssues.kif 65-65 The number 2 argument of drug shipment destination is a subclass of illicit drug
(instance drugShipmentDestination TernaryPredicate) TransnationalIssues.kif 63-63 drug shipment destination is an instance of ternary predicate

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


(format ChineseLanguage drugShipmentDestination "%1 %p{is} %n{isn't} 对于 %3 的 drug 运送目的地") domainEnglishFormat.kif 804-804
(format ChineseTraditionalLanguage drugShipmentDestination "%1 %p{is} %n{isn't} 對於 %3 的 drug 運送目的地") domainEnglishFormat.kif 803-803
(format EnglishLanguage drugShipmentDestination "%1 %p{is} %n{isn't} drug shipment destination %2 for %3") domainEnglishFormat.kif 802-802
(termFormat ChineseLanguage drugShipmentDestination "药品运输目的地") domainEnglishFormat.kif 20520-20520
(termFormat ChineseTraditionalLanguage drugShipmentDestination "藥品運輸目的地") domainEnglishFormat.kif 20519-20519
(termFormat EnglishLanguage drugShipmentDestination "drug shipment destination") domainEnglishFormat.kif 20518-20518


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