BodyPart | ![]() |
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 13923-13926 | |
(subclass BodyPart AnatomicalStructure) | Merge.kif 13922-13922 |
appearance as argument number 2 |
![]() |
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) | Merge.kif 13887-13887 | |
(subclass AnimalShell BodyPart) | Mid-level-ontology.kif 9746-9746 | |
(subclass BodyCavity BodyPart) | Merge.kif 14044-14044 | |
(subclass BodyCovering BodyPart) | Merge.kif 14018-14018 | |
(subclass BodyJunction BodyPart) | Merge.kif 14032-14032 | |
(subclass Bust BodyPart) | Mid-level-ontology.kif 10516-10516 | |
(subclass Cell BodyPart) | Merge.kif 14052-14052 | |
(subclass CellPart BodyPart) | Mid-level-ontology.kif 9294-9294 | |
(subclass Chin BodyPart) | Mid-level-ontology.kif 10556-10556 | |
(subclass DigitAppendage BodyPart) | Mid-level-ontology.kif 10202-10202 | |
(subclass EggYolk BodyPart) | Food.kif 540-540 | |
(subclass Exoskeleton BodyPart) | Mid-level-ontology.kif 9888-9888 | |
(subclass Face BodyPart) | Mid-level-ontology.kif 10537-10537 | |
(subclass Feather BodyPart) | Mid-level-ontology.kif 18113-18113 | |
(subclass Foot BodyPart) | Mid-level-ontology.kif 10379-10379 | |
(subclass Hand BodyPart) | Mid-level-ontology.kif 10190-10190 | |
(subclass Head BodyPart) | Mid-level-ontology.kif 10520-10520 | |
(subclass Hoof BodyPart) | Mid-level-ontology.kif 9697-9697 | |
(subclass Hypothalamus BodyPart) | Mid-level-ontology.kif 10037-10037 | |
(subclass Limb BodyPart) | Mid-level-ontology.kif 10268-10268 | |
(subclass Lip BodyPart) | Mid-level-ontology.kif 9808-9808 | |
(subclass Mouth BodyPart) | Mid-level-ontology.kif 9661-9661 | |
(subclass Neck BodyPart) | Mid-level-ontology.kif 10525-10525 | |
(subclass Organ BodyPart) | Merge.kif 14056-14056 | |
(subclass PlantBranch BodyPart) | Mid-level-ontology.kif 9065-9065 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
(domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 27941-27941 |
antecedent |
![]() |
(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B)))))) |
Mid-level-ontology.kif 28370-28380 | |
(=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 13928-13934 | |
(=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 13936-13941 |
consequent |
![]() |
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 10401-10407 | |
(=> (and (instance ?P PerspiringWholeBody) (experiencer ?P ?A)) (not (exists (?B) (and (instance ?B BodyPart) (part ?B ?A) (not (destination ?P ?B)))))) |
emotion.kif 1480-1490 | |
(=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 6140-6145 | |
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 14023-14030 | |
(=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 14036-14042 | |
(=> (instance ?PROC Excretion) (exists (?ORG ?WASTE ?PART) (and (instance ?ORG Organism) (agent ?PROC ?ORG) (patient ?PROC ?WASTE) (instance ?WASTE Excrement) (instance ?PART BodyPart) (instrument ?PROC ?PART)))) |
Mid-level-ontology.kif 2578-2587 |
![]() |
![]() |