| 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 13903-13906 | |
| (subclass BodyPart AnatomicalStructure) | Merge.kif 13902-13902 |
| appearance as argument number 2 |
|
|
| (partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) | Merge.kif 13867-13867 | |
| (subclass AnimalShell BodyPart) | Mid-level-ontology.kif 9744-9744 | |
| (subclass BodyCavity BodyPart) | Merge.kif 14024-14024 | |
| (subclass BodyCovering BodyPart) | Merge.kif 13998-13998 | |
| (subclass BodyJunction BodyPart) | Merge.kif 14012-14012 | |
| (subclass Bust BodyPart) | Mid-level-ontology.kif 10514-10514 | |
| (subclass Cell BodyPart) | Merge.kif 14032-14032 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 9292-9292 | |
| (subclass Chin BodyPart) | Mid-level-ontology.kif 10554-10554 | |
| (subclass DigitAppendage BodyPart) | Mid-level-ontology.kif 10200-10200 | |
| (subclass EggYolk BodyPart) | Food.kif 540-540 | |
| (subclass Exoskeleton BodyPart) | Mid-level-ontology.kif 9886-9886 | |
| (subclass Face BodyPart) | Mid-level-ontology.kif 10535-10535 | |
| (subclass Feather BodyPart) | Mid-level-ontology.kif 18108-18108 | |
| (subclass Foot BodyPart) | Mid-level-ontology.kif 10377-10377 | |
| (subclass Hand BodyPart) | Mid-level-ontology.kif 10188-10188 | |
| (subclass Head BodyPart) | Mid-level-ontology.kif 10518-10518 | |
| (subclass Hoof BodyPart) | Mid-level-ontology.kif 9695-9695 | |
| (subclass Hypothalamus BodyPart) | Mid-level-ontology.kif 10035-10035 | |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 10266-10266 | |
| (subclass Lip BodyPart) | Mid-level-ontology.kif 9806-9806 | |
| (subclass Mouth BodyPart) | Mid-level-ontology.kif 9659-9659 | |
| (subclass Neck BodyPart) | Mid-level-ontology.kif 10523-10523 | |
| (subclass Organ BodyPart) | Merge.kif 14036-14036 | |
| (subclass PlantBranch BodyPart) | Mid-level-ontology.kif 9063-9063 | |
| 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 27933-27933 |
| 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 28362-28372 | |
| (=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 13908-13914 | |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 13916-13921 |
| consequent |
|
|
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 10381-10387 | |
| (=> (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 14003-14010 | |
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 14016-14022 | |
| (=> (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 |
|
|
|