Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AbnormalAnatomicalStructure
AbnormalAnatomicalStructure

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


(documentation AbnormalAnatomicalStructure ChineseLanguage "这是通常不会出现在 Organism, 但却是它们一部分的任何 AnatomicalStructure,也就述说这是一种 PathologicProcess。这个类别包含 肿瘤,胎记,甲状腺肿大等。") Merge.kif 15028-15030
(documentation AbnormalAnatomicalStructure EnglishLanguage "Any AnatomicalStructure which is not normally found in the Organism of which it is a part, i.e. it is the result of a PathologicProcess. This class covers tumors, birth marks, goiters, etc.") Merge.kif 15024-15027
(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 15023-15023

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


(subclass Lesion AbnormalAnatomicalStructure) Mid-level-ontology.kif 9005-9005
(subclass Scar AbnormalAnatomicalStructure) Mid-level-ontology.kif 9024-9024
(subclass Tumor AbnormalAnatomicalStructure) Mid-level-ontology.kif 9040-9040
(termFormat EnglishLanguage AbnormalAnatomicalStructure "abnormal anatomical structure") domainEnglishFormat.kif 1278-1278

appearance as argument number 3
-------------------------


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 14999-14999

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


(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 15032-15037


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners