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



KB Term:  Term intersection
English Word: 

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