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

Formal Language: 



KB Term:  Term intersection
English Word: 

  premise

Sigma KEE - premise
premise

appearance as argument number 1
-------------------------


s__documentation(s__premise__m,s__ChineseLanguage,'"(premise ?ARGUMENT ?PROPOSITION)的意思是 Proposition ?PROPOSITION 是 Argument ?ARGUMENT 的一个明确假设。"')

chinese_format.kif 3777-3778
s__documentation(s__premise__m,s__EnglishLanguage,'"(premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT."')

Merge.kif 16091-16093
s__domain(s__premise__m,n__1,s__Argument)

Merge.kif 16089-16089 The number 1 argument of premise is an instance of argument
s__domain(s__premise__m,n__2,s__Proposition)

Merge.kif 16090-16090 The number 2 argument of premise is an instance of proposition
s__instance(s__premise__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 16087-16087 premise is an instance of binary predicate
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__premise__m,s__TotalValuedRelation)

Merge.kif 16088-16088 premise is an instance of total valued relation

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


s__format(s__ChineseLanguage,s__premise__m,'"%2 %n 是 %1 的 premise "')

domainEnglishFormat.kif 2031-2031
s__format(s__ChineseTraditionalLanguage,s__premise__m,'"%2 %n 是 %1 的 premise "')

domainEnglishFormat.kif 2030-2030
s__format(s__EnglishLanguage,s__premise__m,'"%2 is %n a premise of %1"')

domainEnglishFormat.kif 2029-2029
s__termFormat(s__ChineseLanguage,s__premise__m,'"前提"')

domainEnglishFormat.kif 47174-47174
s__termFormat(s__ChineseTraditionalLanguage,s__premise__m,'"前提"')

domainEnglishFormat.kif 47173-47173
s__termFormat(s__EnglishLanguage,s__premise__m,'"premise"')

domainEnglishFormat.kif 47172-47172

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


( ! [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
( ! [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


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