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

Formal Language: 



KB Term: 

  ActiveAgreement

Sigma KEE - ActiveAgreement
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
ActiveAgreement
ActiveAgreement describes an Agreement that is still binding or is still in effect
Relationships      
Children 合同Contract is a type of Agreement that is legally enforceable, meaning a CognitiveAgent can pursue other parties of the agreement in a court of law if provisions of the contract are not followed or kept. It follows that all subpropositions of the Contract is Legal.
Instances抽象体这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
 属性这是我们不能够或选择不去具体化为 Object 的子类别的 质量。
 实体The universal class of individuals. This is the root node of the ontology.
 关联属性这是 EntityAttribute,属于任何来自 它和另一个 Entity 或 一组 Entity 之间的关系. 如: SocialRolePositionalAttribute
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