(=>
(instance ?PART BodyPart)
(exists (?PROC)
(and
(instance ?PROC PhysiologicProcess)
(result ?PROC ?PART)))) |
Merge.kif 15138-15143 |
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 |
(=>
(instance ?X Excrement)
(exists (?PROC ?ORG)
(and
(instance ?ORG Organism)
(instance ?PROC PhysiologicProcess)
(result ?PROC ?X)
(agent ?PROC ?ORG)))) |
Mid-level-ontology.kif 2548-2555 |
If X is an instance of excrement, then there exist Y, Z such that Z is an instance of organism, Y is an instance of physiologic process, X is a result of Y, and Z is an agent of Y |
(=>
(instance ?X Feces)
(exists (?PROC ?INT)
(and
(instance ?PROC PhysiologicProcess)
(instrument ?PROC ?INT)
(instance ?INT Intestine)
(result ?PROC ?X)))) |
Mid-level-ontology.kif 2566-2573 |
If X is an instance of feces, then there exist Y, Z such that Y is an instance of physiologic process, Z is an instrument for Y, Z is an instance of intestine, and X is a result of Y |
(=>
(instance ?X Urine)
(exists (?PROC ?KIDNEY)
(and
(instance ?PROC PhysiologicProcess)
(instrument ?PROC ?KIDNEY)
(instance ?KIDNEY Kidney)
(result ?PROC ?X)))) |
Mid-level-ontology.kif 2584-2591 |
If X is an instance of urine, then there exist Y, Z such that Y is an instance of physiologic process, Z is an instrument for Y, Z is an instance of kidney, and X is a result of Y |
(=>
(instance ?H Honey)
(exists (?P ?B)
(and
(instance ?P PhysiologicProcess)
(agent ?P ?B)
(instance ?B Bee)
(result ?P ?H)))) |
Mid-level-ontology.kif 24001-24008 |
If X is an instance of honey, then there exist Y, Z such that Y is an instance of physiologic process, Z is an agent of Y, Z is an instance of bee, and X is a result of Y |
