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


KB Term:  Term intersection
English Word: 

  Lesion

 Sigma KEE - Lesion
Lesion(lesion)lesion, wound

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


(subclass Lesion AbnormalAnatomicalStructure) Mid-level-ontology.kif 10877-10877 Lesion is a subclass of abnormal anatomical structure
(documentation Lesion EnglishLanguage "Any AbnormalAnatomicalStructure which is the result of an Injuring and which is found on the surface of an Organ.") Mid-level-ontology.kif 10878-10879 Lesion is a subclass of abnormal anatomical structure

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


(termFormat EnglishLanguage Lesion "lesion") domainEnglishFormat.kif 34081-34081
(termFormat ChineseTraditionalLanguage Lesion "病變") domainEnglishFormat.kif 34082-34082
(termFormat ChineseLanguage Lesion "病变") domainEnglishFormat.kif 34083-34083

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


(=>
    (instance ?L Lesion)
    (exists (?I)
        (and
            (instance ?I Injuring)
            (result ?I ?L))))		 Mid-level-ontology.kif 10881-10886 If X is an instance of lesion, then there exists Y such that Y is an instance of injuring and X is a result of Y
(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))		 Mid-level-ontology.kif 10888-10894 If X is an instance of lesion, then there exist Y, Z such that Y is a surface of Z, Z is an instance of organ, and X is located at Y

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