(=>     (instance ?GROUP GroupOfAnimals)     (forall (?MEMBER)         (=>             (member ?MEMBER ?GROUP)             (and                 (instance ?MEMBER Animal)                 (not                     (instance ?MEMBER Human))))))	Mid-level-ontology.kif 7160-7167	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 12667-12672	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 11277-11285	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 4368-4370	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 12140-12145	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 237-243	If an object is an instance of meat, then there exist another object and a kind of organism such that the other object is an instance of a dead a kind of organism and the object is a part of the other object and the kind of organism 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 14620-14631	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 ?P Pill)     (hasPurpose ?P         (exists (?A ?I)             (and                 (instance ?A Animal)                 (instance ?I Ingesting)                 (experiencer ?I ?A)                 (objectTransferred ?I ?P)))))	Mid-level-ontology.kif 8870-8878	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 3513-3526	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 10290-10295	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 6661-6668	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 11147-11152	If an object is an instance of skeleton, then there exists an entity such that the entity is an instance of animal and the object is a interior part of the entity
(=>     (instance ?SH SafetyHarness)     (hasPurpose ?SH         (=>             (and                 (instance ?PERSON Animal)                 (wears ?PERSON ?SH))             (exists (?PROC ?INJ)                 (and                     (instance ?PROC Process)                     (instrument ?PROC ?SH)                     (patient ?PROC ?PERSON)                     (subclass ?INJ                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (exists (?F ?H)                                     (and                                         (instance ?H Human)                                         (experiencer ?I ?H)                                         (instance ?F Falling)                                         (experiencer ?F ?H)                                         (causes ?F ?I)))                                 (=>                                     (holdsDuring ?T                                         (experiencer ?I ?PERSON))                                     (not                                         (holdsDuring ?T                                             (patient ?PROC ?PERSON)))))))                     (prevents ?PROC ?INJ))))))	Cars.kif 3389-3418	If a physical is an instance of safety harness, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, then there exist another entity and a third entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity
(=>     (instance ?SKIN Skin)     (exists (?SURFACE ?ANIMAL)         (and             (surface ?SURFACE ?ANIMAL)             (part ?SKIN ?ANIMAL)             (instance ?ANIMAL Animal)             (overlapsSpatially ?SKIN ?SURFACE))))	Mid-level-ontology.kif 10498-10505	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 is 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 9187-9198	If an entity is an instance of PlantSpinoseStructure, 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 7491-7498	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 3562-3586	If a physical is an instance of SafetyVest, 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 11929-11938	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
(=>     (instance ?X Exoskeleton)     (exists (?A)         (and             (instance ?A Animal)             (part ?X ?A)             (not                 (exists (?PART)                     (and                         (properPart ?PART ?A)                         (orientation ?PART ?X Outside)))))))	Mid-level-ontology.kif 11176-11186	If an object is an instance of exoskeleton, 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 and there doesn't exist a third object such that the third object is a proper part of the other object and the third object is outside to the object
(=>     (instance ?X Respirator)     (hasPurpose ?X         (=>             (and                 (instance ?PERSON Animal)                 (wears ?PERSON ?X))             (exists (?INHAL ?INJ ?PROTECT)                 (and                     (instance ?PROTECT Process)                     (instrument ?PROTECT ?X)                     (prevents ?PROTECT ?INJ)                     (subclass ?INJ                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (exists (?H)                                     (and                                         (instance ?H Human)                                         (patient ?I ?H)                                         (instance ?INHAL Inhaling)                                         (agent ?INHAL ?H)                                         (causes ?I ?INHAL)))))))))))	Cars.kif 3533-3555	If a physical is an instance of respirator, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, then there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of process and the physical is an instrument for the fourth entity and the fourth entity prevents the occurrence of the third entity and the third entity is a subclass of the class described by a fifth entity

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