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


KB Term:  Term intersection
English Word: 

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 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