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


KB Term:  Term intersection
English Word: 

Sigma KEE - OrganOrTissueProcess
OrganOrTissueProcess(organ or tissue process)Babinski, Babinski_reflex, Babinski_sign, Braxton-Hicks_contraction, Krebs_citric_acid_cycle, Krebs_cycle, Moro_reflex, absorption, accommodation, accommodation_reflex, accommodational, acquired_immunity, acquired_reflex, active_immunity, adaptation, alleviate, altering, anabolism, anamnestic_reaction, anamnestic_response, anastalsis, anovulation, arterialise, arterialize, assimilation, assuage, automatism, bald, beat, blink, blinking, blush, bronchospasm, cardiac_cycle, cardiospasm, castration, catabolism, cell-mediated_immune_response, cellular_respiration, chemotaxis, chew, chewing, chomping, cicatrise, cicatrize, citric_acid_cycle, coarctation, complement_fixation, conditional_reaction, conditional_reflex...

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


(subclass OrganOrTissueProcess AutonomicProcess) Merge.kif 10395-10395 Organ or tissue process is a subclass of autonomic process
(disjoint OrganOrTissueProcess OrganismProcess) Merge.kif 10396-10396 Organ or tissue process is disjoint from organism process
(documentation OrganOrTissueProcess EnglishLanguage "A PhysiologicProcess of a particular Organ or Tissue.") Merge.kif 10398-10399 Organ or tissue process is disjoint from organism process

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


(subclass Clotting OrganOrTissueProcess) Mid-level-ontology.kif 11940-11940 Coagulation is a subclass of organ or tissue process
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 11982-11982 Muscular contraction is a subclass of organ or tissue process
(subclass MuscleRelaxing OrganOrTissueProcess) Mid-level-ontology.kif 12004-12004 Muscle relaxing is a subclass of organ or tissue process
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 12168-12168 Heart beat is a subclass of organ or tissue process
(subclass Sunburn OrganOrTissueProcess) Mid-level-ontology.kif 12490-12490 Sunburn is a subclass of organ or tissue process
(subclass Tanning OrganOrTissueProcess) Mid-level-ontology.kif 12507-12507 Tanning is a subclass of organ or tissue process
(subclass Ossification OrganOrTissueProcess) Mid-level-ontology.kif 13040-13040 Ossification is a subclass of organ or tissue process
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 14000-14000 Inflammation is a subclass of organ or tissue process
(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 26157-26157 Period is a subclass of organ or tissue process
(subclass Fertilisation OrganOrTissueProcess) Mid-level-ontology.kif 26249-26249 Conceiving is a subclass of organ or tissue process
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 26313-26313 Organification is a subclass of organ or tissue process
(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 26324-26324 Biological conception is a subclass of organ or tissue process
(subclass Tachycardia OrganOrTissueProcess) Medicine.kif 2815-2815 Tachyarrhythmia is a subclass of organ or tissue process
(subclass Bradycardia OrganOrTissueProcess) Medicine.kif 2835-2835 Bradycardia is a subclass of organ or tissue process
(termFormat EnglishLanguage OrganOrTissueProcess "organ or tissue process") english_format.kif 1389-1389 Bradycardia is a subclass of organ or tissue process

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


(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))		 Merge.kif 10401-10408 If X is an instance of organ or tissue process, then there exists Y such that X is located at Y and Y is an instance of organ or Y is an instance of tissue

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


(=>
    (instance ?S Scar)
    (exists (?T ?OP ?L)
        (and
            (temporalPart ?T
                (PastFn
                    (WhenFn ?S)))
            (holdsDuring ?T
                (instance ?L Lesion))
            (instance ?OP OrganOrTissueProcess)
            (patient ?OP ?L)
            (result ?OP ?S))))		 Mid-level-ontology.kif 10900-10910 If X is an instance of scar, then there exist Y, Z, W such that Y is a part of before the time of existence of X, W is an instance of lesion holds during Y, Z is an instance of organ or tissue process, W is a patient of Z, and X is a result of Z


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