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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Argument

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 16149-16151
(partition Argument DeductiveArgument InductiveArgument) Merge.kif 16148-16148 Argument is exhaustively partitioned into deductive argument and inductive argument
(subclass Argument Proposition) Merge.kif 16147-16147 Argument is a subclass of proposition

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


(subclass DeductiveArgument Argument) Merge.kif 16167-16167 Deductive argument is a subclass of argument
(subclass InductiveArgument Argument) Merge.kif 16199-16199 Inductive argument is a subclass of argument
(subclass LegalOpinion Argument) Mid-level-ontology.kif 15459-15459 Legal opinion is a subclass of argument
(termFormat ChineseLanguage Argument "争论") domainEnglishFormat.kif 8349-8349
(termFormat ChineseTraditionalLanguage Argument "爭論") domainEnglishFormat.kif 8348-8348
(termFormat EnglishLanguage Argument "argument") domainEnglishFormat.kif 8347-8347

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


(domain PremisesFn 1 Argument) Merge.kif 16214-16214 The number 1 argument of premises is an instance of argument
(domain conclusion 1 Argument) Merge.kif 16230-16230 The number 1 argument of conclusion is an instance of argument
(domain premise 1 Argument) Merge.kif 16206-16206 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 16219-16225
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (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 20302-20331
(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))
Merge.kif 16160-16165

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


(=>
    (evidence ?LA ?P)
    (exists (?A)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 223-231
(=>
    (instance ?ARGUE Arguing)
    (exists (?STATEMENT ?ARGUMENT)
        (and
            (patient ?ARGUE ?STATEMENT)
            (instance ?STATEMENT Statement)
            (containsInformation ?STATEMENT ?ARGUMENT)
            (instance ?ARGUMENT Argument))))
Mid-level-ontology.kif 853-860
(=>
    (instance ?REASON Reasoning)
    (exists (?ARGUMENT)
        (and
            (instance ?ARGUMENT Argument)
            (realization ?REASON ?ARGUMENT))))
Merge.kif 16153-16158


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