(=>
(instance ?X HumanCorpse)
(instance ?X
(DeadFn Human))) |
Mid-level-ontology.kif 92-94 |
If X is an instance of human corpse, then X is an instance of a dead human |
(=>
(and
(instance ?REM OrganismRemains)
(instance ?DEATH Death)
(experiencer ?DEATH ?ORG)
(instance ?ORG ?ORGTYPE)
(subclass ?ORGTYPE OrganicObject)
(result ?DEATH ?REM))
(instance ?REM
(DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 109-117 |
If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W |
(=>
(and
(instance ?H Harvesting)
(result ?H ?O))
(exists (?ORG)
(and
(instance ?O
(DeadFn ?ORG))
(subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 20018-20026 |
If X is an instance of harvesting and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of organic object |
(=>
(instance ?S Spice)
(exists (?P ?CLASS)
(and
(instance ?P
(DeadFn ?CLASS))
(part ?S ?P)
(subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4698-4705 |
If X is an instance of spice, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant anatomical structure |
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(exists (?R ?O)
(and
(instance ?R
(DeadFn ?ORG))
(part ?R ?O)
(instance ?O ?ORG)))) |
Economy.kif 5616-5625 |
If equal X and Object made from Y and X is a subclass of object, then there exist Z, W such that Z is an instance of a dead Y, Z is a part of W, and W is an instance of Y |
(=>
(and
(instance ?F Felling)
(result ?F ?S))
(exists (?STEM)
(and
(instance ?S
(DeadFn ?STEM))
(subclass ?STEM PlantStem)))) |
Economy.kif 5835-5843 |
If X is an instance of felling and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of plant stem |
(=>
(instance ?X FoodFromPlant)
(exists (?P ?CLASS)
(and
(instance ?P
(DeadFn ?CLASS))
(part ?X ?P)
(subclass ?CLASS Plant)))) |
Food.kif 299-306 |
If X is an instance of food from a plant, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant |
(=>
(instance ?M Meat)
(exists (?DA ?AC)
(and
(instance ?DA
(DeadFn ?AC))
(part ?M ?DA)
(subclass ?AC Animal)))) |
Food.kif 1922-1928 |
If X is an instance of meat, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of animal |
(=>
(instance ?S Seafood)
(exists (?DA ?F)
(and
(instance ?DA
(DeadFn ?F))
(part ?S ?DA)
(subclass ?F Fish)))) |
Food.kif 3412-3418 |
If X is an instance of seafood, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of fish |
(=>
(and
(instance ?REL SheddingPart)
(?REL ?O ?P)
(instance ?O ?ORG)
(subclass ?ORG Organism))
(exists (?PART)
(and
(instance ?P
(DeadFn ?PART))
(initialPart ?PART ?ORG)))) |
Geography.kif 8050-8059 |
If X is an instance of shedding part, X Y and Z, Y is an instance of W, and W is a subclass of organism, then there exists V such that Z is an instance of a dead V and every V is initially part of a W |
