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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Disagreeing

Sigma KEE - Disagreeing
Disagreeing

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 13151-13156
(subclass Disagreeing Stating) Merge.kif 13150-13150

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


(subclass InternationalDispute Disagreeing) TransnationalIssues.kif 29-29
(termFormat ChineseLanguage Disagreeing "不同意") domainEnglishFormat.kif 19770-19770
(termFormat ChineseTraditionalLanguage Disagreeing "不同意") domainEnglishFormat.kif 19769-19769
(termFormat EnglishLanguage Disagreeing "disagreeing") domainEnglishFormat.kif 19768-19768

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 13157-13170

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 29691-29703


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 is open source software produced by Articulate Software and its partners