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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntiterrorismAndEffectiveDeathPenaltyAct
AntiterrorismAndEffectiveDeathPenaltyAct

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


(documentation AntiterrorismAndEffectiveDeathPenaltyAct EnglishLanguage "Antiterrorism and Effective Death Penalty Act modifies the Immigration and Nationality Act was enacted in 1996 and specifies that: (1) It is unlawful to provide funds or other material support to a designated FTO. (2) Representatives and certain members of a designated FTO can be denied visas or excluded from the United States. (3) US financial institutions must block funds of designated FTOs and their agents and must report the blockage to the US Department of the Treasury.") Government.kif 2373-2381
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2370-2370 AntiterrorismAndEffectiveDeathPenaltyAct e' uma instancia de Proposicao
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2371-2371 O argumento AntiterrorismAndEffectiveDeathPenaltyAct tem a forca modal de Law

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


(termFormat ChineseLanguage AntiterrorismAndEffectiveDeathPenaltyAct "反恐怖主义和有效的死刑法") domainEnglishFormat.kif 7920-7920
(termFormat ChineseTraditionalLanguage AntiterrorismAndEffectiveDeathPenaltyAct "反恐怖主義和有效的死刑法") domainEnglishFormat.kif 7919-7919
(termFormat EnglishLanguage AntiterrorismAndEffectiveDeathPenaltyAct "antiterrorism and effective death penalty act") domainEnglishFormat.kif 7918-7918


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