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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntiterrorismAndEffectiveDeathPenaltyAct
AntiterrorismAndEffectiveDeathPenaltyAct(antiterrorism and effective death penalty act)

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


s__documentation(s__AntiterrorismAndEffectiveDeathPenaltyAct,s__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 2395-2403
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__AntiterrorismAndEffectiveDeathPenaltyAct,s__Proposition)

Government.kif 2392-2392 Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 2393-2393 The statement antiterrorism and effective death penalty act has the modal force of law

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


s__termFormat(s__ChineseLanguage,s__AntiterrorismAndEffectiveDeathPenaltyAct,'"反恐怖主义和有效的死刑法"')

domainEnglishFormat.kif 7929-7929
s__termFormat(s__ChineseTraditionalLanguage,s__AntiterrorismAndEffectiveDeathPenaltyAct,'"反恐怖主義和有效的死刑法"')

domainEnglishFormat.kif 7928-7928
s__termFormat(s__EnglishLanguage,s__AntiterrorismAndEffectiveDeathPenaltyAct,'"antiterrorism and effective death penalty act"')

domainEnglishFormat.kif 7927-7927


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