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 的区别在于具争议的声明可能是一个简单的断言,而不像争辩时的一串的推论,双面必须互 不同意对方的观点,其中一方可以对一个特定的观点提出一个论据,而不需要对方提出分歧的意见。") Merge.kif 17485-17487
(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 17479-17484
(subclass Disagreeing Stating) Merge.kif 17478-17478 Disagreeing記載subclass では %n

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


(subclass InternationalDispute Disagreeing) TransnationalIssues.kif 29-29 InternationalDisputeDisagreeingsubclass では %n
(termFormat ChineseLanguage Disagreeing "不同意") domainEnglishFormat.kif 19699-19699 termFormat ChineseLanguage, Disagreeing and "不同意"
(termFormat ChineseTraditionalLanguage Disagreeing "不同意") domainEnglishFormat.kif 19698-19698 termFormat ChineseTraditionalLanguage, Disagreeing and "不同意"
(termFormat EnglishLanguage Disagreeing "disagreeing") domainEnglishFormat.kif 19697-19697 termFormat EnglishLanguage, Disagreeing and "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 17488-17501

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 ?CS ?SP)))))
Mid-level-ontology.kif 27863-27875


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