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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2356-2364
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2353-2353 AntiterrorismAndEffectiveDeathPenaltyAct命題instance では %n
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2354-2354 ステートメント AntiterrorismAndEffectiveDeathPenaltyAct には Lawmodal force が ある

appearance as argument number 2

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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners