FutureFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FutureFn ChineseLanguage "这是一个 UnaryFunction，它把一个 TimePosition 联系到和它相遇并在 PositiveInfinity 结束的 TimeInterval。")	chinese_format.kif 2743-2744
(documentation FutureFn EnglishLanguage "A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.")	Merge.kif 8612-8613
(documentation FutureFn JapaneseLanguage "UnaryFunction は、PositiveInfinity で満たして終了する　TimePosition をマップする。")	japanese_format.kif 1469-1470
(domain FutureFn 1 TimePosition)	Merge.kif 8609-8609	The number 1 argument of future is an instance of time position
(instance FutureFn TemporalRelation)	Merge.kif 8606-8606	Future is an instance of temporal relation
(instance FutureFn TotalValuedRelation)	Merge.kif 8608-8608	Future is an instance of total valued relation
(instance FutureFn UnaryFunction)	Merge.kif 8607-8607	Future is an instance of unary function
(range FutureFn TimeInterval)	Merge.kif 8610-8610	The range of future is an instance of time interval

appearance as argument number 2

(format ChineseLanguage FutureFn "%1 之后")	chinese_format.kif 461-461
(format EnglishLanguage FutureFn "after %1")	english_format.kif 467-467
(format FrenchLanguage FutureFn "apr�s %1")	french_format.kif 267-267
(format ItalianLanguage FutureFn "dopo %1")	relations-it.txt 115-115
(format JapaneseLanguage FutureFn "%1 の after")	japanese_format.kif 2057-2057
(format PortugueseLanguage FutureFn "apos %1")	portuguese_format.kif 219-219
(format cz FutureFn "po %1'")	relations-cz.txt 273-273
(format de FutureFn "nach %1")	relations-de.txt 602-602
(format hi FutureFn "%1 ke baada")	relations-hindi.txt 155-155
(format ro FutureFn "after%t{dupã} %1")	relations-ro.kif 288-288
(format sv FutureFn "efter %1")	relations-sv.txt 294-294
(format tg FutureFn "pagkatapos ng %1")	relations-tg.txt 240-240
(termFormat ChineseLanguage FutureFn "未来")	domainEnglishFormat.kif 25332-25332
(termFormat ChineseLanguage FutureFn "未来函数")	chinese_format.kif 462-462
(termFormat ChineseTraditionalLanguage FutureFn "未來")	domainEnglishFormat.kif 25331-25331
(termFormat EnglishLanguage FutureFn "future")	domainEnglishFormat.kif 25330-25330
(termFormat de FutureFn "ZukunftFn")	terms-de.txt 186-186
(termFormat tg FutureFn "tungkulin ng pagkatapos")	relations-tg.txt 241-241

consequent

(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 15444-15447	If an agreement has expiration a time point, then the agreement does not have the attribute active agreement holds during after the time point
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 510-517	If a kind of time interval is an independence date of a geopolitical area and a time position is an instance of a kind of time interval, then there doesn't exist an entity such that the geopolitical area is a dependent of the entity holds during after the time position
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	Merge.kif 10347-10362	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12181-12197	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 438-455	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
(=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely))	Medicine.kif 3631-3647	If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity, then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12440-12446	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process
(=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 9848-9859	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then the statement blindness is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING)))	Merge.kif 13396-13401	If a process is an instance of naming and an entity is a patient of the process and the process ends up at another entity, then the entity has name the other entity holds during after the time of existence of the process
(=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP)))	Media.kif 153-160	If a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
(=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 468-483	If a financial transaction is an instance of withdrawing from an account and a financial account is an instance of financial account and the financial transaction originates at the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 23771-23779	If a process is an instance of suicide bombing and a cognitive agent is an agent of the process, then the cognitive agent believes dead is an attribute of the cognitive agent holds during after the time of existence of the process
(=> (instance ?AP Antidepressant) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Depression)))))))	Mid-level-ontology.kif 11044-11056	If a physical is an instance of anti-depressant, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and depressed is not an attribute of the other entity holds during after the time of existence of the entity
(=> (instance ?AP Antipsychotic) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Psychosis)))))))	Mid-level-ontology.kif 11064-11076	If a physical is an instance of anti-psychotic, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and psychosis is not an attribute of the other entity holds during after the time of existence of the entity
(=> (instance ?DISEASE VaccinatableDisease) (exists (?VACCINE ?HUMAN ?PUT) (and (instance ?VACCINE Vaccine) (instance ?PUT Putting) (destination ?PUT ?HUMAN) (instance ?HUMAN Human) (modalAttribute (holdsDuring (FutureFn (WhenFn ?PUT)) (not (attribute ?HUMAN ?DISEASE))) Likely))))	WMD.kif 1046-1059	If an entity is an instance of vaccinatable disease, then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely
(=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 8619-8621	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 ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 8615-8617	If a time interval is an instance of time interval, then the time interval meets after the time interval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 8633-8635	If a time position is an instance of time interval, then immediately after the time position starts after the time position
(=> (instance ?N AntiInflammatory) (hasPurpose ?N (exists (?I ?H ?IN) (and (instance ?I Inflammation) (experiencer ?H ?I) (instance ?IN Ingesting) (before (BeginFn (WhenFn ?I)) (BeginFn (WhenFn ?IN))) (holdsDuring (FutureFn (WhenFn ?I)) (not (exists (?I2) (and (instance ?I2 Inflammation) (experiencer ?I2 ?H)))))))))	Mid-level-ontology.kif 13770-13790	If a physical is an instance of anti-inflammatory, then the physical has the purpose there exist an entity, another entity and the entityN such that the entity is an instance of inflammation and the entity experiences the other entity and the entityN is an instance of ingesting and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the entityN and there doesn't exist the entity2 such that the entity2 is an instance of inflammation and the other entity experiences the entity2 holds during after the time of existence of the entity
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 23761-23769	If a process is an instance of suicide bombing, then there exists an agent such that the agent is an agent of the process and dead is an attribute of the agent holds during after the time of existence of the process

statement

(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2503-2506	Serbia is an instance of european nation and a time position is an instance of the day 5 of month the month June holds during after the time position
(holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2498-2501	Serbia is an instance of independent state and a time position is an instance of the day 5 of month the month June holds during after the time position
(holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2508-2511	Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 of month the month June holds during after the time position
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation)))	Media.kif 2530-2533	A time position is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after the time position
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState)))	Media.kif 2525-2528	A time position is an instance of the day 3 of month the month June and Montenegro is an instance of independent state holds during after the time position
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro)))	Media.kif 2535-2538	A time position is an instance of the day 3 of month the month June and Montenegro has name "Montenegro" holds during after the time position
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState))))	Media.kif 2548-2552	A time position is an instance of the day 3 of month the month June and serbia and montenegro is not an instance of independent state holds during after the time position

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

KB Term:			Term intersection

English Word: