Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReachingAgreement

Sigma KEE - ReachingAgreement
ReachingAgreement

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 est une sous-classe de d�clarer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ReachingAgreement "reaching agreement") domainEnglishFormat.kif 65387-65387

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
(=>
    (instance ?RA ReachingAgreement)
    (exists (?A1 ?A2)
        (and
            (agent ?RA ?A1)
            (agent ?RA ?A2)
            (not
                (equal ?A1 ?A2)))))
Media.kif 138-144
(=>
    (instance ?RA ReachingAgreement)
    (exists (?PROP)
        (and
            (instance ?PROP Agreement)
            (result ?RA ?PROP))))
Media.kif 146-151

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 29639-29653
(=>
    (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
(=>
    (instance ?CLOSE ClosingContract)
    (exists (?AGREE)
        (and
            (instance ?AGREE ReachingAgreement)
            (subProcess ?AGREE ?CLOSE))))
Media.kif 131-136


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