Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass BodyPart AnatomicalStructure) | Merge.kif 15258-15258 | Body part is a subclass of anatomical structure |
| (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 15259-15262 | Body part is a subclass of anatomical structure |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 15264-15270 | If X is an instance of body part, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a component of Y holds during Z |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 15272-15277 | If X is an instance of body part, then there exists Y such that Y is an instance of physiologic process and X is a result of Y |
| (<=> (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 32812-32822 | X is an instance of body part, bare is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of clothing, and Z covers X holds during Y |
| (=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP))))) |
Medicine.kif 989-1000 | If X is an instance of local anesthetizing, X is located at Y, Y is an instance of body part, Y is a part of Z, and Z is a patient of X, then pain in the Y is not an attribute of Z holds during the time of existence of X |
| (=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely)) |
Medicine.kif 3659-3675 | If All of the following hold: (1) X is an instance of injecting (2) Y is an instance of adalimumab (3) the object transferred in X is Y (4) X is located at Z (5) Z is an instance of body part (6) X ends up at W, then the statement there exists V such that pain in the Z is an attribute of W holds during V and V takes place during after the time of existence of X has the modal force of likely |
| consequent |
|
|
| (=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))) |
Merge.kif 11362-11368 | If X is an instance of body motion and Y moves during X, then Y is an instance of body part and Y is a patient of X |
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15373-15380 | If X is an instance of body covering, then there exists Y such that X is a superficial part of Y and Y is an instance of organism or Y is an instance of body part |
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15386-15392 | If X is an instance of body junction, then there exist Y, Z such that Y is an instance of body part, Z is an instance of body part, X connects Y, and Z |
| (=> (instance ?PROC Excreting) (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 2717-2726 | If X is an instance of excreting, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of organism (3) Y is an agent of X (4) Z is a patient of X (5) Z is an instance of excrement (6) W is an instance of body part (7) W is an instrument for X |
| (=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 7534-7539 | If X is an instance of atrophy, then there exists Y such that Y experiences X and Y is an instance of body part |
| (=> (instance ?U Ulcer) (exists (?H ?BP) (and (instance ?H HoleRegion) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U)))) |
Mid-level-ontology.kif 10916-10923 | If X is an instance of ulcer, then there exist Y, Z such that Y is an instance of hole, Z is an instance of body part, equal Z, the host of the hole Y, and Z is a part of X |
| (=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E)))) |
Mid-level-ontology.kif 11409-11421 | If X is an instance of swelling and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) V is an instance of liquid (4) W is an instance of body part (5) W is a part of Y (6) Z ends up at W (7) V moves during Z (8) Z is a subprocess of X |
| (=> (and (instance ?E (EdemaFn ?P)) (experiencer ?E ?A)) (exists (?PI) (and (instance ?PI BodyPart) (part ?PI ?A) (located ?E ?PI)))) |
Mid-level-ontology.kif 11431-11439 | If X is an instance of edema in Y and Z experiences X, then there exists W such that W is an instance of body part, W is a part of Z, and X is located at W |
| (=> (attribute ?D Dorsal) (exists (?O) (and (or (instance ?O Organism) (instance ?O BodyPart)) (not (and (instance ?O Organism) (instance ?O BodyPart))) (part ?D ?O) (equal ?B (BackFn ?O)) (meetsSpatially ?B ?D)))) |
Anatomy.kif 1994-2008 | If dorsal is an attribute of X, then there exists Y such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the back of Y and Z meets X |
| (=> (attribute ?V Ventral) (exists (?O ?F) (and (or (instance ?O Organism) (instance ?O BodyPart)) (not (and (instance ?O Organism) (instance ?O BodyPart))) (part ?V ?O) (equal ?F (FrontFn ?O)) (meetsSpatially ?F ?V)))) |
Anatomy.kif 2015-2029 | If ventral is an attribute of X, then there exist Y and Z such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the front of Y and Z meets X |
| (=> (instance ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2037-2052 | If X is an instance of abducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X |
| (=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2061-2077 | If X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X |
| (=> (instance ?DEVICE BodyCareAppliance) (hasPurpose ?DEVICE (exists (?PROC ?PATIENT) (and (instance ?PROC Process) (instrument ?PROC ?DEVICE) (patient ?PROC ?PATIENT) (or (instance ?PATIENT Human) (instance ?PATIENT BodyPart)))))) |
HouseholdAppliances.kif 95-105 | If X is an instance of body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, X is an instrument for Y, Z is a patient of Y, and Z is an instance of human or Z is an instance of body part |
| (=> (and (instance ?P PerspiringWholeBody) (experiencer ?P ?A)) (not (exists (?B) (and (instance ?B BodyPart) (part ?B ?A) (not (destination ?P ?B)))))) |
emotion.kif 2360-2370 | If X is an instance of perspiring (whole body) and Y experiences X, then there doesn't exist Z such that Z is an instance of body part, Z is a part of Y, and X doesn't end up at Z |
|