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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbnormalAnatomicalStructure

Sigma KEE - AbnormalAnatomicalStructure
AbnormalAnatomicalStructure

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


(documentation AbnormalAnatomicalStructure ChineseLanguage "这是通常不会出现在 Organism, 但却是它们一部分的任何 AnatomicalStructure,也就述说这是一种 PathologicProcess。这个类别包含 肿瘤,胎记,甲状腺肿大等。") chinese_format.kif 3490-3492
(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 14937-14940
(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 14936-14936 AbnormalAnatomicalStructure解剖学的構造subclass では %n

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


(subclass Lesion AbnormalAnatomicalStructure) Mid-level-ontology.kif 9385-9385 LesionAbnormalAnatomicalStructuresubclass では %n
(subclass Scar AbnormalAnatomicalStructure) Mid-level-ontology.kif 9404-9404 ScarAbnormalAnatomicalStructuresubclass では %n
(subclass Tumor AbnormalAnatomicalStructure) Mid-level-ontology.kif 9433-9433 TumorAbnormalAnatomicalStructuresubclass では %n
(subclass Ulcer AbnormalAnatomicalStructure) Mid-level-ontology.kif 9420-9420 UlcerAbnormalAnatomicalStructuresubclass では %n
(termFormat ChineseLanguage AbnormalAnatomicalStructure "异常的解剖结构") domainEnglishFormat.kif 5064-5064
(termFormat ChineseTraditionalLanguage AbnormalAnatomicalStructure "異常的解剖結構") domainEnglishFormat.kif 5063-5063
(termFormat EnglishLanguage AbnormalAnatomicalStructure "abnormal anatomical structure") domainEnglishFormat.kif 5062-5062

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 14914-14914 解剖学的構造体の部分 + AbnormalAnatomicalStructureexhaustively partitioned %n

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


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


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