consequent

(=>     (and         (holdsDuring ?T1             (and                 (attribute ?P Expellee)                 (citizen ?P ?HOME_NATION)))         (instance ?T1 TimeInterval))     (exists (?TRANS ?NATION)         (and             (instance ?NATION Nation)             (not                 (equal ?NATION ?HOME_NATION))             (instance ?TRANS Translocation)             (origin ?TRANS ?NATION)             (patient ?TRANS ?P)             (destination ?TRANS ?HOME_NATION)             (temporalPart ?T1                 (WhenFn ?TRANS)))))	MilitaryPersons.kif 151-167	If expellee is an attribute of an entity and the entity is a citizen of another entity_NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and equal the object and the other entity_NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity_NATION and the time position is a part of the time of existence of the process
(=>     (and         (instance ?B Barricade)         (partlyLocated ?B ?P))     (hasPurpose ?B         (not             (exists (?T)                 (and                     (instance ?T Translocation)                     (path ?T ?P))))))	MilitaryDevices.kif 2160-2169	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
(=>     (and         (instance ?B Blockade)         (instance ?C Contest)         (subProcess ?B ?C)         (contestParticipant ?C ?A1)         (agent ?B ?A1))     (exists (?C1 ?A2)         (and             (prevents ?C1 Translocation)             (instance ?B ?C1)             (contestParticipant ?C ?A2)             (not                 (equal ?A1 ?A2))             (desires ?A2                 (exists (?I)                     (and                         (instance ?I ?C1)                         (agent ?I ?A1)                         (subProcess ?I ?C)))))))	Mid-level-ontology.kif 23920-23939	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and equal the agent and the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 2451-2472	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=>     (and         (instance ?EG EngineGovernor)         (instance ?V Vehicle)         (connectedEngineeringComponents ?EG ?V)         (governorSpeed ?E             (MeasureFn ?S MilesPerHour)))     (hasPurpose ?EG         (not             (exists (?T ?M)                 (and                     (instance ?T Translocation)                     (holdsDuring                         (WhenFn ?T)                         (and                             (measure ?V                                 (MeasureFn ?M MilesPerHour))                             (greaterThan ?M ?S))))))))	Cars.kif 2941-2957	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
(=>     (and         (instance ?EV Evacuation)         (agent ?EV ?A)         (origin ?EV ?O))     (exists (?T ?TA)         (and             (instance ?T Translocation)             (subProcess ?T ?EV)             (origin ?T ?O)             (or                 (experiencer ?T ?TA)                 (agent ?T ?TA))             (or                 (subOrganization ?TA ?A)                 (member ?TA ?A)                 (equal ?TA ?A)))))	MilitaryProcesses.kif 2680-2696	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?OR)         (destination ?EV ?D))     (exists (?L)         (and             (instance ?L Translocation)             (subProcess ?L ?EV)             (destination ?L ?D)             (origin ?L ?OR))))	MilitaryProcesses.kif 2554-2564	If a process is an instance of evacuating and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
(=>     (and         (instance ?GUN ArtilleryGun)         (instance ?W Wheel)         (part ?W ?GUN))     (hasPurpose ?W         (exists (?T)             (and                 (instance ?T Translocation)                 (objectTransferred ?T ?GUN)                 (instrument ?T ?W)))))	Mid-level-ontology.kif 1838-1848	If an object is an instance of artillery gun and another object is an instance of wheel and the other object is a part of the object, then the other object has the purpose there exists an entity such that the entity is an instance of translocation and the object transferred in the entity is the object and the other object is an instrument for the entity
(=>     (and         (instance ?I Infecting)         (experiencer ?I ?H))     (exists (?T ?R ?O)         (and             (instance ?T Translocation)             (moves ?T ?O)             (instance ?O Organism)             (instance ?R Replication)             (experiencer ?R ?O)             (subProcess ?T ?I)             (subProcess ?R ?I))))	Mid-level-ontology.kif 6780-6792	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process
(=>     (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 ParkingBrake)         (instance ?V Vehicle)         (holdsDuring ?T1             (attribute ?P DeviceOn))         (part ?P ?V))     (hasPurpose ?P         (holdsDuring ?T1             (not                 (exists (?T)                     (and                         (instance ?T Translocation)                         (patient ?T ?V)))))))	Cars.kif 567-580	If an object is an instance of parking brake and another object is an instance of vehicle and device on is an attribute of the object holds during a time position and the object is a part of the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the other object is a patient of the entity holds during the time position
(=>     (and         (instance ?P Passport)         (possesses ?A ?P))     (confersNorm ?P         (exists (?T ?N1 ?N2)             (and                 (instance ?T Translocation)                 (agent ?T ?A)                 (origin ?T ?N1)                 (destination ?T ?N2)                 (instance ?N1 Nation)                 (instance ?N2 Nation)                 (not                     (equal ?N1 ?N2)))) Permission))	Mid-level-ontology.kif 18023-18037	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and equal the other entity and the third entity for permission
(=>     (and         (instance ?SF StationaryFront)         (eventLocated ?SF ?F)         (instance ?F AirStream))     (holdsDuring         (WhenFn ?SF)         (not             (exists (?T)                 (and                     (subProcess ?T ?SF)                     (instance ?T Translocation)                     (moves ?T ?F))))))	Weather.kif 1378-1390	If a process is an instance of stationary front and the process is located at an object and the object is an instance of air stream, then there doesn't exist an entity such that the entity is a subprocess of the process and the entity is an instance of translocation and the object moves during the entity holds during the time of existence of the process
(=>     (and         (instance ?SS StayingStill)         (experiencer ?SS ?A))     (not         (exists (?B ?T)             (and                 (instance ?B BodyMotion)                 (instance ?T Translocation)                 (causes ?B ?T)                 (agent ?B ?A)))))	emotion.kif 1826-1836	If a process is an instance of staying still and an agent experiences the process, then there don't exist another process and a third process such that the other process is an instance of body motion and the third process is an instance of translocation and the other process causes the third process and the agent is an agent of the other process
(=>     (and         (instance ?T1 Translocation)         (instance ?T2 Translocation)         (origin ?T1 ?O1)         (origin ?T2 ?D1)         (destination ?T1 ?D1)         (destination ?T2 ?D2)         (experiencer ?T1 ?P)         (experiencer ?T2 ?P))     (exists (?T)         (and             (instance ?T Translocation)             (origin ?T ?O1)             (destination ?T ?D2)             (subProcess ?T1 ?T)             (subProcess ?T2 ?T)             (experiencer ?T ?P)             (starts                 (WhenFn ?T1)                 (WhenFn ?T))             (finishes                 (WhenFn ?T2)                 (WhenFn ?T)))))	Merge.kif 11477-11500	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
(=>     (and         (trafficableForTrafficType ?place ?type)         (subclass ?type AutonomousAgent)         (instance ?mover ?type))     (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 3198-3203	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of agent and an object is an instance of the kind of self connected object, then translocation capable at location agent for the object with the region
(=>     (changesLocation ?EVENT ?OBJ)     (and         (instance ?EVENT Translocation)         (instance ?OBJ Object)         (or             (patient ?EVENT ?OBJ)             (agent ?EVENT ?OBJ)             (experiencer ?EVENT ?OBJ))))	Merge.kif 11163-11171	If an agent is a changes location of a translocation, then the translocation is an instance of translocation and the agent is an instance of object and the agent is a patient of the translocation or the agent is an agent of the translocation or the agent experiences the translocation
(=>     (instance ?AMR AutonomousMobileRobot)     (hasPurpose ?AMR         (exists (?T)             (and                 (instance ?T Translocation)                 (agent ?T ?AMR)                 (patient ?T ?AMR)                 (instrument ?T ?AMR)                 (experiencer ?T ?AMR)                 (not                     (exists (?G ?A)                         (and                             (instance ?G Guiding)                             (patient ?G ?AMR)                             (agent ?G ?A)                             (or                                 (instance ?A Human)                                 (instance ?A Device)))))))))	engineering.kif 966-984	If a physical is an instance of autonomous mobile robot, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is an agent of the entity and the physical is a patient of the entity and the physical is an instrument for the entity and the physical experiences the entity and there don't exist another entity and a third entity such that the other entity is an instance of guiding and the physical is a patient of the other entity and the third entity is an agent of the other entity and the third entity is an instance of human or the third entity is an instance of device
(=>     (instance ?ARRIVE Arriving)     (exists (?GO)         (and             (instance ?GO Translocation)             (subProcess ?ARRIVE ?GO)             (finishes                 (WhenFn ?ARRIVE)                 (WhenFn ?GO)))))	Mid-level-ontology.kif 19016-19022	If a process is an instance of arriving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process finishes the time of existence of the other process
(=>     (instance ?B Bowling)     (exists (?BALL ?TRANS ?LANE)         (and             (instance ?TRANS Translocation)             (instance ?BALL BowlingBall)             (patient ?TRANS ?BALL)             (instance ?LANE BowlingLane)             (path ?TRANS ?LANE)             (subProcess ?TRANS ?B))))	Sports.kif 1121-1130	If a process is an instance of bowling, then there exist the processALL, a motion and an object such that the motion is an instance of translocation and the processALL is an instance of bowling ball and the processALL is a patient of the motion and the object is an instance of bowling lane and the object is path along which the motion occurs and the motion is a subprocess of the process
(=>     (instance ?B Bridge)     (hasPurpose ?B         (exists (?T ?X)             (and                 (instance ?T Translocation)                 (path ?T ?B)                 (orientation ?B ?X Above)                 (or                     (instance ?X LandArea)                     (instance ?X BodyOfWater))))))	Transportation.kif 1767-1777	If a physical is an instance of bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is above to the other entity and the other entity is an instance of land area or the other entity is an instance of body of water
(=>     (instance ?BL BowlingLane)     (hasPurpose ?BL         (exists (?TR ?BALL)             (and                 (instance ?TR Translocation)                 (instance ?BALL BowlingBall)                 (patient ?TR ?BALL)                 (path ?TR ?BL)))))	Sports.kif 1160-1168	If a physical is an instance of bowling lane, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the other entity is an instance of bowling ball and the other entity is a patient of the entity and the physical is path along which the entity occurs
(=>     (instance ?F Furniture)     (capability Translocation moves ?F))	Mid-level-ontology.kif 4149-4151	If an object is an instance of furniture, then the object is capable of doing translocation as a moves
(=>     (instance ?G Gasket)     (hasPurpose ?G         (exists (?O1 ?O2)             (and                 (instance ?O1 CorpuscularObject)                 (instance ?O2 CorpuscularObject)                 (meetsSpatially ?O1 ?G)                 (meetsSpatially ?O2 ?G)                 (not                     (exists (?H ?D ?T ?O)                         (and                             (instance ?H HoleRegion)                             (equal ?G                                 (HoleHostFn ?H))                             (instance ?T Translocation)                             (path ?T ?H)                             (origin ?T ?O)                             (destination ?T ?D)                             (contains ?O1 ?O)                             (not                                 (contains ?O1 ?D))                             (meetsSpatially ?O1 ?D)                             (not                                 (exists (?O3)                                     (and                                         (contains ?H ?O3)                                         (not                                             (contains ?O1 ?O3))                                         (not                                             (contains ?O2 ?O3))))))))))))	Cars.kif 2827-2856	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and equal the physical and the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
(=>     (instance ?HALL Hallway)     (hasPurpose ?HALL         (exists (?TRAN ?BUILD ?R1 ?R2)             (and                 (instance ?TRAN Translocation)                 (path ?TRAN ?HALL)                 (located ?HALL ?BUILD)                 (instance ?BUILD Building)                 (between ?R1 ?HALL ?R2)                 (instance ?R1 Room)                 (instance ?R2 Room)                 (located ?R1 ?BUILD)                 (located ?R2 ?BUILD)                 (not                     (equal ?R1 ?R2))))))	Mid-level-ontology.kif 17073-17088	If a physical is an instance of hall, 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 translocation and the physical is path along which the entity occurs and the physical is located at the other entity and the other entity is an instance of building and the physical is between the third entity and the fourth entity and the third entity is an instance of room and the fourth entity is an instance of room and the third entity is located at the other entity and the fourth entity is located at the other entity and equal the third entity and the fourth entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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