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

Formal Language: 



KB Term:  Term intersection
English Word: 

  illicitDrugShipmentDestination

Sigma KEE - illicitDrugShipmentDestination
illicitDrugShipmentDestination

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 69-69 非法藥物運輸目的地, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 71-71 非法藥物運輸目的地, 3 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 70-70 域子類 非法藥物運輸目的地, 2 and 非法藥物
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 68-68 非法藥物運輸目的地 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1237-1237
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1236-1236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1235-1235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29277-29277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29276-29276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29275-29275


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