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

Formal Language: 



KB Term: 

  Fodder

 Sigma KEE - InternationalCourtOfJustice

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
国际法院
The InternationalCourtOfJustice superseded the Permanent Court of International Justice.
Relationships      
Instances施事体能够自主行动、并对世界作出改变的人和物。
 群体群体和 Class 一样，拥有 member ，可它又不像 Class， 因为它们在时空有一个定位，而且 Collection 可以加和减 member 却不会改变自身的身份。它的 例子有工具包、足球队和羊群。
 实体The universal class of individuals. This is the root node of the ontology.
 群组这是一个 Collection 的 Agent，例如：一群绵羊、一群山羊 或一队当地的童子军。
 国际组织InternationalOrganization is the class of Organizations whose activities have international scope and which typically have members who are, or are from, different Nations.
 司法组织JudicialOrganization 是 Organization 的类别，它的主要宗旨是按照政府或其他组织的法规或条例作出判决。司法机构不一定是政府机构， 举例说体育协会的相关组织。
 客体这可粗略地对应为一般物体。例子包括 正常物理对象、地理区域和 Process 的位置，在 Physical 类别 Object 的补充。 在四维本体论上， Object 的时空范畴可大致划分为与时间轴平行的空间间隔。
 机构一个 Organization 是一家公司或者是类似的机构。 Organization 的 member 通常有着共同的一向和功能。注：这个类别也包括组织的分支和部门等等。例如： 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意：一家 Organization 的成立需要起码存在 一位 member(因为 Organization 是 Collection 的子类别)因此，对于纯粹法律上的组织，我们应该假设 以一个虚拟的 member。
 物理存在时空中某位置的个体。注：位置本身应理解为，存在于某个时空 的位置。
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