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


KB Term:  Term intersection
English Word: 

Sigma KEE - Argument
Argument(argument)case, clericalism, colligation, policy, zero-tolerance_policy

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 17011-17013
(partition Argument DeductiveArgument InductiveArgument) Merge.kif 17010-17010 Argument is exhaustively partitioned into deductive argument and inductive argument
(subclass Argument Proposition) Merge.kif 17009-17009 Argument is a subclass of proposition

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


(subclass DeductiveArgument Argument) Merge.kif 17029-17029 Deductive argument is a subclass of argument
(subclass InductiveArgument Argument) Merge.kif 17061-17061 Inductive argument is a subclass of argument
(subclass LegalOpinion Argument) Mid-level-ontology.kif 17556-17556 Legal opinion is a subclass of argument
(termFormat ChineseLanguage Argument "争论") domainEnglishFormat.kif 8340-8340 Legal opinion is a subclass of argument
(termFormat ChineseTraditionalLanguage Argument "爭論") domainEnglishFormat.kif 8339-8339 Legal opinion is a subclass of argument
(termFormat EnglishLanguage Argument "argument") domainEnglishFormat.kif 8338-8338 Legal opinion is a subclass of argument

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


(domain PremisesFn 1 Argument) Merge.kif 17076-17076 The number 1 argument of premises is an instance of argument
(domain conclusion 1 Argument) Merge.kif 17092-17092 The number 1 argument of conclusion is an instance of argument
(domain premise 1 Argument) Merge.kif 17068-17068 The number 1 argument of premise is an instance of argument

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


(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))
Merge.kif 17081-17087
(=>
    (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 22755-22785
(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))
Merge.kif 17022-17027

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 902-909
(=>
    (instance ?REASON Reasoning)
    (exists (?ARGUMENT)
        (and
            (instance ?ARGUMENT Argument)
            (realization ?REASON ?ARGUMENT))))
Merge.kif 17015-17020


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