consequent

(=>     (albumRelease ?A ?T)     (and         (exists (?R1 ?DS1)             (releaseForSale                 (AlbumCopiesFn ?A ?DS1) ?R1 ?T))         (not             (exists (?B ?R2 ?DS2)                 (and                     (before ?B ?T)                     (releaseForSale                         (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))	Music.kif 261-270	If an album was released on a time point, then there exist a geographic area and a kind of data storage device such that the set of copies on a kind of data storage device of the album was released for sale in the geographic area at the time point and there don't exist another time point, another geographic area and another kind of data storage device such that the other time point happens before the time point and the set of copies on another kind of data storage device of the album was released for sale in the other geographic area at the other time point
(=>     (and         (allergic ?H ?S)         (instance ?SUB ?S)         (holdsDuring ?T             (meetsSpatially ?SUB ?H)))     (modalAttribute         (exists (?AR)             (and                 (instance ?AR AllergicReaction)                 (experiencer ?AR ?H)                 (overlapsTemporally ?T                     (WhenFn ?AR))                 (before                     (BeginFn ?T)                     (BeginFn                         (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 7164-7177	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
(=>     (and         (attribute ?MR CoverRecording)         (instance ?MR MusicRecording)         (songArtist ?MR ?A)         (musicInterpretation ?MR ?M)         (record ?MR ?MM))     (exists (?ORIG ?ARTIST ?MUSIC)         (and             (musicInterpretation ?ORIG ?M)             (songArtist ?ORIG ?ARTIST)             (not                 (equal ?A ?ARTIST))             (record ?ORIG ?MUSIC)             (before                 (WhenFn ?MUSIC)                 (WhenFn ?MM)))))	Music.kif 459-472	If cover recording is an attribute of a music recording and the music recording is an instance of music recording and a cognitive agent is the performer in the music recording and the music recording is a recording of a music and the music recording is a record of the musicM, then there exist another music recording, the cognitive agentRTIST and the musicUSIC such that the other music recording is a recording of the music and the cognitive agentRTIST is the performer in the other music recording and equal the cognitive agent and the cognitive agentRTIST and the other music recording is a record of the musicUSIC and the time of existence of the musicUSIC happens before the time of existence of the musicM
(=>     (and         (checkOutTime ?HOTEL ?TIME)         (guest ?GUEST ?HOTEL))     (expects ?HOTEL         (exists (?T ?C)             (and                 (instance ?T ?TIME)                 (patient ?C ?GUEST)                 (instance ?C CheckOutService)                 (agent ?C ?HOTEL)                 (before                     (BeginFn                         (WhenFn ?C)) ?T)))))	Hotel.kif 688-699	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
(=>     (and         (destination ?MSG ?TELEX)         (instance ?MSG Messaging)         (patient ?MSG ?M)         (instance ?TELEX Telex))     (exists (?PROC ?TEXT)         (and             (instrument ?PROC ?TELEX)             (result ?PROC ?TEXT)             (represents ?TEXT ?M)             (instance ?TEXT Text)             (before                 (BeginFn                     (WhenFn ?MSG))                 (BeginFn                     (WhenFn ?PROC))))))	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
(=>     (and         (earlier ?TI1 ?TI2)         (instance ?P1 TimePoint)         (instance ?P2 TimePoint)         (temporalPart ?P1 ?TI1)         (temporalPart ?P2 ?TI2))     (before ?P1 ?P2))	Merge.kif 8416-8423	If a time interval happens earlier than another time interval and a time point is an instance of time point and another time point is an instance of time point and the time point is a part of the time interval and the other time point is a part of the other time interval, then the time point happens before the other time point
(=>     (and         (equal             (EditionFn ?TEXT ?INT1) ?EDITION1)         (equal             (EditionFn ?TEXT ?INT2) ?EDITION2)         (greaterThan ?INT2 ?INT1)         (instance ?PUB1 Publication)         (instance ?PUB2 Publication)         (instance ?CBO1 ?EDITION1)         (instance ?CBO2 ?EDITION2)         (patient ?PUB1 ?CBO1)         (patient ?PUB2 ?CBO2)         (date ?PUB1 ?DATE1)         (date ?PUB2 ?DATE2))     (before         (EndFn ?DATE1)         (EndFn ?DATE2)))	Merge.kif 15687-15704	If equal edition a positive integer of a kind of content bearing object and another kind of content bearing object and equal edition another positive integer of a kind of content bearing object and a third kind of content bearing object 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 another kind of content bearing object and another entity is an instance of a third kind of content bearing object 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         (equal ?PROCESSSTART             (BeginFn                 (WhenFn ?PROCESS)))         (equal ?AGENTEND             (EndFn                 (WhenFn ?AGENT)))         (benefits ?PROCESS ?AGENT))     (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 24552-24557	If equal a time point and the beginning of the time of existence of a process and equal another time point and the end of the time of existence of an agent and the agent is a beneficiary of the process, then the time point happens before the other time point
(=>     (and         (equal ?PROCESSSTART             (BeginFn                 (WhenFn ?PROCESS)))         (equal ?AGENTEND             (EndFn                 (WhenFn ?AGENT)))         (suffers ?PROCESS ?AGENT))     (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 31500-31509	If equal a time point and the beginning of the time of existence of a process and equal another time point and the end of the time of existence of an agent and the agent suffers from the process, then the time point happens before the other time point
(=>     (and         (instance ?D1             (DayFn ?N1                 (MonthFn ?M                     (YearFn ?Y))))         (instance ?D2             (DayFn ?N2                 (MonthFn ?M                     (YearFn ?Y))))         (equal ?T1             (BeginFn ?D1))         (equal ?T2             (BeginFn ?D2))         (greaterThan ?N2 ?N1))     (before ?T1 ?T2))	Merge.kif 8857-8864	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and the other positive integer is greater than the positive integer, then the time point happens before the other time point
(=>     (and         (instance ?Loan InterestOnlyLoan)         (agreementPeriod ?Loan ?Period)         (principalAmount ?Loan ?Principal)         (interestEarned ?Loan ?Interest ?Period))     (and         (amountDue ?Loan ?Principal             (EndFn ?Period))         (amountDue ?Loan ?Interest ?Date)         (before             (EndFn ?Date)             (EndFn ?Period))))	FinancialOntology.kif 1631-1640	If a financial account is an instance of interest only loan and a time interval is an agreement period of the financial account and a currency measure is a principal amount of the financial account and the financial account is interest earned an interest for the time interval, then the financial account amount due the currency measure for the end of the time interval and the financial account amount due the interest for another time interval and the end of the other time interval happens before the end of the time interval
(=>     (and         (instance ?M1             (MonthFn ?N1                 (YearFn ?Y)))         (instance ?M2             (MonthFn ?N2                 (YearFn ?Y)))         (equal ?T1             (BeginFn ?M1))         (equal ?T2             (BeginFn ?M2))         (successorClass ?N1 ?N2))     (before ?T1 ?T2))	Merge.kif 8841-8848	If a time interval is an instance of the month a kind of month and another time interval is an instance of the month another kind of month and equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and another kind of month is the successor class of a kind of month., then the time point happens before the other time point
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT NegativeInfinity)))     (before NegativeInfinity ?POINT))	Merge.kif 7994-7998	If a time point is an instance of time point and equal the time point and negative infinity, then negative infinity happens before the time point
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT PositiveInfinity)))     (before ?POINT PositiveInfinity))	Merge.kif 7976-7980	If a time point is an instance of time point and equal the time point and positive infinity, then the time point happens before positive infinity
(=>     (and         (instance ?REMEMBER Remembering)         (patient ?REMEMBER ?FORMULA))     (exists (?TIME)         (and             (holdsDuring ?TIME ?FORMULA)             (or                 (before ?TIME                     (WhenFn ?REMEMBER))                 (earlier ?TIME                     (WhenFn ?REMEMBER))))))	Merge.kif 12335-12344	If a process is an instance of remembering and a formula is a patient of the process, then there exists a time interval such that the formula holds during the time interval and the time interval happens before the time of existence of the process or the time interval happens earlier than the time of existence of the process
(=>     (and         (instance ?S Shooting)         (instrument ?S ?G)         (instance ?G Gun))     (exists (?C ?I ?B)         (and             (instance ?C GunChamber)             (part ?C ?G)             (instance ?I Inserting)             (instance ?B BulletCartridge)             (destination ?I ?C)             (objectTransferred ?I ?B)             (before                 (EndFn                     (WhenFn ?I))                 (BeginFn                     (WhenFn ?S))))))	Mid-level-ontology.kif 1337-1352	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of gun, then there exist another object, a transfer and a third object such that the other object is an instance of gun chamber and the other object is a part of the object and the transfer is an instance of inserting and the third object is an instance of bullet cartridge and the transfer ends up at the other object and the object transferred in the transfer is the third object and the end of the time of existence of the transfer happens before the beginning of the time of existence of the process
(=>     (and         (instance ?SHOCK Aftershock)         (eventLocated ?SHOCK ?PLACE))     (exists (?TREMOR)         (and             (instance ?TREMOR EarthTremor)             (eventLocated ?TREMOR ?PLACE)             (before                 (WhenFn ?TREMOR)                 (WhenFn ?SHOCK)))))	Geography.kif 3796-3806	If a process is an instance of aftershock and the process is located at an object, then there exists another process such that the other process is an instance of earth tremor and the other process is located at the object and the time of existence of the other process happens before the time of existence of the process
(=>     (and         (instance ?TI TimeInterval)         (equal ?S             (BeginFn ?TI))         (equal ?E             (EndFn ?TI)))     (before ?S ?E))	Merge.kif 8397-8402	If a time interval is an instance of time interval and equal a time point and the beginning of the time interval and equal another time point and the end of the time interval, then the time point happens before the other time point
(=>     (and         (instance ?X Buffet)         (member ?ITEM ?X)         (located ?X ?LOC1)         (instance ?E Eating)         (agent ?E ?AGENT)         (eventLocated ?E ?LOC2)         (patient ?E ?ITEM))     (and         (not             (equal ?LOC1 ?LOC2))         (exists (?G)             (and                 (instance ?G Getting)                 (patient ?G ?ITEM)                 (origin ?G ?LOC1)                 (agent ?G ?AGENT)                 (before                     (WhenFn ?G)                     (WhenFn ?E))))))	Dining.kif 274-291	If a collection is an instance of buffet and a physical is a member of the collection and the collection is located at an object and a process is an instance of eating and an agent is an agent of the process and the process is located at another object and the physical is a patient of the process, then equal the object and the other object and there exists another process such that the other process is an instance of getting and the physical is a patient of the other process and the other process originates at the object and the agent is an agent of the other process and the time of existence of the other process happens before the time of existence of the process
(=>     (and         (instance ?X SurveillanceSystem)         (member ?X ?VIDEO)         (member ?X ?DISPLAY)         (located ?VIDEO ?LOC1)         (instance ?VIDEO Camera)         (located ?DISPLAY ?LOC2)         (not             (equal ?LOC1 ?LOC2))         (instance ?DISPLAY VideoDisplay))     (hasPurpose ?X         (exists (?PROC ?VID ?RL ?CAPTURE)             (and                 (instance ?PROC Process)                 (eventLocated ?PROC ?LOC1)                 (represents ?VID ?PROC)                 (instrument ?CAPTURE Camera)                 (result ?CAPTURE ?VID)                 (instance ?RL RadiatingLight)                 (instrument ?RL ?DISPLAY)                 (patient ?RL ?VID)                 (before                     (BeginFn ?PROC)                     (BeginFn ?CAPTURE))                 (before                     (BeginFn ?CAPTURE)                     (BeginFn ?RL))))))	Mid-level-ontology.kif 28858-28884	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and equal the object and the other object and the other collection is an instance of video display, 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 entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
(=>     (and         (instance ?Y1             (YearFn ?N1))         (instance ?Y2             (YearFn ?N2))         (equal ?T1             (BeginFn ?Y1))         (equal ?T2             (BeginFn ?Y2))         (greaterThan ?N2 ?N1))     (before ?T1 ?T2))	Merge.kif 8825-8832	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and the other integer is greater than the integer, then the time point happens before the other time point
(=>     (and         (property ?Option AmericanStyleOption)         (optionHolder ?Option ?Agent)         (agreementExpirationDate ?Option ?Day))     (holdsRight         (exists (?Exercise)             (and                 (instance ?Exercise ExerciseAnOption)                 (patient ?Exercise ?Option)                 (before                     (EndFn                         (WhenFn ?Exercise))                     (EndFn ?Day)))) ?Agent))	FinancialOntology.kif 2805-2817	If an agreement the attribute american style option and a cognitive agent holds the agreement and the agreement has expiration a time point, then the cognitive agent has the right to perform there exists an entity such that the entity is an instance of exercise an option and the agreement is a patient of the entity and the end of the time of existence of the entity happens before the end of the time point
(=>     (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 15984-15998	If a kind of series is a subclass of periodical and equal volume a positive integer in the series a kind of series and a kind of text and equal volume another positive integer in the series the kind of series and 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
(=>     (beforeOrEqual ?POINT1 ?POINT2)     (or         (before ?POINT1 ?POINT2)         (equal ?POINT1 ?POINT2)))	Merge.kif 8280-8284	If a time point happens before or at another time point, then the time point happens before the other time point or equal the time point and the other time point
(=>     (burnInPeriod ?EXP ?INTERVAL)     (before         (EndFn ?INTERVAL)         (EndFn             (WhenFn ?EXP))))	UXExperimentalTerms.kif 4316-4320	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
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