Disagreeing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Disagreeing Stating)	Merge.kif 13326-13326	Disagreeing is a subclass of stating
(documentation Disagreeing EnglishLanguage "A Stating in which two Agents have contradictory statements. This is distinguished from Arguing in that the statement in dispute may be a simple assertion, rather than a chain of deduction, and that two entities must be disagreeing with each other, whereas a single entity may craft an argument for a given point of view, without the need for another agent to disagree with.")	Merge.kif 13327-13332	Disagreeing is a subclass of stating

appearance as argument number 2

(subclass InternationalDispute Disagreeing)	TransnationalIssues.kif 29-29	International dispute is a subclass of disagreeing
(termFormat EnglishLanguage Disagreeing "disagreeing")	domainEnglishFormat.kif 19770-19770	International dispute is a subclass of disagreeing
(termFormat ChineseTraditionalLanguage Disagreeing "不同意")	domainEnglishFormat.kif 19771-19771	International dispute is a subclass of disagreeing
(termFormat ChineseLanguage Disagreeing "不同意")	domainEnglishFormat.kif 19772-19772	International dispute is a subclass of disagreeing

antecedent

(=>
    (instance ?DIS Disagreeing)
    (exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)
        (and
            (subProcess ?STATE1 ?DIS)
            (subProcess ?STATE2 ?DIS)
            (agent ?STATE1 ?A1)
            (agent ?STATE2 ?A2)
            (not
                (equal ?A1 ?A2))
            (containsInformation ?STATE1 ?STMT1)
            (containsInformation ?STATE2 ?STMT2)
            (not
                (consistent ?STMT1 ?STMT2)))))

Merge.kif 13333-13346

If X is an instance of disagreeing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is a subprocess of X (3) V is a subprocess of X (4) Y is an agent of W (5) Z is an agent of V (6) equal Y (7) Z (8) W contains information U (9) V contains information T (10) T is not a consistent of U

consequent

(=>
    (instance ?C Correcting)
    (exists (?D ?S ?SP ?CP)
        (and
            (instance ?D Disagreeing)
            (subProcess ?C ?D)
            (instance ?S Stating)
            (subProcess ?S ?D)
            (containsInformation ?S ?SP)
            (containsInformation ?C ?CP)
            (refers ?CP ?SP)
            (not
                (consistent ?CP ?SP)))))

Mid-level-ontology.kif 32379-32391

If X is an instance of correcting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of disagreeing (3) X is a subprocess of Y (4) Z is an instance of stating (5) Z is a subprocess of Y (6) Z contains information W (7) X contains information V (8) V includes a reference to W (9) W is not a consistent of V

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

KB Term:			Term intersection

English Word: