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 8550-8551
(documentation FutureFn JapaneseLanguage "UnaryFunction は、PositiveInfinity で満たして終了する　TimePosition をマップする。")	japanese_format.kif 1469-1470
(domain FutureFn 1 TimePosition)	Merge.kif 8547-8547	Die Zahl 1 Argument von FutureFn ist ein fall von TimePosition %n{nicht}
(instance FutureFn TemporalRelation)	Merge.kif 8544-8544	FutureFn ist ein fall von TemporalRelation %n{nicht}
(instance FutureFn TotalValuedRelation)	Merge.kif 8546-8546	FutureFn ist ein fall von TotalValuedRelation %n{nicht}
(instance FutureFn UnaryFunction)	Merge.kif 8545-8545	FutureFn ist ein fall von UnaryFunction %n{nicht}
(range FutureFn TimeInterval)	Merge.kif 8548-8548	bildbereich von FutureFn ist ein fall von TimeInterval {nicht}

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 25304-25304
(termFormat ChineseLanguage FutureFn "未来函数")	chinese_format.kif 462-462
(termFormat ChineseTraditionalLanguage FutureFn "未來")	domainEnglishFormat.kif 25303-25303
(termFormat EnglishLanguage FutureFn "future")	domainEnglishFormat.kif 25302-25302
(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 14082-14085	Wenn agreementExpirationDate Agreement and TimePoint, dann Agreement hat ein attribut ActiveAgreement nicht haelt waehrend nach TimePoint %n{nicht}
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 510-517	Wenn independenceDate GeopoliticalArea and TimeInterval und TimePosition ist ein fall von TimeInterval %n{nicht}, dann es gibt nicht entity um dependentGeopoliticalArea GeopoliticalArea and entity haelt waehrend nach ** TimePosition %n{nicht}
(=> (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 10258-10273	Wenn Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Entity und entity um Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von OrganicObject %n{nicht} und Dead ist ein attribut von Entity %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht} und wenn entity ist ein teil von Entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht}
(=> (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 12092-12108	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Set %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingPhysical %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt entity um entity ist ein element von Entity %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht}
(=> (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	Wenn FinancialTransaction ist ein fall von Deposit %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und FinancialTransaction endet an CurrencyFn FinancialAccount %n{nicht} und transactionAmount FinancialTransaction and RealNumber UnitOfMeasure(s) und currentAccountBalance FinancialAccount, direkt vor die zeit des Bestehens von FinancialTransaction and RealNumber UnitOfMeasure(s) und RealNumber ist gleich ( RealNumber und RealNumber) %n{nicht}, dann currentAccountBalance FinancialAccount, sofort nach nach FinancialTransaction and RealNumber UnitOfMeasure(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 3628-3644	Wenn Transfer ist ein fall von Injecting %n{nicht} und Object ist ein fall von Adalimumab %n{nicht} und objectTransferred Transfer and Object und Transfer befindet sich an %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Transfer endet an Entity %n{nicht}, dann die Aussage es gibt entity um PainFn Object ist ein attribut von Entity %n{nicht} haelt waehrend entity %n{nicht} und entity geschieht waehrend nach die zeit des Bestehens von Transfer %n{nicht} hat die modale Kraft von 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 12351-12357	Wenn Process ist ein fall von Killing %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Living ist ein attribut von Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Dead ist ein attribut von Entity %n{nicht} haelt waehrend nach die zeit des Bestehens von ** Process %n{nicht}
(=> (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 8651-8662	Wenn Object ist ein fall von Poison %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und moves Motion and Object und AutonomousAgent erfaehrt Motion %n{nicht}, dann die Aussage Blind ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von ** Motion %n{nicht} hat die modale Kraft von Possibility
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING)))	Merge.kif 13303-13308	Wenn Process ist ein fall von Naming %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an Entity %n{nicht}, dann names Entity and Entity haelt waehrend nach die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP)))	Media.kif 153-160	Wenn Process ist ein fall von ReachingAgreement %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von Agreement %n{nicht}, dann partyToAgreement AutonomousAgent and Entity haelt waehrend nach die zeit des Bestehens von Process %n{nicht}
(=> (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	Wenn FinancialTransaction ist ein fall von Withdrawal %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und FinancialTransaction beginnet an FinancialAccount %n{nicht} und transactionAmount FinancialTransaction and RealNumber UnitOfMeasure(s) und currentAccountBalance FinancialAccount, direkt vor die zeit des Bestehens von FinancialTransaction and RealNumber UnitOfMeasure(s) und RealNumber ist gleich ( RealNumber und RealNumber) %n{nicht}, dann currentAccountBalance FinancialAccount, sofort nach nach FinancialTransaction and RealNumber UnitOfMeasure(s)
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 22163-22171	Wenn Process ist ein fall von SuicideBombing %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann CognitiveAgent glaubt %n{nicht}, dass Dead ist ein attribut von CognitiveAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht}
(=> (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 9724-9736	Wenn Physical ist ein fall von Antidepressant %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Ingesting %n{nicht} und objectTransferred entity and Physical und Physical ist der agent von entity %n{nicht} und Depression ist ein attribut von entity nicht haelt waehrend nach die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (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 9744-9756	Wenn Physical ist ein fall von Antipsychotic %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Ingesting %n{nicht} und objectTransferred entity and Physical und Physical ist der agent von entity %n{nicht} und Psychosis ist ein attribut von entity nicht haelt waehrend nach die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Entity ist ein fall von VaccinatableDisease %n{nicht}, dann es gibt Entity, Entity, and und Process um Entity ist ein fall von Vaccine %n{nicht} und Process ist ein fall von Putting %n{nicht} und Process endet an Entity %n{nicht} und Entity ist ein fall von Human %n{nicht} und die Aussage Entity ist ein attribut von Entity nicht haelt waehrend nach die zeit des Bestehens von Process %n{nicht} hat die modale Kraft von Likely
(=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 8557-8559	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht}, dann nach TimeInterval ist gleich abstand zwischen das ende von TimeInterval und PositiveInfinity %n{nicht}
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 8553-8555	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht}, dann TimeInterval schliesst nach TimeInterval zeitlich an
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 8571-8573	Wenn TimePosition ist ein fall von TimeInterval %n{nicht}, dann sofort nach TimePosition beginnt nach TimePosition %n{nicht}
(=> (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 12448-12468	Wenn Physical ist ein fall von AntiInflammatory %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entityN um entity ist ein fall von Inflammation %n{nicht} und entity erfaehrt entity %n{nicht} und entityN ist ein fall von Ingesting %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entityN %n{nicht} und es gibt nicht entity2 um entity2 ist ein fall von Inflammation %n{nicht} und entity erfaehrt entity2 %n{nicht} haelt waehrend nach die zeit des Bestehens von entity %n{nicht} %n{nicht}
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 22153-22161	Wenn Process ist ein fall von SuicideBombing %n{nicht}, dann es gibt AutonomousAgent um Process ist der agent von AutonomousAgent %n{nicht} und Dead ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht}

statement

(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2501-2504	Serbia ist ein fall von EuropeanNation %n{nicht} und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2496-2499	Serbia ist ein fall von IndependentState %n{nicht} und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2506-2509	names "Republic of Serbia" and Serbia und TimePosition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation)))	Media.kif 2528-2531	TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von EuropeanNation %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState)))	Media.kif 2523-2526	TimePosition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von IndependentState %n{nicht} haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro)))	Media.kif 2533-2536	TimePosition ist ein fall von der tag 3 %n{nicht} und names "Montenegro" and Montenegro haelt waehrend nach ** TimePosition %n{nicht}
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState))))	Media.kif 2546-2550	TimePosition ist ein fall von der tag 3 %n{nicht} und SerbiaAndMontenegro ist ein fall von IndependentState nicht haelt waehrend nach ** TimePosition %n{nicht}

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: