Lesion - Sigma Knowledge base Browser

appearance as argument number 1

(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 10715-10716
(subclass Lesion AbnormalAnatomicalStructure)	Mid-level-ontology.kif 10714-10714	Lesion is a subclass of abnormal anatomical structure

appearance as argument number 2

(termFormat ChineseLanguage Lesion "病变")	domainEnglishFormat.kif 34090-34090
(termFormat ChineseTraditionalLanguage Lesion "病變")	domainEnglishFormat.kif 34089-34089
(termFormat EnglishLanguage Lesion "lesion")	domainEnglishFormat.kif 34088-34088

antecedent

(=> (instance ?L Lesion) (exists (?I) (and (instance ?I Injuring) (result ?I ?L))))	Mid-level-ontology.kif 10718-10723	If an entity is an instance of lesion, then there exists a process such that the process is an instance of injuring and the entity is a result of the process
(=> (instance ?L Lesion) (exists (?S ?O) (and (surface ?S ?O) (instance ?O Organ) (located ?L ?S))))	Mid-level-ontology.kif 10725-10731	If a physical is an instance of lesion, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of organ and the physical is located at the self connected object

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

If a physical is an instance of scar,
then there exist a time position, a process and an entity such that the time position is a part of before the time of existence of the physical and the entity is an instance of lesion holds during the time position and the process is an instance of organ or tissue process and the entity is a patient of the process and the physical is a result of the process

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

KB Term:			Term intersection

English Word: