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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Heart
Heart(heart)
heart, pump, ticker

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


s__documentation(s__Heart,s__EnglishLanguage,'"The Organ that pumps Blood throughout the body."')

Mid-level-ontology.kif 10601-10601
s__externalImage(s__Heart,'"http://upload.wikimedia.org/wikipedia/commons/2/2d/ Heart_diastole.png"')

pictureList.kif 112-112
s__externalImage(s__Heart,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ holiday/ valentines/ heart.png"')

pictureList.kif 496-496
s__material(s__Heart,s__InvoluntaryMuscle)

Mid-level-ontology.kif 10602-10602 InvoluntaryMuscle is made of heart
s__instance(s__AnimalAnatomicalStructure,s__SetOrClass)

s__subclass(s__Heart,s__AnimalAnatomicalStructure)

s__instance(s__Heart,s__SetOrClass)

Mid-level-ontology.kif 10600-10600 Heart is a subclass of animal anatomical structure
s__subclass(s__Heart,s__VitalOrgan)

s__instance(s__VitalOrgan,s__SetOrClass)

s__instance(s__Heart,s__SetOrClass)

Mid-level-ontology.kif 10599-10599 Heart is a subclass of vital organ

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


s__termFormat(s__ChineseLanguage,s__Heart,'"心"')

domainEnglishFormat.kif 27765-27765
s__termFormat(s__ChineseTraditionalLanguage,s__Heart,'"心"')

domainEnglishFormat.kif 27764-27764
s__termFormat(s__EnglishLanguage,s__Heart,'"heart"')

domainEnglishFormat.kif 27763-27763

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


s__domain(s__heartRate__m,n__1,s__Heart)

Mid-level-ontology.kif 9666-9666 The number 1 argument of heartRate is an instance of heart

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


( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__HeartAttack) &
         s__instance(V__H,s__Heart) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__Muscle) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 10631-10648
( ! [V__HB,V__H] :
   (((s__instance(V__HB,s__HeartBeat) &
         s__patient(V__HB,V__H)
       &
       s__instance(V__H,s__Heart))
     =>
     (( ? [V__MC, V__MR] :
         ((s__instance(V__MC,s__MuscularContraction) &
             s__patient(V__MC,V__H)
           &
           s__instance(V__MR,s__MuscleRelaxing) &
           s__patient(V__MR,V__H)
         &
         s__subProcess(V__MC,V__HB)
       &
       s__subProcess(V__MR,V__HB))))))
)
)

Mid-level-ontology.kif 9995-10007
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10009-10018
( ! [V__HEART] :
   ((s__instance(V__HEART,s__Heart) =>
       (( ? [V__TRANSFER, V__BLOOD] :
           ((s__instance(V__TRANSFER,s__Transfer) &
               s__instance(V__BLOOD,s__Blood) &
               s__instrument(V__TRANSFER,V__HEART)
             &
             s__patient(V__TRANSFER,V__BLOOD))))))
)
)

Mid-level-ontology.kif 10604-10611

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


( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
   (((s__instance(V__ARTERY,s__Artery) &
         s__instance(V__TRANSFER,s__Transfer) &
         s__patient(V__TRANSFER,V__BLOOD)
       &
       s__instrument(V__TRANSFER,V__ARTERY)
     &
     s__instance(V__BLOOD,s__Blood))
   =>
   (( ? [V__HEART] :
       ((s__instance(V__HEART,s__Heart) &
           s__origin(V__TRANSFER,V__HEART))))))
)
)

Mid-level-ontology.kif 10373-10383
( ! [V__RC,V__P,V__H] :
   (((s__instance(V__RC,s__RibCage) &
         s__part(V__RC,V__H)
       &
       s__instance(V__H,s__Human) &
       s__attribute(V__H,s__Living) &
       ~((s__instance(V__P,s__PathologicProcess) &
           s__located(V__P,V__H))))
   =>
   (( ? [V__HT, V__LG] :
       ((s__instance(V__LG,s__Object) &
           (s__instance(V__HT,s__Heart) &
             s__instance(V__HT,s__Lung) &
             s__contains(V__RC,V__LG)
           &
           s__contains(V__RC,V__HT)))))))
)
)

Mid-level-ontology.kif 10513-10528
( ! [V__B,V__T,V__V] :
   (((s__instance(V__V,s__PulmonaryVein) &
         s__instance(V__T,s__Transfer) &
         s__patient(V__T,V__B)
       &
       s__instrument(V__T,V__V)
     &
     s__instance(V__B,s__Blood))
   =>
   (( ? [V__L, V__H, V__P] :
       ((s__instance(V__P,s__Object) &
           (s__instance(V__L,s__Lung) &
             s__origin(V__T,V__L)
           &
           s__part(V__V,V__P)
         &
         s__part(V__L,V__P)
       &
       s__part(V__H,V__P)
     &
     s__instance(V__H,s__Heart) &
     s__destination(V__T,V__H)))))))
)
)

Mid-level-ontology.kif 10422-10437
( ! [V__B,V__T,V__V] :
   (((s__instance(V__V,s__Vein) &
         s__instance(V__T,s__Transfer) &
         s__patient(V__T,V__B)
       &
       s__instrument(V__T,V__V)
     &
     s__instance(V__B,s__Blood))
   =>
   (( ? [V__H] :
       ((s__instance(V__H,s__Heart) &
           s__destination(V__T,V__H))))))
)
)

Mid-level-ontology.kif 10390-10400
( ! [V__HB] :
   ((s__instance(V__HB,s__HeartBeat) =>
       (( ? [V__H] :
           ((s__patient(V__HB,V__H)
             &
             s__instance(V__H,s__Heart))))))
   )
)

Mid-level-ontology.kif 9988-9993
( ! [V__HB] :
   ((s__instance(V__HB,s__HeartBeatingAtFasterRate) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__Heart) &
               s__patient(V__HB,V__H))))))
   )
)

emotion.kif 1683-1688
( ! [V__HM] :
   ((s__instance(V__HM,s__HeartMuscle) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__Heart) &
               s__located(V__HM,V__H))))))
   )
)

Mid-level-ontology.kif 9710-9715


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