AntiterrorismAndEffectiveDeathPenaltyAct - Sigma Knowledge base Browser

appearance as argument number 1

(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition)	Government.kif 2383-2383	Antiterrorism and effective death penalty act is an instance of proposition
(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 2390-2398	Antiterrorism and effective death penalty act is an instance of proposition

appearance as argument number 2

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

statement

(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA AntiterrorismAndEffectiveDeathPenaltyAct)
        (modalAttribute ?FORMULA Law)))

There exists X such that X is an instance of formula, X contains information antiterrorism and effective death penalty act, and the statement X has the modal force of law