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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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陈述subclass

appearance as argument number 2

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


        (instance ?RA ReachingAgreement)
        (agent ?RA ?AGENT)
        (result ?RA ?PROP)
        (instance ?PROP Agreement))
            (WhenFn ?RA))
        (partyToAgreement ?AGENT ?PROP)))
Media.kif 153-160
    (instance ?RA ReachingAgreement)
    (exists (?A1 ?A2)
            (agent ?RA ?A1)
            (agent ?RA ?A2)
                (equal ?A1 ?A2)))))
Media.kif 138-144
    (instance ?RA ReachingAgreement)
    (exists (?PROP)
            (instance ?PROP Agreement)
            (result ?RA ?PROP))))
Media.kif 146-151


        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
            (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
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (exists (?O ?A ?A1 ?A2)
            (instance ?O Offering)
            (instance ?A ReachingAgreement)
            (refers ?O ?AG)
            (refers ?A ?AG)
            (agent ?O ?A1)
            (agent ?A ?A2)
                (WhenFn ?O)
                (WhenFn ?A)))))
Law.kif 526-540
    (instance ?CLOSE ClosingContract)
    (exists (?AGREE)
            (instance ?AGREE ReachingAgreement)
            (subProcess ?AGREE ?CLOSE))))
Media.kif 131-136

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