Confirming - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Confirming

Confirming(confirming)

accredit, recognise, recognize

appearance as argument number 1

(documentation Confirming EnglishLanguage "An utterance in which the speaker is part of a ReachingAgreement and in which the Proposition under consideration has already been Stated.")	Mid-level-ontology.kif 29919-29921
(subclass Confirming Stating)	Mid-level-ontology.kif 29918-29918	Confirming is a subclass of stating

appearance as argument number 2

(termFormat EnglishLanguage Confirming "confirming")

domainEnglishFormat.kif 64736-64736

antecedent

(=>
    (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

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