TreeView 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 9413-9414
(subclass Lesion AbnormalAnatomicalStructure)	Mid-level-ontology.kif 9412-9412	Lesion is a subclass of abnormal anatomical structure

appearance as argument number 2

(termFormat ChineseLanguage Lesion "病变")	domainEnglishFormat.kif 34079-34079
(termFormat ChineseTraditionalLanguage Lesion "病變")	domainEnglishFormat.kif 34078-34078
(termFormat EnglishLanguage Lesion "lesion")	domainEnglishFormat.kif 34077-34077

antecedent

(=> (instance ?L Lesion) (exists (?I) (and (instance ?I Injuring) (result ?I ?L))))	Mid-level-ontology.kif 9416-9421	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 9423-9429	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 9435-9445

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 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: