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

Formal Language: 



KB Term: 

  Promise

Sigma KEE - Promise
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
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.
Relationships      
Parents Obligation Attribute that applies to Propositions that an AutonomousAgent is required, by some authority, to make true.
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.
 NakedPromiseA Promise where nothing is promised in return, i.e. a nudum pactum.
InstancesabstraitProperties 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.
 attributQualities which we cannot or choose not to reify into subclasses of.
 deontic attributeA Class containing all of the Attributes relating to the notions of permission, obligation, and prohibition.
 entit�The universal class of individuals. This is the root node of the ontology.
 attribut normatifA 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.
 norme objectiveThe 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.
 attribut relationnelAny 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 entit�


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