(=>     (instance ?S Suffocating)     (holdsDuring         (EndFn             (WhenFn ?S))         (exists (?P)             (and                 (experiencer ?S ?P)                 (not                     (exists (?B)                         (and                             (instance ?B Breathing)                             (experiencer ?B ?P))))))))	Mid-level-ontology.kif 18458-18470	If a physical is an instance of suffocating, then there exists an entity such that the entity experiences the physical and there doesn't exist another entity such that the other entity is an instance of breathing and the entity experiences the other entity holds during the end of the time of existence of the physical
(=>     (instance ?TIME LunchTime)     (exists (?ELEVEN ?THREE ?DAY)         (and             (during ?TIME                 (TimeIntervalFn                     (BeginFn ?ELEVEN)                     (EndFn ?THREE)))             (instance ?ELEVEN                 (HourFn 11 ?DAY))             (instance ?THREE                 (HourFn 15 ?DAY)))))	Food.kif 1867-1876	If a time interval is an instance of lunch time, then there exist another time interval, a third time interval and a kind of day such that the time interval takes place during interval between the beginning of the other time interval and the end of the third time interval and the other time interval is an instance of the hour 11 and the third time interval is an instance of the hour 15
(=>     (instance ?TRANS TransferSwitch)     (hasPurpose ?TRANS         (exists (?PROC ?POWER1 ?POWER2 ?E)             (and                 (instance ?PROC Process)                 (instance ?POWER1 PowerSource)                 (instance ?POWER2 PowerSource)                 (instance ?E Electricity)                 (instrument ?PROC ?TRANS)                 (holdsDuring                     (BeginFn                         (WhenFn ?PROC))                     (origin ?E ?POWER1))                 (holdsDuring                     (EndFn                         (WhenFn ?PROC))                     (origin ?E ?POWER1))                 (not                     (equal ?POWER1 ?POWER2))))))	engineering.kif 882-901	If a physical is an instance of transfer switch, 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 process and the other entity is an instance of power source and the third entity is an instance of power source and the fourth entity is an instance of electricity and the physical is an instrument for the entity and the fourth entity originates at the other entity holds during the beginning of the time of existence of the entity and the fourth entity originates at the other entity holds during the end of the time of existence of the entity and the other entity is not equal to the third entity
(=>     (instance ?VS VocationalSchool)     (hasPurpose ?VS         (exists (?P ?S ?T)             (and                 (instance ?P EducationalProcess)                 (eventLocated ?P ?VS)                 (student ?S ?VS)                 (experiencer ?P ?S)                 (instance ?T OccupationalTrade)                 (holdsDuring                     (EndFn                         (WhenFn ?P))                     (attribute ?S ?T))))))	Mid-level-ontology.kif 16707-16719	If a physical is an instance of vocational school, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of educational process and the entity is located at the physical and the other entity is a student of the physical and the other entity experiences the entity and the third entity is an instance of occupational trade and the third entity is an attribute of the other entity holds during the end of the time of existence of the entity
(=>     (instance ?WET Wetting)     (exists (?OBJ)         (and             (patient ?WET ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?WET))                 (not                     (attribute ?OBJ Damp)))             (holdsDuring                 (EndFn                     (WhenFn ?WET))                 (attribute ?OBJ Damp)))))	Merge.kif 12773-12786	If a process is an instance of wetting, then there exists an entity such that the entity is a patient of the process and damp is not an attribute of the entity holds during the beginning of the time of existence of the process and damp is an attribute of the entity holds during the end of the time of existence of the process
(=>     (instance ?X Cleaning)     (exists (?OBJ)         (and             (patient ?X ?OBJ)             (holdsDuring                 (EndFn                     (WhenFn ?X))                 (attribute ?OBJ Clean)))))	Mid-level-ontology.kif 5554-5561	If a process is an instance of cleaning, then there exists an entity such that the entity is a patient of the process and clean is an attribute of the entity holds during the end of the time of existence of the process
(=>     (instance ?X CurrencyExchangeService)     (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)         (and             (agent ?X ?CUST)             (not                 (equal ?CURR1 ?CURR2))             (instance ?AMT1 CurrencyMeasure)             (instance ?AMT2 CurrencyMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?X))                 (and                     (monetaryValue ?M1 ?AMT1)                     (possesses ?CUST ?M1)                     (equal ?AMT1                         (MeasureFn ?NUM1 ?CURR1))))             (holdsDuring                 (EndFn                     (WhenFn ?X))                 (and                     (monetaryValue ?M2 ?AMT2)                     (possesses ?CUST ?M2)                     (not                         (possesses ?CUST ?M1))                     (equal ?AMT2                         (MeasureFn ?NUM2 ?CURR2)))))))	Hotel.kif 2104-2124	If a process is an instance of currency exchange, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , an agent,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the agent is an agent of the process and the other entity is not equal to the fourth entity and the entity is an instance of currency measure and the third entity is an instance of currency measure and value of the fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to the seventh entity the other entity(s) holds during the beginning of the time of existence of the process and value of the sixth entity is the third entity and the agent possesses the sixth entity and the agent doesn't possess the fifth entity and the third entity is equal to the eighth entity the fourth entity(s) holds during the end of the time of existence of the process
(=>     (instance ?X Tripod)     (hasPurpose ?X         (exists (?OBJ ?PUT ?PROC)             (and                 (instance ?OBJ Artifact)                 (instance ?PUT Putting)                 (patient ?PUT ?OBJ)                 (destination ?PUT ?X)                 (instance ?PROC Process)                 (instrument ?PROC ?OBJ)                 (before                     (EndFn                         (WhenFn ?PUT))                     (BeginFn                         (WhenFn ?PROC)))))))	Mid-level-ontology.kif 26707-26720	If a physical is an instance of tripod, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of artifact and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the physical and the third entity is an instance of process and the entity is an instrument for the third entity and the end of the time of existence of the other entity happens before the beginning of the time of existence of the third entity
(=>     (lastRenovation ?OBJ ?YEAR)     (exists (?TIME ?REPAIR)         (and             (instance ?REPAIR Repairing)             (patient ?REPAIR ?OBJ)             (instance ?TIME ?YEAR)             (temporallyBetweenOrEqual                 (BeginFn ?TIME)                 (EndFn                     (WhenFn ?REPAIR))                 (EndFn ?TIME)))))	Hotel.kif 746-756	If the last renovation of an object was in a kind of year, then there exist a time interval and a process such that the process is an instance of repairing and the object is a patient of the process and the time interval is an instance of a kind of year and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval
(=>     (measuringListDuration ?LIST ?DURATION)     (exists (?T)         (and             (equal ?T                 (TimeIntervalFn                     (BeginFn                         (WhenFn                             (FirstFn ?LIST)))                     (EndFn                         (WhenFn                             (LastFn ?LIST)))))             (duration ?T ?DURATION))))	Weather.kif 1874-1882	If The Measuring for list a measuring list takes a time duration., then there exists a time interval such that the time interval is equal to interval between the beginning of the time of existence of the first of the measuring list and the end of the time of existence of the last of the measuring list and duration of the time interval is the time duration
(=>     (meetsTemporally ?INTERVAL1 ?INTERVAL2)     (equal         (EndFn ?INTERVAL1)         (BeginFn ?INTERVAL2)))	Merge.kif 8355-8359	If a time interval meets another time interval, then the end of the time interval is equal to the beginning of the other time interval
(=>     (producedOn ?R ?D)     (exists (?P)         (and             (instance ?P Process)             (result ?P ?R)             (equal ?D                 (WhenFn                     (EndFn ?P))))))	Music.kif 96-104	If a recording was produced on a time interval, then there exists another time interval such that the other time interval is an instance of process and the recording is a result of the other time interval and the time interval is equal to the time of existence of the end of the other time interval
(=>     (rainfallIntensity ?AREA ?TIME ?RATE)     (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)         (and             (instance ?RAIN Raining)             (eventLocated ?RAIN ?AREA)             (during                 (WhenFn ?RAIN) ?TIME)             (instance ?CLTN Collection)             (objectTransferred ?RAIN ?CLTN)             (instance ?R Water)             (member ?R ?CLTN)             (instance ?BUCKET Container)             (bottom ?BOTTOM ?BUCKET)             (attribute ?BOTTOM Flat)             (located ?BUCKET ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (attribute ?BUCKET ContainerEmpty))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?CLTN ?BUCKET)                     (top ?TOP ?CLTN)                     (depth ?TOP ?BOTTOM ?RAINFALL)                     (equal ?RAINFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 2826-2851	If the rate of rain in a geographic area during a time interval is a function quantity, then there exist a transfer, a collection,, , a physical,, , a self connected object,, , an entity,, , another self connected object and the transferFALL such that the transfer is an instance of raining and the transfer is located at the geographic area and the time of existence of the transfer takes place during the time interval and the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of water and the physical is a member of the collection and the self connected object is an instance of container and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and container empty is an attribute of the self connected object holds during the beginning of the time interval and the collection is located at the self connected object and the top of the collection is the entity and the depth from the entity to the other self connected object is the transferFALL and the transferFALL is equal to the time interval and the function quantity holds during the end of the time interval
(=>     (snowfallIntensity ?AREA ?TIME ?RATE)     (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)         (and             (instance ?PROCESS Snowing)             (eventLocated ?PROCESS ?AREA)             (during                 (WhenFn ?PROCESS) ?TIME)             (instance ?STUFF Snow)             (objectTransferred ?PROCESS ?STUFF)             (instance ?BOARD BoardOrBlock)             (bottom ?BOTTOM ?BOARD)             (attribute ?BOTTOM Flat)             (located ?BOARD ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (not                     (exists (?X)                         (and                             (instance ?X Object)                             (located ?X ?BOARD)))))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?STUFF ?BOARD)                     (top ?TOP ?STUFF)                     (depth ?TOP ?BOTTOM ?SNOWFALL)                     (equal ?SNOWFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 3031-3058	If the rate of snow falling at a geographic area during a time interval is a function quantity, then there exist a transfer, an object,, , a self connected object,, , an entity,, , another self connected object and another entity such that the transfer is an instance of snowing and the transfer is located at the geographic area and the time of existence of the transfer takes place during the time interval and the object is an instance of snow and the object transferred in the transfer is the object and the self connected object is an instance of board or block and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and there doesn't exist a third entity such that the third entity is an instance of object and the third entity is located at the self connected object holds during the beginning of the time interval and the object is located at the self connected object and the top of the object is the entity and the depth from the entity to the other self connected object is the other entity and the other entity is equal to the time interval and the function quantity holds during the end of the time interval
(=>     (starts ?INTERVAL1 ?INTERVAL2)     (and         (equal             (BeginFn ?INTERVAL1)             (BeginFn ?INTERVAL2))         (before             (EndFn ?INTERVAL1)             (EndFn ?INTERVAL2))))	Merge.kif 8066-8074	If a time interval starts another time interval, then the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
(=>     (yearBuilt ?OBJ ?YEAR)     (exists (?TIME ?MAKE)         (and             (instance ?TIME ?YEAR)             (instance ?MAKE Making)             (result ?MAKE ?OBJ)             (temporallyBetweenOrEqual                 (BeginFn ?TIME)                 (EndFn                     (WhenFn ?MAKE))                 (EndFn ?TIME)))))	Hotel.kif 725-735	If an object was built in a kind of year, then there exist a time interval and a process such that the time interval is an instance of a kind of year and the process is an instance of making and the object is a result of the process and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval

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