ReachingAgreement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ReachingAgreement

ReachingAgreement(reaching agreement)

agree, bargain, compromise, conciliate, concord, concur, hold, make_up, patch_up, plea-bargain, reconcile, see_eye_to_eye, settle

appearance as argument number 1

(documentation ReachingAgreement EnglishLanguage "Instances of this Class are Statings in which two or more agents affirm the same thing (acknowledge the truth of the same Propositions).")	Media.kif 126-129
(subclass ReachingAgreement Stating)	Media.kif 125-125	Reaching agreement is a subclass of stating

appearance as argument number 2

(termFormat EnglishLanguage ReachingAgreement "reaching agreement")

domainEnglishFormat.kif 65435-65435

antecedent

(=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP)))	Media.kif 153-160	If a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
(=> (instance ?RA ReachingAgreement) (exists (?A1 ?A2) (and (agent ?RA ?A1) (agent ?RA ?A2) (not (equal ?A1 ?A2)))))	Media.kif 138-144	If a process is an instance of reaching agreement, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the agent is not equal to the other agent
(=> (instance ?RA ReachingAgreement) (exists (?PROP) (and (instance ?PROP Agreement) (result ?RA ?PROP))))	Media.kif 146-151	If a process is an instance of reaching agreement, then there exists an entity such that the entity is an instance of agreement and the entity is a result of the process

consequent

(=> (and (instance ?C Confirming) (agent ?C ?A) (containsInformation ?C ?P)) (exists (?S ?RA ?A2) (and (instance ?S Stating) (earlier ?S ?C) (instance ?RA ReachingAgreement) (agent ?S ?A2) (containsInformation ?RA ?P) (containsInformation ?S ?P) (partyToAgreement ?RA ?A) (partyToAgreement ?RA ?A2))))	Mid-level-ontology.kif 29923-29937	If a time interval is an instance of confirming and an agreement is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agreement2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of reaching agreement and the agreement2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
(=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A)))))	Law.kif 526-540	If a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of an agreement and legal is an attribute of the agreement, then there exist another process, a third process,, , the third process1 and the third process2 such that the other process is an instance of offering and the third process is an instance of reaching agreement and the other process includes a reference to the agreement and the third process includes a reference to the agreement and the third process1 is an agent of the other process and the third process2 is an agent of the third process and the time of existence of the other process happens earlier than the time of existence of the third process
(=> (instance ?CLOSE ClosingContract) (exists (?AGREE) (and (instance ?AGREE ReachingAgreement) (subProcess ?AGREE ?CLOSE))))	Media.kif 131-136	If a process is an instance of closing contract, then there exists another process such that the other process is an instance of reaching agreement and the other process is a subprocess of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified 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