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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Argument

 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 16836-16838
(partition Argument DeductiveArgument InductiveArgument) Merge.kif 16835-16835 争论 详尽无遗地 partition 成 演绎论证 和 归纳论证
(subclass Argument Proposition) Merge.kif 16834-16834 争论 是 命题 的 subclass

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


(subclass DeductiveArgument Argument) Merge.kif 16854-16854 演绎论证 是 争论 的 subclass
(subclass InductiveArgument Argument) Merge.kif 16886-16886 归纳论证 是 争论 的 subclass
(subclass LegalOpinion Argument) Mid-level-ontology.kif 16182-16182 法律意见 是 争论 的 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 16901-16901 前提函数 的 1 数量 是 争论 的 instance
(domain conclusion 1 Argument) Merge.kif 16917-16917 结论 的 1 数量 是 争论 的 instance
(domain premise 1 Argument) Merge.kif 16893-16893 前提 的 1 数量 是 争论 的 instance

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


(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))		 Merge.kif 16906-16912
(=>
    (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 21146-21176
(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))		 Merge.kif 16847-16852

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 16840-16845


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