Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 2 |
|
|
| (termFormat EnglishLanguage ReachingAgreement "reaching agreement") | domainEnglishFormat.kif 65390-65390 |
| antecedent |
|
|
| (=> (instance ?RA ReachingAgreement) (exists (?A1 ?A2) (and (agent ?RA ?A1) (agent ?RA ?A2) (not (equal ?A1 ?A2))))) |
Media.kif 132-138 | If X is an instance of reaching agreement, then there exist Y, Z such that Y is an agent of X, Z is an agent of X, equal Y, and Z |
| (=> (instance ?RA ReachingAgreement) (exists (?PROP) (and (instance ?PROP Agreement) (result ?RA ?PROP)))) |
Media.kif 140-145 | If X is an instance of reaching agreement, then there exists Y such that Y is an instance of agreement and Y is a result of X |
| (=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP))) |
Media.kif 147-154 | If X is an instance of reaching agreement, Y is an agent of X, Z is a result of X, and Z is an instance of agreement, then Z is a party to agreement of Y holds during after the time of existence of X |
| 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 32246-32260 | If X is an instance of confirming, Y is an agent of X, and X contains information Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of stating (3) W happens earlier than X (4) V is an instance of reaching agreement (5) U is an agent of W (6) V contains information Z (7) W contains information Z (8) Y is a party to agreement of V (9) U is a party to agreement of V |
| (=> (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 507-521 | If X is an instance of intentional process, Y is a result of X, Y is the record of Z, and legal is an attribute of Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of offering (3) V is an instance of reaching agreement (4) W includes a reference to Z (5) V includes a reference to Z (6) U is an agent of W (7) T is an agent of V (8) the time of existence of W happens earlier than the time of existence of V |
| (=> (instance ?CLOSE ClosingContract) (exists (?AGREE) (and (instance ?AGREE ReachingAgreement) (subProcess ?AGREE ?CLOSE)))) |
Media.kif 125-130 | If X is an instance of closing contract, then there exists Y such that Y is an instance of reaching agreement and Y is a subprocess of X |
|