Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  AntiterrorismAndEffectiveDeathPenaltyAct

 Sigma KEE - AntiterrorismAndEffectiveDeathPenaltyAct
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
反恐怖主义和有效的死刑法
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.
Relationships      
Instances抽象体这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
 实体The universal class of individuals. This is the root node of the ontology.
 命题Proposition 是 Abstract 实体， 它表达一个完整 的意思或是一套想法。例如：公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注：命题限于由 Language 的个别句子所表达的内容，这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObject ， Proposition 实一个信息，例如说猫在地毯上；但是 ContentBearingObject 是一个表达该信息的 Object。 Proposition 可以有多个描述的抽象概念：字符串、声音和图标等。例如：猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示，但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。
Belongs to Class 实体


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


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