(=>     (instance ?CARRY Carrying)     (exists (?ANIMAL)         (and             (instance ?ANIMAL Animal)             (instrument ?CARRY ?ANIMAL))))	Merge.kif 11506-11511	If a process is an instance of carrying, then there exists an object such that the object is an instance of animal and the object is an instrument for the process
(=>     (instance ?CLOTHING Clothing)     (hasPurpose ?CLOTHING         (exists (?H ?P)             (and                 (instance ?H Animal)                 (part ?P ?H)                 (covers ?CLOTHING ?P)))))	Merge.kif 16075-16082	If a physical is an instance of clothing, 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 a part of the entity and the physical covers the other entity
(=>     (instance ?CONFINE Confining)     (exists (?AGENT)         (and             (instance ?AGENT Animal)             (patient ?CONFINE ?AGENT))))	Merge.kif 12340-12345	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 4878-4887	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 8647-8654	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 13042-13047	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 11573-11581	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 5232-5234	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 14006-14011	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 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 ?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 15022-15033	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 915-929	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 4649-4658	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 4641-4647	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 &eeds$"need"s 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 5354-5365	If an entity is an instance of animal product, 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 10584-10592	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 3572-3585	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 10502-10507	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 8158-8165	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 12993-12998	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 12322-12329	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 10916-10927	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 8985-8992	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 3619-3643	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
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