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 15635-15637
(partition Argument DeductiveArgument InductiveArgument) Merge.kif 15634-15634 partition Argument, DeductiveArgument and InductiveArgument
(subclass Argument Proposition) Merge.kif 15633-15633 subclass Argument and Proposition

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


(subclass DeductiveArgument Argument) Merge.kif 15653-15653 subclass DeductiveArgument and Argument
(subclass InductiveArgument Argument) Merge.kif 15685-15685 subclass InductiveArgument and Argument
(subclass LegalOpinion Argument) Mid-level-ontology.kif 13855-13855 subclass LegalOpinion and Argument
(termFormat ChineseLanguage Argument "争论") domainEnglishFormat.kif 8347-8347
(termFormat ChineseTraditionalLanguage Argument "爭論") domainEnglishFormat.kif 8346-8346
(termFormat EnglishLanguage Argument "argument") domainEnglishFormat.kif 8345-8345

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


(domain PremisesFn 1 Argument) Merge.kif 15700-15700 domain PremisesFn, 1 and Argument
(domain conclusion 1 Argument) Merge.kif 15716-15716 domain conclusion, 1 and Argument
(domain premise 1 Argument) Merge.kif 15692-15692 domain premise, 1 and Argument

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


(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))
Merge.kif 15705-15711
(=>
    (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 ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (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 18864-18893
(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))
Merge.kif 15646-15651

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 1297-1304
(=>
    (instance ?REASON Reasoning)
    (exists (?ARGUMENT)
        (and
            (instance ?ARGUMENT Argument)
            (realization ?REASON ?ARGUMENT))))
Merge.kif 15639-15644


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