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



KB Term:  Term intersection
English Word: 

  AbnormalAnatomicalStructure

Sigma KEE - AbnormalAnatomicalStructure
AbnormalAnatomicalStructure(abnormal anatomical structure)ovotestis

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


(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 15245-15245 Abnormal anatomical structure is a subclass of anatomical structure
(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 15246-15249 Abnormal anatomical structure is a subclass of anatomical structure

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


(subclass Lesion AbnormalAnatomicalStructure) Mid-level-ontology.kif 10877-10877 Lesion is a subclass of abnormal anatomical structure
(subclass Scar AbnormalAnatomicalStructure) Mid-level-ontology.kif 10896-10896 Scar is a subclass of abnormal anatomical structure
(subclass Ulcer AbnormalAnatomicalStructure) Mid-level-ontology.kif 10912-10912 Ulcer is a subclass of abnormal anatomical structure
(subclass Tumor AbnormalAnatomicalStructure) Mid-level-ontology.kif 10925-10925 Tumor is a subclass of abnormal anatomical structure
(termFormat EnglishLanguage AbnormalAnatomicalStructure "abnormal anatomical structure") domainEnglishFormat.kif 5071-5071 Tumor is a subclass of abnormal anatomical structure
(termFormat ChineseTraditionalLanguage AbnormalAnatomicalStructure "異常的解剖結構") domainEnglishFormat.kif 5072-5072 Tumor is a subclass of abnormal anatomical structure
(termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构") domainEnglishFormat.kif 5073-5073 Tumor is a subclass of abnormal anatomical structure

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15223-15223 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure

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


(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 15251-15256 If X is an instance of abnormal anatomical structure, then there exists Y such that Y is an instance of pathologic process and X is a result of Y


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