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

Formal Language: 




Sigma KEE - Contract
KB Term: 

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
Contract
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.
Relationships      
Parents ActiveAgreement ActiveAgreement describes an Agreement that is still binding or is still in effect
  Promise Attribute that applies to Propositions that an AutonomousAgent promises to make true. Promises may be implicit or explicit. They may be expressed in a written or verbal or gestural manner.
Children CivilAffairsAgreementAn agreement that governs the relationship between allied armed forces located in a friendly country and the civil authorities and people of that country. See also civil affairs.
 EarlyTerminationFeeClauseAn early termination fee is a charge levied when a party wants to break the term of an agreement or long-term contract. They are stipulated in the contract or agreement itself, and provide an incentive for the party subject to them to abide by the agreement. (from Wikipedia)
 FinancialContractA financial agreement between two or more parties
 LoanCommitmentA formal offer by a lender making explicit the terms under which it agrees to lend money to a borrower over a certain period of time.
 MarriageContractAn Contract between a married couple about how assets owned by the couple will be distributed in the event that the couple is divorced.
 PurchaseContractA Contract between two Agents in which one AutonomousAgent agrees to render the other some good or service in exchange for currency.
 ServiceContractA Contract where an AutonomousAgent agrees to perform a service for another AutonomousAgent (usually for a price).
 TreatyAny Contract which holds between two or more Nations.
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.
 DeonticAttributeA Class containing all of the Attributes relating to the notions of permission, obligation, and prohibition.
 EntityThe universal class of individuals. This is the root node of the ontology.
 NormativeAttributeA Class containing all of the Attributes that are specific to morality, legality, aesthetics, etiquette, etc. Many of these attributes express a judgement that something ought or ought not to be the case.
 ObjectiveNormThe Class of NormativeAttributes that are associated with an objective criterion for their attribution, i.e. there is broad consensus about the cases where these attributes are applicable.
 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 simplified definition with tree view
Show full definition (without tree view)
Show full 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