consequent

(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (exists (?R ?O)         (and             (instance ?R                 (DeadFn ?ORG))             (part ?R ?O)             (instance ?O ?ORG))))	Economy.kif 5603-5612	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of object, then there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
(=>     (and         (instance ?F Felling)         (result ?F ?S))     (exists (?STEM)         (and             (instance ?S                 (DeadFn ?STEM))             (subclass ?STEM PlantStem))))	Economy.kif 5822-5830	If a process is an instance of felling and an entity is a result of the process, then there exists the entityTEM such that the entity is an instance of a dead the entityTEM and the entityTEM is a subclass of plant stem
(=>     (and         (instance ?H Harvesting)         (result ?H ?O))     (exists (?ORG)         (and             (instance ?O                 (DeadFn ?ORG))             (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 19809-19817	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
(=>     (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 8027-8036	If an entity is an instance of shedding part and the entity another entity and a third entity and the other entity is an instance of the other entityRG and the other entityRG is a subclass of organism, then there exists the third entityART such that the third entity is an instance of a dead the third entityART and every the third entityART is initially part of a the other entityRG
(=>     (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 122-130	If an entity is an instance of organism remains and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agentTYPE is a subclass of organic object and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
(=>     (instance ?M Meat)     (exists (?DA ?AC)         (and             (instance ?DA                 (DeadFn ?AC))             (part ?M ?DA)             (subclass ?AC Animal))))	Food.kif 1915-1921	If an object is an instance of meat, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of animal
(=>     (instance ?S Seafood)     (exists (?DA ?F)         (and             (instance ?DA                 (DeadFn ?F))             (part ?S ?DA)             (subclass ?F Fish))))	Food.kif 3386-3392	If an object is an instance of seafood, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of fish
(=>     (instance ?S Spice)     (exists (?P ?CLASS)         (and             (instance ?P                 (DeadFn ?CLASS))             (part ?S ?P)             (subclass ?CLASS PlantAnatomicalStructure))))	Economy.kif 4698-4705	If an object is an instance of spice, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant anatomical structure
(=>     (instance ?X FoodFromPlant)     (exists (?P ?CLASS)         (and             (instance ?P                 (DeadFn ?CLASS))             (part ?X ?P)             (subclass ?CLASS Plant))))	Food.kif 299-306	If an object is an instance of food from a plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant
(=>     (instance ?X HumanCorpse)     (instance ?X         (DeadFn Human)))	Mid-level-ontology.kif 105-107	If an entity is an instance of human corpse, then the entity is an instance of a dead human

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners