TreeView Knowledge Base Browser - ReachingAgreement

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ReachingAgreement

Sigma KEE - ReachingAgreement

ReachingAgreement

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	ReachingAgreement is a subclass of stating

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 ReachingAgreement 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 ReachingAgreement, 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 ReachingAgreement, 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 29027-29041	If a time interval is an instance of Confirming and an agent 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 agent2 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 ReachingAgreement and the agent2 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 agent is a party to agreement of the content bearing physical and the agent2 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 574-588	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 ReachingAgreement 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 ReachingAgreement and the other process is a subprocess of the process

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