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 14950-14953 | |
(subclass BodyPart AnatomicalStructure) | Merge.kif 14949-14949 | 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 12409-12409 | The number 1 argument of inflammation is an instance of body part |
(domain PainFn 1 BodyPart) | Mid-level-ontology.kif 6350-6350 | The number 1 argument of pain is an instance of body part |
(domain ParalysisFn 1 BodyPart) | Mid-level-ontology.kif 6323-6323 | The number 1 argument of paralysis is an instance of body part |
(domain bodyAngle 1 BodyPart) | Mid-level-ontology.kif 10703-10703 | The number 1 argument of body angle is an instance of body part |
(domain bodyAngle 2 BodyPart) | Mid-level-ontology.kif 10704-10704 | The number 2 argument of body angle is an instance of body part |
(domain sheddingBodyPart 2 BodyPart) | Geography.kif 6449-6449 | The number 2 argument of shedding body part is an instance of body part |
(domainSubclass BodyAreaFn 1 BodyPart) | Medicine.kif 6234-6234 | The number 1 argument of BodyAreaFn is a subclass of body part |
(domainSubclass BodySideFn 2 BodyPart) | Merge.kif 14972-14972 | The number 2 argument of Body side fn is a subclass of body part |
(domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 29725-29725 | The number 1 argument of Covering fn is a subclass of body part |
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) | Merge.kif 18239-18239 | The number 1 argument of dead or missing body part fn is a subclass of body part |
(domainSubclass EdemaFn 1 BodyPart) | Mid-level-ontology.kif 9979-9979 | The number 1 argument of edema is a subclass of body part |
(domainSubclass ImpairedBodyPartFn 1 BodyPart) | Merge.kif 18218-18218 | The number 1 argument of impaired body part fn is a subclass of body part |
(domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 11962-11962 | The number 1 argument of connected is a subclass of body part |
(domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 11963-11963 | The number 2 argument of connected is a subclass of body part |
(domainSubclass connectedBodyPartTypes 1 BodyPart) | Anatomy.kif 27-27 | The number 1 argument of connectedBodyPartTypes is a subclass of body part |
(domainSubclass connectedBodyPartTypes 2 BodyPart) | Anatomy.kif 28-28 | The number 2 argument of connectedBodyPartTypes is a subclass of body part |
(domainSubclass muscleInsertion 2 BodyPart) | Anatomy.kif 1737-1737 | The number 2 argument of muscle insertion is a subclass of body part |
(domainSubclass muscleOrigin 2 BodyPart) | Anatomy.kif 1687-1687 | The number 2 argument of muscle origin is a subclass of body part |
(domainSubclass suppliesBlood 2 BodyPart) | Anatomy.kif 1945-1945 | The number 2 argument of suppliesBlood is a subclass of body part |
antecedent |
consequent |