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 ContractContract 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.
InstancesAbstractProperties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.
 AttributeQualities which we cannot or choose not to reify into subclasses of.
 EntityLa clase universal de individuos. Es el nodo principal de la ontologĂ­a.
 RelationalAttributeAny Attribute that an Entity has by virtue of a relationship that it bears to another Entity or set of Entities, e.g. SocialRoles and PositionalAttributes.
Belongs to Class Entity


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