|
|
   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 13938-13941 | |
| (subclass BodyPart AnatomicalStructure) | Merge.kif 13937-13937 |
| appearance as argument number 2 |
|
|
| (partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) | Merge.kif 13902-13902 | |
| (subclass AnimalShell BodyPart) | Mid-level-ontology.kif 8891-8891 | |
| (subclass BodyCavity BodyPart) | Merge.kif 14059-14059 | |
| (subclass BodyCovering BodyPart) | Merge.kif 14033-14033 | |
| (subclass BodyJunction BodyPart) | Merge.kif 14047-14047 | |
| (subclass Bust BodyPart) | Mid-level-ontology.kif 9673-9673 | |
| (subclass Cell BodyPart) | Merge.kif 14067-14067 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 8450-8450 | |
| (subclass Chin BodyPart) | Mid-level-ontology.kif 9713-9713 | |
| (subclass DigitAppendage BodyPart) | Mid-level-ontology.kif 9352-9352 | |
| (subclass EggYolk BodyPart) | Food.kif 540-540 | |
| (subclass Exoskeleton BodyPart) | Mid-level-ontology.kif 9035-9035 | |
| (subclass Face BodyPart) | Mid-level-ontology.kif 9694-9694 | |
| (subclass Feather BodyPart) | Mid-level-ontology.kif 16832-16832 | |
| (subclass Foot BodyPart) | Mid-level-ontology.kif 9531-9531 | |
| (subclass Hand BodyPart) | Mid-level-ontology.kif 9340-9340 | |
| (subclass Head BodyPart) | Mid-level-ontology.kif 9677-9677 | |
| (subclass Hoof BodyPart) | Mid-level-ontology.kif 8841-8841 | |
| (subclass Hypothalamus BodyPart) | Mid-level-ontology.kif 9186-9186 | |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 9420-9420 | |
| (subclass Lip BodyPart) | Mid-level-ontology.kif 8954-8954 | |
| (subclass Mouth BodyPart) | Mid-level-ontology.kif 8805-8805 | |
| (subclass Neck BodyPart) | Mid-level-ontology.kif 9682-9682 | |
| (subclass Organ BodyPart) | Merge.kif 14071-14071 | |
| (subclass PlantBranch BodyPart) | Mid-level-ontology.kif 8213-8213 | |
| 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 25959-25959 |
| 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 26401-26411 | |
| (=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 13943-13949 | |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 13951-13956 |
| consequent |
|
|
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 10416-10422 | |
| (=> (and (instance ?P PerspiringWholeBody) (experiencer ?P ?A)) (not (exists (?B) (and (instance ?B BodyPart) (part ?B ?A) (not (destination ?P ?B)))))) |
emotion.kif 1486-1496 | |
| (=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 5541-5546 | |
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 14038-14045 | |
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 14051-14057 | |
| (=> (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 2054-2063 |
|
|
|