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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Argument
Argument(争论)

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


(documentation Argument ChineseLanguage "这是任何具有演绎或归纳论证形式的命题,即是一组声称、暗示 一种结论的前提。") chinese_format.kif 3765-3766
(documentation Argument EnglishLanguage "Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.") Merge.kif 16814-16816
(partition Argument DeductiveArgument InductiveArgument) Merge.kif 16813-16813 争论 详尽无遗地 partition演绎论证归纳论证
(subclass Argument Proposition) Merge.kif 16812-16812 争论命题subclass

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


(subclass DeductiveArgument Argument) Merge.kif 16832-16832 演绎论证争论subclass
(subclass InductiveArgument Argument) Merge.kif 16864-16864 归纳论证争论subclass
(subclass LegalOpinion Argument) Mid-level-ontology.kif 16183-16183 法律意见争论subclass
(termFormat ChineseLanguage Argument "争论") domainEnglishFormat.kif 8340-8340
(termFormat ChineseTraditionalLanguage Argument "爭論") domainEnglishFormat.kif 8339-8339
(termFormat EnglishLanguage Argument "argument") domainEnglishFormat.kif 8338-8338

appearance as argument number 3
-------------------------


(domain PremisesFn 1 Argument) Merge.kif 16879-16879 前提函数 的 1 数量 是 争论instance
(domain conclusion 1 Argument) Merge.kif 16895-16895 结论 的 1 数量 是 争论instance
(domain premise 1 Argument) Merge.kif 16871-16871 前提 的 1 数量 是 争论instance

antecedent
-------------------------


(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))
Merge.kif 16884-16890
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))
Mid-level-ontology.kif 21147-21177
(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))
Merge.kif 16825-16830

consequent
-------------------------


(=>
    (evidence ?LA ?P)
    (exists (?A ?PROP)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 180-188
(=>
    (instance ?ARGUE Arguing)
    (exists (?STATEMENT ?ARGUMENT)
        (and
            (patient ?ARGUE ?STATEMENT)
            (instance ?STATEMENT Statement)
            (containsInformation ?STATEMENT ?ARGUMENT)
            (instance ?ARGUMENT Argument))))
Mid-level-ontology.kif 909-916
(=>
    (instance ?REASON Reasoning)
    (exists (?ARGUMENT)
        (and
            (instance ?ARGUMENT Argument)
            (realization ?REASON ?ARGUMENT))))
Merge.kif 16818-16823


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