Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Disagreeing

 Sigma KEE - Disagreeing
Disagreeing(disagreeing)clash, contradict, contravene, differ, disagree, dissent, negate, take_issue

appearance as argument number 1
-------------------------


(subclass Disagreeing Stating) Merge.kif 13450-13450 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 13451-13456 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))
            (containsFormula ?STATE1 ?STMT1)
            (containsFormula ?STATE2 ?STMT2)
            (not
                (consistent ?STMT1 ?STMT2)))))		 Merge.kif 13458-13471 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 the formula U (9) V contains the formula T (10) T is not a consistent of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners