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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Disagreeing
Disagreeing

VerbNet: battle-36.4|clash, correspond-36.1|disagree, correspond-36.1|disagree, correspond-36.1|disagree, correspond-36.1|disagree,


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


(documentation Disagreeing ChineseLanguage "这是一种 Stating,它发生在当两个 Agent 言论出现 矛盾的时候。它和 Arguing 的区别在于具争议的声明可能是一个简单的断言,而不像争辩时的一串的推论,双面必须互 不同意对方的观点,其中一方可以对一个特定的观点提出一个论据,而不需要对方提出分歧的意见。") chinese_format.kif 3260-3262
(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 12083-12088
(subclass Disagreeing Stating) Merge.kif 12082-12082

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


(subclass InternationalDispute Disagreeing) TransnationalIssues.kif 29-29
(termFormat ChineseLanguage Disagreeing "不同意") domainEnglishFormat.kif 19699-19699
(termFormat ChineseTraditionalLanguage Disagreeing "不同意") domainEnglishFormat.kif 19698-19698
(termFormat EnglishLanguage Disagreeing "disagreeing") domainEnglishFormat.kif 19697-19697

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 12089-12102

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 27856-27868


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners