Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HeartMuscle
HeartMuscle(heart muscle)

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


(subclass HeartMuscle InvoluntaryMuscle) Mid-level-ontology.kif 11869-11869 Heart muscle is a subclass of involuntary muscle
(documentation HeartMuscle EnglishLanguage "A the Muscles of the Heart.") Mid-level-ontology.kif 11870-11870 Heart muscle is a subclass of involuntary muscle

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


(termFormat EnglishLanguage HeartMuscle "heart muscle") Mid-level-ontology.kif 11871-11871

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


(=>
    (instance ?HM HeartMuscle)
    (exists (?H)
        (and
            (instance ?H Heart)
            (located ?HM ?H))))		 Mid-level-ontology.kif 11873-11878 If X is an instance of heart muscle, then there exists Y such that Y is an instance of heart and X is located at Y
(=>
    (and
        (instance ?C MuscularContraction)
        (moves ?C ?M)
        (or
            (instance ?M VoluntaryMuscle)
            (instance ?M HeartMuscle)))
    (exists (?T)
        (and
            (instance ?T Troponin)
            (resource ?C ?T))))		 Medicine.kif 3988-3998 If X is an instance of muscular contraction, Y moves during X, and Y is an instance of voluntary muscle or Y is an instance of heart muscle, then there exists Z such that Z is an instance of troponin and Z is a resource for X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners