(=>     (and         (instance ?POLICY SmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE1)                     (and                         (instance ?SMOKE1 Smoking)                         (located ?SMOKE1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE2)                     (and                         (instance ?SMOKE2 Smoking)                         (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2489-2505	If a policy is an instance of smoking 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 smoking 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 smoking and the other entity is located at the object has the modal force of prohibition
(=>     (and         (instance ?PUT Putting)         (destination ?PUT ?PLACE)         (patient ?PUT ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?PUT))             (not                 (located ?OBJ ?PLACE)))         (holdsDuring             (EndFn                 (WhenFn ?PUT))             (located ?OBJ ?PLACE))))	Merge.kif 11451-11458	If a process is an instance of putting and the process ends up at an entity and another entity is a patient of the process, then the other entity is not located at the entity holds during the beginning of the time of existence of the process and the other entity is located at the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?R RelievingPain)         (patient ?R ?H))     (and         (exists (?P1)             (and                 (overlapsTemporally                     (WhenFn ?P1)                     (ImmediatePastFn                         (WhenFn ?R)))                 (instance ?P1 Pain)                 (located ?P1 ?H)))         (not             (exists (?P2)                 (and                     (overlapsTemporally                         (WhenFn ?P2)                         (ImmediateFutureFn                             (WhenFn ?R)))                     (instance ?P2 Pain)                     (located ?P2 ?H))))))	Mid-level-ontology.kif 5773-5792	If a process is an instance of relieving pain and an object is a patient of the process, then there exists a physical such that immediately before the time of existence of the process overlaps the time of existence of the physical and the physical is an instance of pain and the physical is located at the object and there doesn't exist another physical such that immediately after the time of existence of the process overlaps the time of existence of the other physical and the other physical is an instance of pain and the other physical is located at the object
(=>     (and         (instance ?R Rotating)         (patient ?R ?A))     (exists (?L)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?R))                 (located ?A ?L))             (holdsDuring                 (EndFn                     (WhenFn ?R))                 (located ?A ?L)))))	Mid-level-ontology.kif 17472-17483	If a process is an instance of rotating and an entity is a patient of the process, then there exists another entity such that the entity is located at the other entity holds during the beginning of the time of existence of the process and the entity is located at the other entity holds during the end of the time of existence of the process
(=>     (and         (instance ?REMOVE Removing)         (origin ?REMOVE ?PLACE)         (patient ?REMOVE ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?REMOVE))             (located ?OBJ ?PLACE))         (holdsDuring             (EndFn                 (WhenFn ?REMOVE))             (not                 (located ?OBJ ?PLACE)))))	Merge.kif 11430-11437	If a process is an instance of removing and the process originates at an object and an entity is a patient of the process, then the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the object holds during the end of the time of existence of the process
(=>     (and         (instance ?RETURN Returning)         (experiencer ?RETURN ?AGENT)         (destination ?RETURN ?DEST))     (exists (?TIME)         (and             (earlier ?TIME                 (WhenFn ?RETURN))             (holdsDuring ?TIME                 (located ?AGENT ?DEST)))))	Mid-level-ontology.kif 17293-17301	If a process is an instance of returning and an agent experiences the process and the process ends up at an entity, then there exists a time interval such that the time interval happens earlier than the time of existence of the process and the agent is located at the entity holds during the time interval
(=>     (and         (instance ?S LegalSummons)         (patient ?S ?O)         (destination ?S ?P))     (exists (?C ?T)         (and             (instance ?C CourtRoom)             (containsInformation ?O                 (modalAttribute                     (holdsDuring ?T                         (located ?P ?C)) Law)))))	Mid-level-ontology.kif 16254-16266	If a process is an instance of legal summons and a content bearing physical is a patient of the process and the process ends up at an entity, then there exist another entity and a third entity such that the other entity is an instance of court room and the content bearing physical contains information the statement the entity is located at the other entity holds during the third entity has the modal force of law
(=>     (and         (instance ?S Searching)         (patient ?S ?OBJ)         (instance ?OBJ Physical))     (exists (?LOC ?AGENT)         (and             (instance ?AGENT CognitiveAgent)             (agent ?S ?AGENT)             (instance ?LOC Object)             (located ?OBJ ?LOC)             (hasPurposeForAgent ?S                 (knows ?AGENT                     (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 13030-13043	If a process is an instance of searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
(=>     (and         (instance ?S Seizure)         (experiencer ?S ?A))     (exists (?B)         (and             (instance ?B Brain)             (part ?B ?A)             (located ?S ?B))))	Medicine.kif 1613-1621	If a process is an instance of epileptic seizure and an agent experiences the process, then there exists an object such that the object is an instance of brain and the object is a part of the agent and the process is located at the object
(=>     (and         (instance ?S Stroke)         (instance ?B Brain)         (located ?S ?B))     (exists (?N ?D)         (and             (instance ?N NerveCell)             (located ?N ?B)             (instance ?D Destruction)             (subProcess ?D ?S)             (patient ?D ?N))))	Mid-level-ontology.kif 11961-11972	If a process is an instance of stroke and an object is an instance of brain and the process is located at the object, then there exist a physical and another process such that the physical is an instance of nerve cell and the physical is located at the object and the other process is an instance of destruction and the other process is a subprocess of the process and the physical is a patient of the other process
(=>     (and         (instance ?SWIM Swimming)         (agent ?SWIM ?AGENT))     (exists (?AREA)         (and             (instance ?AREA WaterArea)             (located ?AGENT ?AREA))))	Merge.kif 11208-11215	If a process is an instance of swimming and an agent is an agent of the process, then there exists an object such that the object is an instance of water area and the agent is located at the object
(=>     (and         (instance ?T Trespassing)         (agent ?T ?H)         (patient ?T ?P))     (and         (not             (possesses ?H ?P))         (modalAttribute             (located ?H ?P) Illegal)))	Mid-level-ontology.kif 18318-18328	If a process is an instance of trespassing and an agent is an agent of the process and an object is a patient of the process, then the agent doesn't possess the object and the statement the agent is located at the object has the modal force of illegal
(=>     (and         (instance ?T Typhoon)         (eventLocated ?T ?P)         (instance ?P GeographicArea))     (or         (located ?P NorthwesternPacificOcean)         (meetsSpatially ?P NorthwesternPacificOcean)))	Weather.kif 771-778	If a process is an instance of typhoon and the process is located at an object and the object is an instance of geographic area, then the object is located at Northwestern Pacific Ocean or the object meets Northwestern Pacific Ocean
(=>     (and         (instance ?TC TropicalCyclone)         (destination ?TC ?DEST)         (instance ?DEST GeographicArea))     (not         (exists (?L ?SL ?X)             (and                 (instance ?L LandArea)                 (instance ?SL Shoreline)                 (located ?DEST ?L)                 (distance ?L ?SL                     (MeasureFn ?X Mile))                 (greaterThan ?X 200.0)))))	Weather.kif 677-690	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
(=>     (and         (instance ?TC TropicalCyclonicSystem)         (origin ?TC ?SEA)         (or             (instance ?SEA NorthAtlanticOcean)             (instance ?SEA PacificOcean)             (instance ?SEA IndianOcean)))     (not         (exists (?AREA ?DIR ?NUM ?LONG)             (and                 (located ?AREA ?SEA)                 (instance ?DIR DirectionalAttribute)                 (objectGeographicCoordinates ?AREA                     (LatitudeFn ?DIR                         (MeasureFn ?NUM AngularDegree)) ?LONG)                 (or                     (equal ?DIR North)                     (equal ?DIR South))                 (lessThan ?NUM 5.0)))))	Weather.kif 611-630	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and the directional attribute is equal to north or the directional attribute is equal to south and the real number is less than 5.0
(=>     (and         (instance ?TRANS Buying)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (agent ?TRANS ?BUYER)             (origin ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	If an object is an instance of buying and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist another object, an agent,, , the agent_LOCATION and the other object_LOCATION such that the agent is an instance of agent and the other object is an instance of agent and the agent is an agent of the object and the object originates at the other object and the agent_LOCATION is an instance of geopolitical area and the other object_LOCATION is an instance of geopolitical area and the other object is located at the other object_LOCATION and the agent is located at the agent_LOCATION and the agent_LOCATION is not equal to the other object_LOCATION
(=>     (and         (instance ?TRANS Selling)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (destination ?TRANS ?BUYER)             (agent ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	If an object is an instance of selling and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist an agent, a physical,, , the physical_LOCATION and the agent_LOCATION such that the physical is an instance of agent and the agent is an instance of agent and the object ends up at the physical and the agent is an agent of the object and the physical_LOCATION is an instance of geopolitical area and the agent_LOCATION is an instance of geopolitical area and the agent is located at the agent_LOCATION and the physical is located at the physical_LOCATION and the physical_LOCATION is not equal to the agent_LOCATION
(=>     (and         (instance ?TRANSPORT Vehicle)         (instance ?MOVE Translocation)         (instrument ?MOVE ?TRANSPORT)         (destination ?MOVE ?TO))     (holdsDuring         (BeginFn             (WhenFn ?MOVE))         (located ?TRANSPORT ?TO)))	Merge.kif 16064-16070	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process ends up at an entity, then the object is located at the entity holds during the beginning of the time of existence of the process
(=>     (and         (instance ?TRANSPORT Vehicle)         (instance ?MOVE Translocation)         (instrument ?MOVE ?TRANSPORT)         (origin ?MOVE ?FROM))     (holdsDuring         (BeginFn             (WhenFn ?MOVE))         (located ?TRANSPORT ?FROM)))	Merge.kif 16056-16062	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the process
(=>     (and         (instance ?U SoftwareUnInstallation)         (equal ?T2             (WhenFn ?U))         (dataProcessed ?U ?P)         (instance ?P ComputerProgram)         (located ?U ?C))     (exists (?I ?T1)         (and             (instance ?I SoftwareInstallation)             (equal ?T1                 (WhenFn ?I))             (dataProcessed ?I ?P)             (instance ?P ComputerProgram)             (located ?I ?C)             (earlier ?T1 ?T2))))	ComputingBrands.kif 3603-3617	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval
(=>     (and         (instance ?UNIT CommercialUnit)         (instance ?ORG Organization)         (located ?ORG ?UNIT))     (not         (exists (?OTHER)             (and                 (instance ?OTHER Organization)                 (located ?OTHER ?UNIT)                 (not                     (equal ?OTHER ?ORG))))))	Mid-level-ontology.kif 7095-7104	If an object is an instance of commercial unit and a physical is an instance of organization and the physical is located at the object, then there doesn't exist another physical such that the other physical is an instance of organization and the other physical is located at the object and the other physical is not equal to the physical
(=>     (and         (instance ?V ViolentContest)         (patient ?V ?H)         (attribute ?H             (InjuryCausedFn ?PC))         (attribute ?H             (ImpairedBodyPartFn Airway)))     (modalAttribute         (or             (subclass ?PC Combustion)             (exists (?FI)                 (and                     (instance ?I Injuring)                     (located ?I ?F)                     (instance ?F Face)                     (patient ?I ?H)))) Likely))	Medicine.kif 698-715	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
(=>     (and         (instance ?V Vomiting)         (experiencer ?V ?A))     (exists (?S ?O)         (and             (instance ?S Stomach)             (part ?S ?A)             (holdsDuring                 (BeginFn                     (WhenFn ?V))                 (located ?O ?S))             (holdsDuring                 (EndFn                     (WhenFn ?V))                 (not                     (located ?O ?A))))))	Mid-level-ontology.kif 21440-21454	If a process is an instance of vomiting and an agent experiences the process, then there exist an object and an entity such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the agent holds during the end of the time of existence of the process
(=>     (and         (instance ?V Vomiting)         (instance ?O Vomit)         (patient ?V ?O)         (experiencer ?V ?A))     (exists (?S)         (and             (instance ?S Stomach)             (part ?S ?A)             (holdsDuring                 (BeginFn                     (WhenFn ?V))                 (located ?O ?S))             (holdsDuring                 (EndFn                     (WhenFn ?V))                 (not                     (located ?O ?A))))))	Mid-level-ontology.kif 21479-21495	If a process is an instance of vomiting and an entity is an instance of vomit and the entity is a patient of the process and an agent experiences the process, then there exists an object such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the agent holds during the end of the time of existence of the process
(=>     (and         (instance ?VIRUS Virus)         (instance ?PROC Replication)         (agent ?PROC ?VIRUS))     (exists (?CELL)         (and             (located ?PROC ?CELL)             (instance ?CELL Cell))))	Merge.kif 14536-14544	If an agent is an instance of virus and a process is an instance of replication and the agent is an agent of the process, then there exists an object such that the process is located at the object and the object is an instance of cell
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