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 8552-8553
(documentation FutureFn JapaneseLanguage "UnaryFunction は、PositiveInfinity で満たして終了する　TimePosition をマップする。")	japanese_format.kif 1469-1470
(domain FutureFn 1 TimePosition)	Merge.kif 8549-8549	FutureFn の数値 1 引数は時間位置の instance では %n
(instance FutureFn TemporalRelation)	Merge.kif 8546-8546	FutureFn は時間関係の instance では %n
(instance FutureFn TotalValuedRelation)	Merge.kif 8548-8548	FutureFn は合計値関係の instance では %n
(instance FutureFn UnaryFunction)	Merge.kif 8547-8547	FutureFn は 1変数関数の instance では %n
(range FutureFn TimeInterval)	Merge.kif 8550-8550	FutureFn の range は時間間隔のインスタンスでは %n

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 14911-14914	agreementExpirationDate Agreement and 時点 Agreement には attribute ActiveAgreement ないは時点の after の during holds %n{ない}
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 510-517	independenceDate 地政学的地域 and 時間間隔時間位置は時間間隔の instance では %n エンティティー dependentGeopoliticalArea 地政学的地域 and エンティティーは時間位置の after の during holds %n{ない}
(=> (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 10283-10298	工程は死の instance では %n AutonomousAgent は物の instance では %n AutonomousAgent が工程を experiences %n{ない} エンティティーエンティティーエンティティーは工程の result では %n エンティティーは有機物の instance では %n Dead はエンティティーの attribute では %n は工程の time の existence の after の during holds %n{ない} エンティティーはエンティティーの part では %n は工程の time の existence のすぐ after の during holds %n{ない} エンティティーは AutonomousAgent の part では %n は工程の time の existence の immediately before の during holds %n{ない}
(=> (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 12117-12133	工程は Deciding の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の patient では %n エンティティーはセットの instance では %n ContentBearingPhysical は工程の result では %n ContentBearingPhysical は ContentBearingPhysical の instance では %n containsFormula ContentBearingPhysical and エンティティーエンティティーはエンティティーの element %n エンティティーは意図的なプロセスの instance では %n AutonomousAgent はエンティティーの agent では %n は工程の time の existence の after の during holds %n{ない}
(=> (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 436-453	金融取引は Deposit の instance では %n FinancialAccount は FinancialAccount の instance では %n 金融取引は CurrencyFn FinancialAccount に ends %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) 実数は ( 実数 + 実数) と equal では %n currentAccountBalance FinancialAccount, 金融取引の after のすぐ after and 実数の測定単位(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 3616-3632	移動は Injecting の instance では %n オブジェクトは Adalimumab の instance では %n objectTransferred 移動 and オブジェクト移動はオブジェクトに located して %n オブジェクトは体の部分の instance では %n 移動はエンティティーに ends %n{ない} ステートメントエンティティー PainFn オブジェクトはエンティティーの attribute では %n はエンティティーの during holds %n{ない} エンティティーは移動の time の existence の after の during に takes %n{ない} には Likely の modal force がある
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12376-12382	工程は殺害の instance では %n エンティティーは工程の patient では %n Living はエンティティーの attribute では %n は工程の time の existence の beginning の during holds %n{ない} Dead はエンティティーの attribute では %n は工程の time の existence の after の during holds %n{ない}
(=> (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 9324-9335	オブジェクトは Poison の instance では %n motion は摂取の instance では %n moves motion and オブジェクト AutonomousAgent が motion を experiences %n{ない} ステートメント Blind は AutonomousAgent の attribute では %n は motion の time の existence の after の during holds %n{ない} には Possibility の modal force がある
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING)))	Merge.kif 13328-13333	工程は Naming の instance では %n エンティティーは工程の patient では %n 工程はエンティティーに ends %n{ない} エンティティーはエンティティーの name を持って %n{ない} は工程の time の existence の after の during holds %n{ない}
(=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP)))	Media.kif 153-160	工程は ReachingAgreement の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の result では %n エンティティーは Agreement の instance では %n partyToAgreement AutonomousAgent and エンティティーは工程の time の existence の after の during holds %n{ない}
(=> (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 466-481	金融取引は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 金融取引は FinancialAccount から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) 実数は ( 実数 + 実数) と equal では %n currentAccountBalance FinancialAccount, 金融取引の after のすぐ after and 実数の測定単位(s)
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 23054-23062	工程は SuicideBombing の instance では %n 認識エージェントは工程の agent では %n 認識エージェントは Dead は認識エージェントの attribute では %n は工程の time の existence の after の during holds %n{ない} を believes %n{ない}
(=> (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 10521-10533	物理は Antidepressant の instance では %n 物理はエンティティーエンティティーエンティティーは摂取の instance では %n objectTransferred エンティティー and 物理エンティティーは物理の agent では %n Depression はエンティティーの attribute でははエンティティーの time の existence の after の during holds %n{ない} の目的 %n{ない}
(=> (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 10541-10553	物理は Antipsychotic の instance では %n 物理はエンティティーエンティティーエンティティーは摂取の instance では %n objectTransferred エンティティー and 物理エンティティーは物理の agent では %n Psychosis はエンティティーの attribute でははエンティティーの time の existence の after の during holds %n{ない} の目的 %n{ない}
(=> (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	エンティティーは VaccinatableDisease の instance では %n エンティティーエンティティー and 工程エンティティーは Vaccine の instance では %n 工程は置くの instance では %n 工程はエンティティーに ends %n{ない} エンティティーは人［人間］の instance では %n ステートメントエンティティーはエンティティーの attribute ではは工程の time の existence の after の during holds %n{ない} には Likely の modal force がある
(=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 8559-8561	時間間隔は時間間隔の instance では %n 時間間隔の after は時間間隔の end と PositiveInfinity の interval と equal では %n
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 8555-8557	時間間隔は時間間隔の instance では %n 時間間隔は時間間隔の after に meets %n{ない}
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 8573-8575	時間位置は時間間隔の instance では %n 時間位置のすぐ after は時間位置の after を starts %n{ない}
(=> (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 13245-13265	物理は AntiInflammatory の instance では %n 物理はエンティティーエンティティー and エンティティーN エンティティーは Inflammation の instance では %n エンティティーがエンティティーを experiences %n{ない} エンティティーN は摂取の instance では %n エンティティーの time の existence の beginning はエンティティーN の time の existence の beginning の before に happens %n{ない} エンティティー2 エンティティー2 は Inflammation の instance では %n エンティティーがエンティティー2 を experiences %n{ない} はエンティティーの time の existence の after の during holds %n{ない} の目的 %n{ない}
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 23044-23052	工程は SuicideBombing の instance では %n AutonomousAgent AutonomousAgent は工程の agent では %n Dead は AutonomousAgent の attribute では %n は工程の time の existence の after の during holds %n{ない}

statement

(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2501-2504	Serbia は EuropeanNation の instance では %n 時間位置は 5 day 目の instance では %n は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2496-2499	Serbia は IndependentState の instance では %n 時間位置は 5 day 目の instance では %n は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2506-2509	Serbia は "Republic of Serbia" の name を持って %n{ない} 時間位置は 5 day 目の instance では %n は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation)))	Media.kif 2528-2531	時間位置は 3 day 目の instance では %n Montenegro は EuropeanNation の instance では %n は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState)))	Media.kif 2523-2526	時間位置は 3 day 目の instance では %n Montenegro は IndependentState の instance では %n は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro)))	Media.kif 2533-2536	時間位置は 3 day 目の instance では %n Montenegro は "Montenegro" の name を持って %n{ない} は時間位置の after の during holds %n{ない}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState))))	Media.kif 2546-2550	時間位置は 3 day 目の instance では %n SerbiaAndMontenegro は IndependentState の instance ではは時間位置の after の during holds %n{ない}

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: