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 16885-16887
(partition Argument DeductiveArgument InductiveArgument) Merge.kif 16884-16884 Argument è esaustivamente partizionato in DeductiveArgument + InductiveArgument
(subclass Argument Proposition) Merge.kif 16883-16883 Argument è una sottoclasse di Proposizione

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


(subclass DeductiveArgument Argument) Merge.kif 16903-16903 DeductiveArgument è una sottoclasse di Argument
(subclass InductiveArgument Argument) Merge.kif 16935-16935 InductiveArgument è una sottoclasse di Argument
(subclass LegalOpinion Argument) Mid-level-ontology.kif 16210-16210 LegalOpinion è una sottoclasse di Argument
(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 16950-16950 Il numero 1 argomenti di PremisesFn è un istanza di Argument
(domain conclusion 1 Argument) Merge.kif 16966-16966 Il numero 1 argomenti di conclusion è un istanza di Argument
(domain premise 1 Argument) Merge.kif 16942-16942 Il numero 1 argomenti di premise è un istanza di Argument

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


(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))		 Merge.kif 16955-16961
(=>
    (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 21174-21204
(=>
    (instance ?ARGUMENT Argument)
    (exists (?PREMISES ?CONCLUSION)
        (and
            (equal
                (PremisesFn ?ARGUMENT) ?PREMISES)
            (conclusion ?CONCLUSION ?ARGUMENT))))		 Merge.kif 16896-16901

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 16889-16894


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