| BodyPart | | 前立て, 鶏冠, 仮足, 偽足, 擬足, 虚足, 口裂, 繊毛, 鞭毛, 産卵管, くちばし, 喙, 嘴, 觜, くちばし, 嘴, 蝋膜, 鶏冠, 鞍部, 皮下組織, ダウン, 綿毛, 綿羽, 羽毛, 綿羽, 羽弁, 羽板, 刺, 水掻き, 前髪, 毛, 髪の毛, 刺, 棘, 鰭条, ... |
| appearance as argument number 1 |
|
|
| (documentation BodyPart ChineseLanguage "这是 Organism 某个特定部位而并非病理的 Cell 和 Tissue。这个 Class 的实例的范围包括复杂 Organ 的总体结构至小部分。") | Merge.kif 15044-15045 | |
| (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 15040-15043 | |
| (subclass BodyPart AnatomicalStructure) | Merge.kif 15039-15039 |
| appearance as argument number 2 |
|
|
| (partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) | Merge.kif 14999-14999 | |
| (subclass AnimalShell BodyPart) | Mid-level-ontology.kif 9747-9747 | |
| (subclass BodyCavity BodyPart) | Merge.kif 15182-15182 | |
| (subclass BodyCovering BodyPart) | Merge.kif 15153-15153 | |
| (subclass BodyJunction BodyPart) | Merge.kif 15169-15169 | |
| (subclass Bust BodyPart) | Mid-level-ontology.kif 10486-10486 | |
| (subclass Cell BodyPart) | Merge.kif 15194-15194 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 9310-9310 | |
| (subclass Chin BodyPart) | Mid-level-ontology.kif 10526-10526 | |
| (subclass DigitAppendage BodyPart) | Mid-level-ontology.kif 10202-10202 | |
| (subclass EggYolk BodyPart) | Food.kif 585-585 | |
| (subclass Exoskeleton BodyPart) | Mid-level-ontology.kif 9889-9889 | |
| (subclass Face BodyPart) | Mid-level-ontology.kif 10507-10507 | |
| (subclass Feather BodyPart) | Mid-level-ontology.kif 18023-18023 | |
| (subclass Foot BodyPart) | Mid-level-ontology.kif 10364-10364 | |
| (subclass Hand BodyPart) | Mid-level-ontology.kif 10190-10190 | |
| (subclass Head BodyPart) | Mid-level-ontology.kif 10490-10490 | |
| (subclass Hoof BodyPart) | Mid-level-ontology.kif 9698-9698 | |
| (subclass Hypothalamus BodyPart) | Mid-level-ontology.kif 10038-10038 | |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 10268-10268 | |
| (subclass Lip BodyPart) | Mid-level-ontology.kif 9809-9809 | |
| (subclass Mouth BodyPart) | Mid-level-ontology.kif 9662-9662 | |
| (subclass Neck BodyPart) | Mid-level-ontology.kif 10495-10495 | |
| (subclass Organ BodyPart) | Merge.kif 15199-15199 | |
| (subclass PlantBranch BodyPart) | Mid-level-ontology.kif 9081-9081 | |
| 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 27822-27822 |
| 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 28252-28262 | |
| (=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 15047-15053 | |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 15055-15060 |
| consequent |
|
|
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 11016-11022 | |
| (=> (and (instance ?P PerspiringWholeBody) (experiencer ?P ?A)) (not (exists (?B) (and (instance ?B BodyPart) (part ?B ?A) (not (destination ?P ?B)))))) |
emotion.kif 1474-1484 | |
| (=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 6134-6139 | |
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15160-15167 | |
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15174-15180 | |
| (=> (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 2577-2586 |
|
|
|