appearance as argument number 1 |
![]() |
(documentation BodyPart ChineseLanguage "这是 Organism 某个特定部位而并非病理的 Cell 和 Tissue。这个 Class 的实例的范围包括复杂 Organ 的总体结构至小部分。") | chinese_format.kif 3493-3494 | |
(documentation BodyPart EnglishLanguage "A collection of Cells and Tissues which are localized to a specific area of an Organism and which are not pathological. The instances of this Class range from gross structures to small components of complex Organs.") | Merge.kif 14679-14682 | |
(subclass BodyPart AnatomicalStructure) | Merge.kif 14678-14678 | Body part is a subclass of anatomical structure |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain InflammationFn 1 BodyPart) | Mid-level-ontology.kif 11886-11886 | The number 1 argument of inflammation is an instance of body part |
(domain PainFn 1 BodyPart) | Mid-level-ontology.kif 6021-6021 | The number 1 argument of pain is an instance of body part |
(domain ParalysisFn 1 BodyPart) | Mid-level-ontology.kif 5997-5997 | The number 1 argument of paralysis is an instance of body part |
(domain bodyAngle 1 BodyPart) | Mid-level-ontology.kif 10208-10208 | The number 1 argument of body angle is an instance of body part |
(domain bodyAngle 2 BodyPart) | Mid-level-ontology.kif 10209-10209 | The number 2 argument of body angle is an instance of body part |
(domainSubclass BodySideFn 2 BodyPart) | Merge.kif 14701-14701 | The number 2 argument of BodySideFn is a subclass of body part |
(domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 29113-29113 | The number 1 argument of CoveringFn is a subclass of body part |
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) | Merge.kif 17965-17965 | The number 1 argument of DeadOrMissingBodyPartFn is a subclass of body part |
(domainSubclass EdemaFn 1 BodyPart) | Mid-level-ontology.kif 9547-9547 | The number 1 argument of edema is a subclass of body part |
(domainSubclass ImpairedBodyPartFn 1 BodyPart) | Merge.kif 17945-17945 | The number 1 argument of ImpairedBodyPartFn is a subclass of body part |
(domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 11442-11442 | The number 1 argument of a %1 is connected to a 1 is a subclass of body part |
(domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 11443-11443 | The number 2 argument of a %1 is connected to a 2 is a subclass of body part |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |