(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA1)))     (exists (?AREA2)         (and             (instance ?AREA2 GeopoliticalArea)             (not                 (geopoliticalSubdivision ?AREA1 ?AREA2))             (not                 (geopoliticalSubdivision ?AREA2 ?AREA1))             (holdsDuring                 (EndFn                     (WhenFn ?EXPORT))                 (located ?ITEM ?AREA2)))))	Economy.kif 2432-2445	If a process is an instance of exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (instance ?AREA2 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA1))         (holdsDuring             (EndFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA2)))     (not         (located ?AREA2 ?AREA1)))	Economy.kif 2456-2466	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and a physical is an instance of geopolitical area and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is located at the physical holds during the end of the time of existence of the process, then the physical is not located at the object
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (origin ?EXPORT ?AREA1)         (instance ?AREA2 GeopoliticalArea)         (destination ?EXPORT ?AREA2))     (not         (located ?AREA2 ?AREA1)))	Economy.kif 2478-2486	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and the process originates at the object and a physical is an instance of geopolitical area and the process ends up at the physical, then the physical is not located at the object
(=>     (and         (instance ?FARMING Farming)         (agent ?FARMING ?FARMER))     (exists (?FARM)         (and             (instance ?FARM Farm)             (holdsDuring                 (WhenFn ?FARMING)                 (located ?FARMER ?FARM)))))	Mid-level-ontology.kif 20506-20513	If a process is an instance of farming and an agent is an agent of the process, then there exists an entity such that the entity is an instance of farm and the agent is located at the entity holds during the time of existence of the process
(=>     (and         (instance ?FID ForeignInternalDefense)         (agent ?FID ?MIL)         (experiencer ?FID ?HN))     (hasPurpose ?FID         (exists (?ORG ?LEARNING)             (and                 (instance ?LEARNING Learning)                 (experiencer ?LEARNING ?ORG)                 (agent ?LEARNING ?MIL)                 (or                     (militaryOfArea ?ORG ?HN)                     (and                         (instance ?ORG MilitaryForce)                         (located ?ORG ?HN)))))))	MilitaryProcesses.kif 1960-1975	If a process is an instance of foreign internal defense and an agent is an agent of the process and another agent experiences the process, then the process has the purpose there exist an entity and another entity such that the other entity is an instance of learning and the entity experiences the other entity and the agent is an agent of the other entity and the other agent is a military of area of the entity or the entity is an instance of military force and the entity is located at the other agent
(=>     (and         (instance ?FLYING Flying)         (patient ?FLYING ?ALM)         (instance ?ALM AirLaunchMissile))     (exists (?REGION)         (and             (instance ?REGION AtmosphericRegion)             (holdsDuring                 (BeginFn                     (WhenFn ?FLYING))                 (located ?ALM ?REGION)))))	MilitaryDevices.kif 944-955	If a process is an instance of flying and an entity is a patient of the process and the entity is an instance of air launch missile, then there exists another entity such that the other entity is an instance of atmospheric region and the entity is located at the other entity holds during the beginning of the time of existence of the process
(=>     (and         (instance ?G Gene)         (located ?G ?C)         (instance ?C Cell))     (exists (?B ?N ?R)         (and             (instance ?B BiologicalProcess)             (eventLocated ?B ?C)             (origin ?B ?G)             (result ?B ?N)             (instance ?N Nucleotide)             (part ?N ?R)             (instance ?R RNAMolecule)             (located ?R ?C))))	VirusProteinAndCellPart.kif 654-668	If an object is an instance of gene and the object is located at another object and the other object is an instance of cell, then there exist a process, a third object and a fourth object such that the process is an instance of biological process and the process is located at the other object and the process originates at the object and the third object is a result of the process and the third object is an instance of Nucleotide and the third object is a part of the fourth object and the fourth object is an instance of RNA molecule and the fourth object is located at the other object
(=>     (and         (instance ?GOAL GameGoal)         (instrument ?GAME ?GOAL)         (instance ?GAME Game)         (subProcess ?SCORE ?GAME)         (instance ?SCORE Score))     (exists (?PIECE ?TIME)         (and             (instance ?PIECE GamePiece)             (patient ?SCORE ?PIECE)             (temporalPart ?TIME                 (WhenFn ?SCORE))             (holdsDuring ?TIME                 (located ?PIECE ?GOAL)))))	Mid-level-ontology.kif 17050-17062	If an object is an instance of game goal and the object is an instrument for a process and the process is an instance of game and another process is a subprocess of the process and the other process is an instance of score, then there exist an entity and a time position such that the entity is an instance of game piece and the entity is a patient of the other process and the time position is a part of the time of existence of the other process and the entity is located at the object holds during the time position
(=>     (and         (instance ?I Itching)         (located ?I ?P)         (part ?P ?H)         (experiencer ?I ?H))     (desires ?H         (exists (?S)             (and                 (instance ?S Scratching)                 (during                     (WhenFn ?S)                     (WhenFn ?I))                 (located ?S ?P)))))	Mid-level-ontology.kif 5724-5735	If a process is an instance of pruritus and the process is located at an object and the object is a part of a cognitive agent and the cognitive agent experiences the process, then the cognitive agent desires there exists an entity such that the entity is an instance of scratching and the time of existence of the entity takes place during the time of existence of the process and the entity is located at the object
(=>     (and         (instance ?KEEP Keeping)         (patient ?KEEP ?OBJ))     (exists (?PLACE)         (forall (?TIME)             (=>                 (temporalPart ?TIME                     (WhenFn ?KEEP))                 (holdsDuring ?TIME                     (located ?OBJ ?PLACE))))))	Merge.kif 12212-12220	If a process is an instance of keeping and an entity is a patient of the process, then there exists another entity such that for all a time position if the time position is a part of the time of existence of the process, then the entity is located at the other entity holds during the time position
(=>     (and         (instance ?LOCATING Locating)         (patient ?LOCATING ?THING)         (agent ?LOCATING ?AGENT))     (hasPurpose ?LOCATING         (exists (?LOCATION)             (and                 (instance ?LOCATION Region)                 (knows ?AGENT                     (located ?THING ?LOCATION))))))	MilitaryProcesses.kif 577-587	If a process is an instance of locating and an entity is a patient of the process and an agent is an agent of the process, then the process has the purpose there exists another entity such that the other entity is an instance of region and the agent knows the entity is located at the other entity
(=>     (and         (instance ?MOTION Motion)         (moves ?MOTION ?OBJ)         (destination ?MOTION ?PLACE))     (holdsDuring         (EndFn             (WhenFn ?MOTION))         (located ?OBJ ?PLACE)))	Merge.kif 11074-11079	If a motion is an instance of motion and an object moves during the motion and the motion ends up at an entity, then the object is located at the entity holds during the end of the time of existence of the motion
(=>     (and         (instance ?MOTION Motion)         (moves ?MOTION ?OBJ)         (origin ?MOTION ?PLACE))     (holdsDuring         (BeginFn             (WhenFn ?MOTION))         (located ?OBJ ?PLACE)))	Merge.kif 11058-11063	If a motion is an instance of motion and an object moves during the motion and the motion originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the motion
(=>     (and         (instance ?MOVEMENT Translocation)         (origin ?MOVEMENT ?PLACE1))     (exists (?PLACE2 ?STAGE)         (and             (instance ?PLACE2 Region)             (not                 (equal ?PLACE1 ?PLACE2))             (subProcess ?STAGE ?MOVEMENT)             (located ?STAGE ?PLACE2))))	Merge.kif 11580-11589	If a process is an instance of translocation and the process originates at an object, then there exist another object and another process such that the other object is an instance of region and the object is not equal to the other object and the other process is a subprocess of the process and the other process is located at the other object
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (exists (?SUB)         (and             (part ?SUB ?OBJ1)             (located ?SUB ?OBJ2))))	Merge.kif 4061-4068	If an object is an instance of object and the object is partly located in another object, then there exists a third object such that the third object is a part of the object and the third object is located at the other object
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WarehousingAndStorage))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P ?OBJ)                 (and                     (instance ?EV Selling)                     (instance ?OBJ Object)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?B ?T)                             (and                                 (instance ?T TimeInterval)                                 (instance ?B Building)                                 (possesses ?P ?OBJ)                                 (holdsDuring ?T                                     (located ?B ?OBJ)))) ?MEM ?P))))))	naics.kif 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (located ?P ?SI) Likely))	Medicine.kif 2725-2733	If a process is an instance of coeliac disease and an agent experiences the process and an object is an instance of small intestine and the object is a part of the agent, then the statement the process is located at the object has the modal force of likely
(=>     (and         (instance ?P FoodPickup)         (agent ?P ?AGENT)         (destination ?P ?CUST)         (patient ?P ?FOOD))     (and         (instance ?FOOD             (FoodForFn Human))         (exists (?LOC ?T ?G)             (and                 (located ?AGENT ?LOC)                 (instance ?T Translocation)                 (agent ?T ?CUST)                 (destination ?T ?LOC)                 (instance ?G Getting)                 (origin ?G ?AGENT)                 (destination ?G ?CUST)                 (patient ?G ?FOOD)))))	Dining.kif 610-627	If a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process
(=>     (and         (instance ?P HeartPalpitations)         (experiencer ?P ?H))     (exists (?HEART)         (and             (instance ?HEART Heart)             (part ?HEART ?H)             (located ?P ?HEART))))	Medicine.kif 2072-2080	If a process is an instance of palpitations and an agent experiences the process, then there exists the agentEART such that the agentEART is an instance of heart and the agentEART is a part of the agent and the process is located at the agentEART
(=>     (and         (instance ?P PassCertificate)         (possesses ?A ?P))     (exists (?L)         (confersNorm ?P             (located ?A ?L) Permission)))	Mid-level-ontology.kif 16581-16588	If an object is an instance of pass certificate and an agent possesses the object, then there exists an entity such that the object confers norm the agent is located at the entity for permission
(=>     (and         (instance ?POLICY NoChildrenPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT         (exists (?CHILD)             (and                 (instance ?CHILD HumanChild)                 (located ?CHILD ?LOC))) Permission))	Hotel.kif 2626-2635	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of human child and the entity is located at the object for permission
(=>     (and         (instance ?POLICY NoPetsPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT         (exists (?PET)             (and                 (instance ?PET DomesticAnimal)                 (located ?PET ?LOC))) Permission))	Hotel.kif 2577-2586	If a policy is an instance of no pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
(=>     (and         (instance ?POLICY NoSmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT         (exists (?SMOKE)             (and                 (instance ?SMOKE Smoking)                 (located ?SMOKE ?LOC))) Permission))	Hotel.kif 2593-2602	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=>     (and         (instance ?POLICY PetPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET1)                     (and                         (instance ?PET1 DomesticAnimal)                         (located ?PET1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET2)                     (and                         (instance ?PET2 DomesticAnimal)                         (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2512-2528	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
(=>     (and         (instance ?POLICY PetsAllowedPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (confersNorm ?AGENT         (exists (?PET)             (and                 (instance ?PET DomesticAnimal)                 (located ?PET ?LOC))) Permission))	Hotel.kif 2561-2570	If a policy is an instance of pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
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