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

Formal Language: 




Sigma KEE - Promise
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
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.
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.
 EntityLa clase universal de individuos. Es el nodo principal de la ontologĂ­a.
 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