Disagreeing - Sigma Knowledge base Browser

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 13197-13202
(subclass Disagreeing Stating)	Merge.kif 13196-13196	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 ChineseLanguage Disagreeing "不同意")	domainEnglishFormat.kif 19786-19786	International dispute is a subclass of disagreeing
(termFormat ChineseTraditionalLanguage Disagreeing "不同意")	domainEnglishFormat.kif 19785-19785	International dispute is a subclass of disagreeing
(termFormat EnglishLanguage Disagreeing "disagreeing")	domainEnglishFormat.kif 19784-19784	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 13203-13216

If a process is an instance of disagreeing,
then there exist an agent, another agent,, , another process,, , a third process,, , a proposition and another proposition such that the other process is a subprocess of the process and the third process is a subprocess of the process and the agent is an agent of the other process and the other agent is an agent of the third process and the agent is not equal to the other agent and the other process contains information the proposition and the third process contains information the other proposition and the other proposition is not a consistent of the proposition

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 29975-29987

If a process is an instance of correcting,
then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP

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: