(=>     (instance ?CONFINE Confining)     (exists (?AGENT)         (and             (instance ?AGENT Animal)             (patient ?CONFINE ?AGENT))))	Merge.kif 12227-12232	If a process is an instance of confining, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process
(=>     (instance ?D Dish)     (hasPurpose ?D         (exists (?F ?E)             (and                 (instance ?E Eating)                 (patient ?E ?F)                 (patient ?E ?D)                 (instance ?F                     (FoodForFn Animal))                 (located ?F ?D)))))	Mid-level-ontology.kif 4433-4442	If a physical is an instance of dish, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
(=>     (instance ?FD FoodDistributionOperation)     (exists (?FOOD ?CA)         (and             (instance ?FOOD                 (FoodForFn Animal))             (instance ?CA CognitiveAgent)             (patient ?FD ?FOOD)             (destination ?FD ?CA)             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?FD))                 (possesses ?CA ?FOOD)))))	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
(=>     (instance ?GROUP GroupOfAnimals)     (forall (?MEMBER)         (=>             (member ?MEMBER ?GROUP)             (and                 (instance ?MEMBER Animal)                 (not                     (instance ?MEMBER Human))))))	Mid-level-ontology.kif 7479-7486	If a collection is an instance of group of animals, then for all a physical if the physical is a member of the collection, then the physical is an instance of animal and the physical is not an instance of human
(=>     (instance ?H Hunting)     (exists (?T)         (and             (instance ?T Animal)             (patient ?H ?T))))	Merge.kif 12925-12930	If a process is an instance of hunting, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process
(=>     (instance ?INJECT Injecting)     (exists (?SUBSTANCE ?ANIMAL)         (and             (patient ?INJECT ?SUBSTANCE)             (instance ?SUBSTANCE BiologicallyActiveSubstance)             (attribute ?SUBSTANCE Liquid)             (destination ?INJECT ?ANIMAL)             (instance ?ANIMAL Animal))))	Merge.kif 11460-11468	If a process is an instance of injecting, then there exist an object and an entity such that the object is a patient of the process and the object is an instance of biologically active substance and liquid is an attribute of the object and the process ends up at the entity and the entity is an instance of animal
(=>     (instance ?ITEM Livestock)     (instance ?ITEM Animal))	Economy.kif 4892-4894	If an entity is an instance of livestock, then the entity is an instance of animal
(=>     (instance ?LEG Leg)     (exists (?ANIMAL)         (and             (instance ?ANIMAL Animal)             (part ?LEG ?ANIMAL))))	Mid-level-ontology.kif 12674-12679	If an object is an instance of leg, then there exists another object such that the other object is an instance of animal and the object is a part of the other object
(=>     (instance ?M Meat)     (exists (?DA ?AC)         (and             (instance ?DA                 (DeadFn ?AC))             (part ?M ?DA)             (subclass ?AC Animal))))	Food.kif 1909-1915	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 ?MEAT Meat)     (forall (?PART)         (=>             (part ?PART ?MEAT)             (exists (?SUBPART ?TIME ?ANIMAL)                 (and                     (part ?SUBPART ?PART)                     (holdsDuring ?TIME                         (and                             (instance ?ANIMAL Animal)                             (part ?SUBPART ?ANIMAL))))))))	Merge.kif 14906-14917	If an object is an instance of meat, then for all another object if the other object is a part of the object, then there exist a third object, a time position and an entity such that the third object is a part of the other object and the entity is an instance of animal and the third object is a part of the entity holds during the time position
(=>     (instance ?N Needle)     (hasPurpose ?N         (exists (?H ?TP ?F ?RI)             (and                 (instance ?H Animal)                 (instance ?TP TherapeuticProcss)                 (attribute ?F Fluid)                 (patient ?TP ?H)                 (instrument ?TP ?N)                 (or                     (instance ?RI Removing)                     (instance ?RI Inserting))                 (subProcess ?RI ?TP)                 (objectTransferred ?RI ?F)))))	Medicine.kif 924-938	If a physical is an instance of needle, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity
(=>     (instance ?OT OrganTransplant)     (exists (?H ?O ?P)         (and             (instance ?H Animal)             (instance ?O Organ)             (instance ?P Putting)             (subProcess ?P ?OT)             (objectTransferred ?P ?O)             (destination ?P ?H))))	Medicine.kif 4642-4651	If a process is an instance of transplant, then there exist an entity, an object and a transfer such that the entity is an instance of animal and the object is an instance of organ and the transfer is an instance of putting and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the transfer ends up at the entity
(=>     (instance ?OT OrganTransplant)     (exists (?H ?O)         (and             (instance ?H Animal)             (instance ?O Organ)             (needs ?H ?O))))	Medicine.kif 4634-4640	If an entity is an instance of transplant, then there exist a cognitive agent and a physical such that the cognitive agent is an instance of animal and the physical is an instance of organ and the cognitive agent needs the physical
(=>     (instance ?P AnimalProduct)     (exists (?M ?A ?B)         (and             (instance ?M Manufacture)             (result ?M ?P)             (patient ?M ?A)             (or                 (instance ?A Animal)                 (and                     (part ?B ?A)                     (instance ?B AnatomicalStructure))))))	Economy.kif 5013-5024	If an entity is an instance of AnimalProduct, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of animal or the other object is a part of the object and the other object is an instance of anatomical structure
(=>     (instance ?P Pill)     (hasPurpose ?P         (exists (?A ?I)             (and                 (instance ?A Animal)                 (instance ?I Ingesting)                 (experiencer ?I ?A)                 (objectTransferred ?I ?P)))))	Mid-level-ontology.kif 9254-9262	If a physical is an instance of pill, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of ingesting and the entity experiences the other entity and the object transferred in the other entity is the physical
(=>     (instance ?PE ProtectiveEyewear)     (hasPurpose ?PE         (exists (?PERSON ?FACE ?EYE ?COVER)             (and                 (instance ?PERSON Animal)                 (instance ?FACE Face)                 (instance ?EYE Eye)                 (properPart ?EYE ?FACE)                 (properPart ?FACE ?PERSON)                 (wears ?PERSON ?PE)                 (instance ?COVER Covering)                 (agent ?COVER ?PE)                 (patient ?COVER ?FACE)))))	Cars.kif 3519-3532	If a physical is an instance of protective eyewear, then the physical has the purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON wears the physical and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity
(=>     (instance ?PROCESS PsychologicalProcess)     (exists (?ANIMAL)         (and             (instance ?ANIMAL Animal)             (experiencer ?PROCESS ?ANIMAL))))	Merge.kif 10399-10404	If a process is an instance of psychological process, then there exists an agent such that the agent is an instance of animal and the agent experiences the process
(=>     (instance ?RESIDENCE AnimalResidence)     (hasPurpose ?RESIDENCE         (exists (?ANIMAL)             (and                 (instance ?ANIMAL Animal)                 (not                     (instance ?ANIMAL Human))                 (inhabits ?ANIMAL ?RESIDENCE)))))	Mid-level-ontology.kif 6996-7003	If a physical is an instance of animal residence, then the physical has the purpose there exists an entity such that the entity is an instance of animal and the entity is not an instance of human and the entity lives in the physical
(=>     (instance ?S Skeleton)     (exists (?A)         (and             (instance ?A Animal)             (interiorPart ?S ?A))))	Mid-level-ontology.kif 11661-11666	If an object is an instance of skeleton, then there exists another object such that the other object is an instance of animal and the object is a interior part of the other object
(=>     (instance ?SKIN Skin)     (exists (?SURFACE ?ANIMAL)         (and             (surface ?SURFACE ?ANIMAL)             (part ?SKIN ?ANIMAL)             (instance ?ANIMAL Animal)             (overlapsSpatially ?SKIN ?SURFACE))))	Mid-level-ontology.kif 10990-10997	If an object is an instance of skin, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the object is a part of the other self connected object and the other self connected object is an instance of animal and the object and the self connected object overlapsSpatially
(=>     (instance ?SPINE PlantSpinoseStructure)     (modalAttribute         (exists (?I ?P ?A)             (and                 (instance ?I Inserting)                 (instrument ?I ?SPINE)                 (instance ?A Animal)                 (patient ?I ?A)                 (causes ?I ?P)                 (instance ?P Pain)                 (experiencer ?P ?A))) Possibility))	Mid-level-ontology.kif 9586-9597	If an entity is an instance of plant spinose structure, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of inserting and the entity is an instrument for the other entity and the fourth entity is an instance of animal and the fourth entity is a patient of the other entity and the other entity causes the third entity and the third entity is an instance of pain and the fourth entity experiences the third entity has the modal force of possibility
(=>     (instance ?STORE GroceryStore)     (exists (?SELL ?FOOD)         (and             (instance ?SELL Selling)             (agent ?SELL ?STORE)             (patient ?SELL ?FOOD)             (instance ?FOOD                 (FoodForFn Animal)))))	Mid-level-ontology.kif 7817-7824	If an agent is an instance of grocery store, then there exist a process and an entity such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of food for animal
(=>     (instance ?SV SafetyVest)     (hasPurpose ?SV         (exists (?PERSON ?SPECTATOR)             (and                 (instance ?PERSON Animal)                 (instance ?SPECTATOR Human)                 (increasesLikelihood                     (wears ?PERSON ?SV)                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR))))                 (decreasesLikelihood                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR)))                     (exists (?INJ)                         (and                             (instance ?INJ Injuring)                             (agent ?INJ ?SPECTATOR)                             (patient ?INJ ?PERSON))))))))	Cars.kif 3566-3590	If a physical is an instance of safety vest, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity wears the physical increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
(=>     (instance ?T MilitaryFoodTruck)     (capability         (KappaFn ?P             (and                 (instance ?P Transportation)                 (instance ?F                     (FoodForFn Animal))                 (patient ?P ?F))) instrument ?T))	Military.kif 210-218	If an object is an instance of military food truck, then the object is capable of doing the class described by a symbolic string as a instrument
(=>     (instance ?TA TopicalApplication)     (exists (?M ?A ?S)         (and             (instance ?M Medicine)             (instance ?A Animal)             (instance ?S Skin)             (part ?S ?A)             (objectTransferred ?TA ?M)             (destination ?M ?S))))	Mid-level-ontology.kif 12447-12456	If a transfer is an instance of topical application, then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the object ends up at the third object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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