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


s__documentation(s__Argument,s__ChineseLanguage,'"这是任何具有演绎或归纳论证形式的命题,即是一组声称、暗示 一种结论的前提。"')

chinese_format.kif 3765-3766
s__documentation(s__Argument,s__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 16032-16034
s__partition__3(s__Argument,s__DeductiveArgument,s__InductiveArgument)

Merge.kif 16031-16031 Argument is exhaustively partitioned into deductive argument and inductive argument
s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Argument,s__SetOrClass)

s__subclass(s__Argument,s__Proposition)

Merge.kif 16030-16030 Argument is a subclass of proposition

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


s__instance(s__Argument,s__SetOrClass)

s__instance(s__DeductiveArgument,s__SetOrClass)

s__subclass(s__DeductiveArgument,s__Argument)

Merge.kif 16050-16050 Deductive argument is a subclass of argument
s__instance(s__Argument,s__SetOrClass)

s__subclass(s__InductiveArgument,s__Argument)

s__instance(s__InductiveArgument,s__SetOrClass)

Merge.kif 16082-16082 Inductive argument is a subclass of argument
s__instance(s__LegalOpinion,s__SetOrClass)

s__instance(s__Argument,s__SetOrClass)

s__subclass(s__LegalOpinion,s__Argument)

Mid-level-ontology.kif 14360-14360 Legal opinion is a subclass of argument
s__termFormat(s__ChineseLanguage,s__Argument,'"争论"')

domainEnglishFormat.kif 8349-8349
s__termFormat(s__ChineseTraditionalLanguage,s__Argument,'"爭論"')

domainEnglishFormat.kif 8348-8348
s__termFormat(s__EnglishLanguage,s__Argument,'"argument"')

domainEnglishFormat.kif 8347-8347

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


s__domain(s__PremisesFn__m,n__1,s__Argument)

Merge.kif 16097-16097 The number 1 argument of premises is an instance of argument
s__domain(s__conclusion__m,n__1,s__Argument)

Merge.kif 16113-16113 The number 1 argument of conclusion is an instance of argument
s__domain(s__premise__m,n__1,s__Argument)

Merge.kif 16089-16089 The number 1 argument of premise is an instance of argument

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


( ! [V__ARGUMENT,V__PREMISES,V__PROPOSITION] :
   (((s__instance(V__PREMISES,s__Proposition) &
         s__instance(V__PROPOSITION,s__Proposition))
       =>
       (((s__instance(V__ARGUMENT,s__Argument) &
             (V__PREMISES = s__PremisesFn(V__ARGUMENT)))
         =>
         (((s__subProposition(V__PROPOSITION,V__PREMISES)
             =>
             s__premise(V__ARGUMENT,V__PROPOSITION))
         &
         (s__premise(V__ARGUMENT,V__PROPOSITION)
         =>
         s__subProposition(V__PROPOSITION,V__PREMISES)))))))
)
)

Merge.kif 16102-16108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19109-19138
( ! [V__ARGUMENT] :
   ((s__instance(V__ARGUMENT,s__Argument) =>
       (( ? [V__PREMISES, V__CONCLUSION] :
           ((s__instance(V__PREMISES,s__Proposition) &
               s__instance(V__CONCLUSION,s__Argument) &
               ((s__PremisesFn(V__ARGUMENT)
                 = V__PREMISES)
               &
               s__conclusion(V__CONCLUSION,V__ARGUMENT)))))))
)
)

Merge.kif 16043-16048

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


( ! [V__P,V__LA,V__PROP] :
   (((s__instance(V__P,s__Physical) &
         s__instance(V__LA,s__LegalAction) &
         s__instance(V__PROP,s__Proposition))
       =>
       ((s__evidence(V__LA,V__P)
         =>
         (( ? [V__A] :
             ((s__instance(V__PROP,s__Proposition) &
                 s__instance(V__A,s__Argument) &
                 s__refers(V__A,V__LA)
               &
               s__represents(V__PROP,V__P)
             &
             s__premise(V__A,V__PROP))))))))
)
)

Law.kif 223-231
( ! [V__ARGUE] :
   ((s__instance(V__ARGUE,s__Arguing) =>
       (( ? [V__STATEMENT, V__ARGUMENT] :
           ((s__patient(V__ARGUE,V__STATEMENT)
             &
             s__instance(V__STATEMENT,s__Statement) &
             s__containsInformation(V__STATEMENT,V__ARGUMENT)
           &
           s__instance(V__ARGUMENT,s__Argument))))))
)
)

Mid-level-ontology.kif 852-859
( ! [V__REASON] :
   ((s__instance(V__REASON,s__Reasoning) =>
       (( ? [V__ARGUMENT] :
           ((s__instance(V__ARGUMENT,s__Argument) &
               s__realization(V__REASON,V__ARGUMENT))))))
   )
)

Merge.kif 16036-16041


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