TreeView Knowledge Base Browser - AntiterrorismAndEffectiveDeathPenaltyAct

appearance as argument number 1

(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition)	Government.kif 2393-2393	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 2401-2409	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)
        (containsFormula AntiterrorismAndEffectiveDeathPenaltyAct ?FORMULA)
        (modalAttribute ?FORMULA Law)))

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