(=>     (and         (subclass ?TEXT Periodical)         (equal             (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)         (equal             (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)         (greaterThan ?INT2 ?INT1)         (instance ?PUB1 Publication)         (instance ?PUB2 Publication)         (instance ?CBO1 ?VOLUME1)         (instance ?CBO2 ?VOLUME2)         (patient ?PUB1 ?CBO1)         (patient ?PUB2 ?CBO2)         (date ?PUB1 ?DATE1)         (date ?PUB2 ?DATE2))     (before         (EndFn ?DATE1)         (EndFn ?DATE2)))	Mid-level-ontology.kif 14623-14637	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=>     (and         (time ?PHYS ?TIME)         (instance ?TIME TimePoint))     (temporallyBetweenOrEqual         (BeginFn             (WhenFn ?PHYS)) ?TIME         (EndFn             (WhenFn ?PHYS))))	Merge.kif 8228-8232	If a physical exists during a time point and the time point is an instance of time point, then the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
(=>     (burnInPeriod ?EXP ?INTERVAL)     (before         (EndFn ?INTERVAL)         (EndFn             (WhenFn ?EXP))))	UXExperimentalTerms.kif 4317-4321	If an experimenting takes a time interval to burn in, then the end of the time interval happens before the end of the time of existence of the experimenting
(=>     (dateDissolved ?THING ?DATE)     (exists (?DAY)         (and             (instance ?DAY ?DATE)             (overlapsTemporally ?DAY                 (EndFn                     (WhenFn ?THING))))))	Government.kif 2558-2563	If a kind of time position is a date dissolved of a physical, then there exists a time interval such that the time interval is an instance of a kind of time position and the end of the time of existence of the physical overlaps the time interval
(=>     (during ?INTERVAL1 ?INTERVAL2)     (and         (before             (EndFn ?INTERVAL1)             (EndFn ?INTERVAL2))         (before             (BeginFn ?INTERVAL2)             (BeginFn ?INTERVAL1))))	Merge.kif 8337-8341	If a time interval takes place during another time interval, then the end of the time interval happens before the end of the other time interval and the beginning of the other time interval happens before the beginning of the time interval
(=>     (earlier ?INTERVAL1 ?INTERVAL2)     (before         (EndFn ?INTERVAL1)         (BeginFn ?INTERVAL2)))	Merge.kif 8400-8402	If a time interval happens earlier than another time interval, then the end of the time interval happens before the beginning of the other time interval
(=>     (finishes ?INTERVAL1 ?INTERVAL2)     (and         (before             (BeginFn ?INTERVAL2)             (BeginFn ?INTERVAL1))         (equal             (EndFn ?INTERVAL2)             (EndFn ?INTERVAL1))))	Merge.kif 8098-8106	If a time interval finishes another time interval, then the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
(=>     (guiElementCovered ?COVERING ?GUIE)     (and         (holdsDuring             (BeginFn                 (WhenFn ?COVERING))             (or                 (hasGUEState ?GUIE GUE_PartiallyCoveredState)                 (hasGUEState ?GUIE GUE_UncoveredState)))         (holdsDuring             (EndFn                 (WhenFn ?COVERING))             (hasGUEState ?GUIE GUE_CoveredState))))	ComputerInput.kif 2529-2537	If a covering GUI element covers a GUI element, then the GUI element has state GUE partially covered state or the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the covering GUI element and the GUI element has state GUE covered state holds during the end of the time of existence of the covering GUI element
(=>     (guiElementPartiallyCovered ?ACT ?GUIE)     (holdsDuring         (EndFn             (WhenFn ?ACT))         (hasGUEState ?GUIE GUE_PartiallyCoveredState)))	ComputerInput.kif 2574-2577	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE partially covered state holds during the end of the time of existence of the partially covering graphical window
(=>     (guiElementUncovered ?ACT ?GUIE)     (holdsDuring         (EndFn             (WhenFn ?ACT))         (hasGUEState ?GUIE GUE_UncoveredState)))	ComputerInput.kif 2641-2644	If an uncovering graphical window uncovers a GUI element, then the GUI element has state GUE uncovered state holds during the end of the time of existence of the uncovering graphical window
(=>     (instance ?BREAK BreakingWave)     (exists (?WAVE ?WATER1 ?WATER2 ?FALL)         (and             (instance ?WAVE WaterWave)             (subProcess ?BREAK ?WAVE)             (instance ?WATER1 BodyOfWater)             (instance ?WATER2 BodyOfWater)             (patient ?WAVE ?WATER2)             (patient ?BREAK ?WATER1)             (instance ?FALL Falling)             (objectTransferred ?FALL ?WATER1)             (holdsDuring                 (BeginFn                     (WhenFn ?FALL))                 (part ?WATER1 ?WATER2))             (holdsDuring                 (EndFn                     (WhenFn ?FALL))                 (not                     (part ?WATER1 ?WATER2))))))	Weather.kif 1349-1369	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
(=>     (instance ?C Curdling)     (exists (?X)         (and             (patient ?C ?X)             (holdsDuring                 (BeginFn                     (WhenFn ?C))                 (instance ?X Colloid))             (holdsDuring                 (EndFn                     (WhenFn ?C))                 (not                     (instance ?X Colloid))))))	Food.kif 3186-3197	If a process is an instance of curdling, then there exists an entity such that the entity is a patient of the process and the entity is an instance of colloid holds during the beginning of the time of existence of the process and the entity is not an instance of colloid holds during the end of the time of existence of the process
(=>     (instance ?EM EspressoMaking)     (holdsDuring ?EM         (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)             (and                 (instance ?H Heating)                 (patient ?H ?W)                 (measure ?W                     (MeasureFn ?V Liter))                 (approximateValue ?V 0.03)                 (holdsDuring                     (EndFn                         (WhenFn ?H))                     (and                         (measure ?W                             (MeasureFn ?T CelsiusDegree))                         (approximateValue ?T 90)))                 (instance ?LM LiquidMotion)                 (patient ?LM ?W)                 (holdsDuring ?LM                     (and                         (measure ?W                             (MeasureFn ?P                                 (KiloFn Pascal)))                         (approximateValue ?P 900)))                 (destination ?LM ?COLL)                 (instance ?COLL Collection)                 (measure ?COLL                     (MeasureFn ?K Gram))                 (approximateValue ?K 7.5)                 (member ?COLL ?CG)                 (instance ?CG CoffeeGrind)                 (attribute ?CG FineGrind)                 (located ?COLL ?F)                 (instance ?F Filter)                 (instance ?R Removing)                 (instrument ?R ?F)                 (patient ?R ?COLL)                 (temporallyBetween                     (EndFn                         (WhenFn ?H))                     (EndFn                         (WhenFn ?LM))                     (EndFn                         (WhenFn ?R)))))))	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
(=>     (instance ?EVE Evening)     (exists (?MID)         (and             (instance ?MID Midnight)             (equal                 (EndFn ?EVE) ?MID))))	Merge.kif 8937-8942	If a time interval is an instance of evening, then there exists a time point such that the time point is an instance of midnight and the end of the time interval is equal to the time point
(=>     (instance ?F Felling)     (hasPurpose ?F         (exists (?T ?TIMB ?S)             (and                 (instance ?T BotanicalTree)                 (patient ?F ?T)                 (result ?F ?TIMB)                 (instance ?TIMB Timber)                 (equal ?TIMB ?S)                 (instance ?S PlantStem)                 (holdsDuring                     (BeginFn                         (WhenFn ?F))                     (part ?S ?T))                 (holdsDuring                     (EndFn                         (WhenFn ?F))                     (not                         (part ?S ?T)))))))	Economy.kif 5502-5521	If a physical is an instance of felling, then the physical has the purpose there exist an entity, the entityIMB and a third entity such that the entity is an instance of botanical tree and the entity is a patient of the physical and the entityIMB is a result of the physical and the entityIMB is an instance of timber and the entityIMB is equal to the third entity and the third entity is an instance of plant stem and the third entity is a part of the entity holds during the beginning of the time of existence of the physical and the third entity is not a part of the entity holds during the end of the time of existence of the physical
(=>     (instance ?INTERVAL TimeInterval)     (before         (BeginFn ?INTERVAL)         (EndFn ?INTERVAL)))	Merge.kif 8154-8156	If a time interval is an instance of time interval, then the beginning of the time interval happens before the end of the time interval
(=>     (instance ?INTERVAL TimeInterval)     (equal         (FutureFn ?INTERVAL)         (TimeIntervalFn             (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 8543-8545	If a time interval is an instance of time interval, then after the time interval is equal to interval between the end of the time interval and positive infinity
(=>     (instance ?KISS Kissing)     (exists (?PERSON1 ?PERSON2 ?LIP1 ?LIP2)         (and             (agent ?KISS ?PERSON1)             (agent ?KISS ?PERSON2)             (instance ?PERSON1 Human)             (instance ?PERSON2 Human)             (not                 (equal ?PERSON1 ?PERSON2))             (instance ?LIP1 Lip)             (instance ?LIP2 Lip)             (part ?LIP1 ?PERSON1)             (part ?LIP2 ?PERSON2)             (holdsDuring                 (BeginFn                     (WhenFn ?KISS))                 (not                     (meetsSpatially ?LIP1 ?LIP2)))             (holdsDuring                 (EndFn                     (WhenFn ?KISS))                 (meetsSpatially ?LIP1 ?LIP2)))))	Mid-level-ontology.kif 11603-11622	If a process is an instance of kissing, then there exist an agent, another agent,, , an object and another object such that the agent is an agent of the process and the other agent is an agent of the process and the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the object is an instance of lip and the other object is an instance of lip and the object is a part of the agent and the other object is a part of the other agent and the object doesn't meet the other object holds during the beginning of the time of existence of the process and the object meets the other object holds during the end of the time of existence of the process
(=>     (instance ?LAND Landing)     (exists (?REGION ?FLYING)         (and             (not                 (instance ?REGION AtmosphericRegion))             (holdsDuring                 (EndFn                     (WhenFn ?LAND))                 (eventLocated ?LAND ?REGION))             (subProcess ?FLYING ?LAND)             (instance ?FLYING Flying))))	Mid-level-ontology.kif 17252-17259	If a process is an instance of landing, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the end of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying
(=>     (instance ?LIST ListOnSite)     (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)         (and             (instance ?SITE WebSite)             (instance ?ADVERT WebListing)             (instance ?EARLIER TimeInterval)             (instance ?AFTER TimeInterval)             (patient ?LIST ?ADVERT)             (equal                 (EndFn ?EARLIER)                 (EndFn ?LIST))             (earlier ?LIST ?AFTER)             (meetsTemporally ?LIST ?AFTER)             (holdsDuring ?EARLIER                 (not                     (hostedOn ?ADVERT ?SITE)))             (holdsDuring ?AFTER                 (hostedOn ?ADVERT ?SITE))             (agent ?LIST ?OWNER)             (possesses ?OWNER ?SITE))))	UXExperimentalTerms.kif 266-286	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval,, , a third time interval and an agent such that the object is an instance of web site and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and the agent is an agent of the time interval and the agent possesses the object
(=>     (instance ?M Midnight)     (exists (?D)         (and             (instance ?D Day)             (equal ?M                 (EndFn ?D)))))	Merge.kif 8803-8808	If a time point is an instance of midnight, then there exists a time interval such that the time interval is an instance of day and the time point is equal to the end of the time interval
(=>     (instance ?OPEN OpeningNewGraphicalWindow)     (exists (?WINDOW)         (and             (patient ?OPEN ?WINDOW)             (instance ?WINDOW InterfaceWindow)             (time ?WINDOW                 (EndFn                     (WhenFn ?OPEN)))             (not                 (time ?WINDOW                     (BeginFn                         (WhenFn ?OPEN)))))))	ComputerInput.kif 2373-2380	If a process is an instance of opening new graphical window, then there exists a physical such that the physical is a patient of the process and the physical is an instance of interface window and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
(=>     (instance ?PROC DirectionChange)     (exists (?ATTR)         (and             (instance ?ATTR DirectionalAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?PROC))                         (manner ?PROC ?ATTR))                     (holdsDuring                         (EndFn                             (WhenFn ?PROC))                         (not                             (manner ?PROC ?ATTR))))                 (and                     (holdsDuring                         (EndFn                             (WhenFn ?PROC))                         (manner ?PROC ?ATTR))                     (holdsDuring                         (BeginFn                             (WhenFn ?PROC))                         (not                             (manner ?PROC ?ATTR))))))))	Merge.kif 11301-11312	If a physical is an instance of direction change, then there exists an entity such that the entity is an instance of directional attribute and the physical is performed in the manner the entity holds during the beginning of the time of existence of the physical and the physical is not performed in the manner the entity holds during the end of the time of existence of the physical or the physical is performed in the manner the entity holds during the end of the time of existence of the physical and the physical is not performed in the manner the entity holds during the beginning of the time of existence of the physical
(=>     (instance ?PROCESS Creation)     (exists (?PATIENT)         (and             (patient ?PROCESS ?PATIENT)             (time ?PATIENT                 (EndFn                     (WhenFn ?PROCESS)))             (not                 (time ?PATIENT                     (BeginFn                         (WhenFn ?PROCESS)))))))	Merge.kif 12817-12824	If a process is an instance of creation, then there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
(=>     (instance ?PROCESS Destruction)     (exists (?PATIENT)         (and             (patient ?PROCESS ?PATIENT)             (time ?PATIENT                 (BeginFn                     (WhenFn ?PROCESS)))             (not                 (time ?PATIENT                     (EndFn                         (WhenFn ?PROCESS)))))))	Merge.kif 12304-12311	If a process is an instance of destruction, then there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
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