FutureFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FutureFn

FutureFn

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 7940-7941
(domain FutureFn 1 TimePosition)	Merge.kif 7937-7937	domain FutureFn, 1 and TimePosition
(instance FutureFn TemporalRelation)	Merge.kif 7934-7934	instance FutureFn and TemporalRelation
(instance FutureFn TotalValuedRelation)	Merge.kif 7936-7936	instance FutureFn and TotalValuedRelation
(instance FutureFn UnaryFunction)	Merge.kif 7935-7935	instance FutureFn and UnaryFunction
(range FutureFn TimeInterval)	Merge.kif 7938-7938	range FutureFn and TimeInterval

appearance as argument number 2

(format ChineseLanguage FutureFn "%1 之后")	chinese_format.kif 461-461
(format EnglishLanguage FutureFn "after %1")	english_format.kif 470-470
(termFormat ChineseLanguage FutureFn "未来")	domainEnglishFormat.kif 25231-25231
(termFormat ChineseLanguage FutureFn "未来函数")	chinese_format.kif 462-462
(termFormat ChineseTraditionalLanguage FutureFn "未來")	domainEnglishFormat.kif 25230-25230
(termFormat EnglishLanguage FutureFn "future")	domainEnglishFormat.kif 25229-25229

consequent

(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 11664-11667	agreementExpirationDate Agreement and TimePoint holdsDuring FutureFn TimePoint and property Agreement and ActiveAgreement
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (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 9602-9617	instance Process and Death instance Agent and Organism experiencer Process and Agent Entity result Process and Entity instance Entity and OrganicObject holdsDuring FutureFn WhenFn Process and attribute Entity and Dead holdsDuring ImmediateFutureFn WhenFn Process and part entity and Entity holdsDuring ImmediatePastFn WhenFn Process and part entity and Agent
(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) ?Balance1) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) ?Balance2))	FinancialOntology.kif 428-436	instance FinancialTransaction and Deposit instance FinancialAccount and FinancialAccount destination FinancialTransaction and CurrencyFn FinancialAccount transactionAmount FinancialTransaction and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and CurrencyMeasure equal CurrencyMeasure and AdditionFn CurrencyMeasure and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediateFutureFn FutureFn FinancialTransaction and CurrencyMeasure
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 11408-11414	instance Process and Killing patient Process and Entity holdsDuring BeginFn WhenFn Process and attribute Entity and Living holdsDuring FutureFn WhenFn Process and attribute Entity and Dead
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING)))	Merge.kif 12280-12285	instance Process and Naming patient Process and Entity destination Process and Entity holdsDuring FutureFn WhenFn Process and names Entity and Entity
(=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP)))	Media.kif 153-160	instance Process and ReachingAgreement agent Process and Agent result Process and Entity instance Entity and Agreement holdsDuring FutureFn WhenFn Process and partyToAgreement Agent and Entity
(=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) ?Balance2))	FinancialOntology.kif 449-457	instance FinancialTransaction and Withdrawal instance FinancialAccount and FinancialAccount origin FinancialTransaction and FinancialAccount transactionAmount FinancialTransaction and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and CurrencyMeasure equal CurrencyMeasure and SubtractionFn CurrencyMeasure and CurrencyMeasure currentAccountBalance FinancialAccount, ImmediateFutureFn FutureFn FinancialTransaction and CurrencyMeasure
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 19913-19921	instance Process and SuicideBombing agent Process and CognitiveAgent believes CognitiveAgent and holdsDuring FutureFn WhenFn Process and attribute CognitiveAgent and Dead
(=> (independenceDate ?COUNTRY1 ?DATE) (holdsDuring (FutureFn ?DATE) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 535-540	independenceDate GeopoliticalArea and TimeInterval holdsDuring FutureFn TimeInterval and entity dependentGeopoliticalArea GeopoliticalArea and entity
(=> (instance ?DISEASE VaccinatableDisease) (exists (?VACCINE) (and (instance ?VACCINE BiologicallyActiveSubstance) (=> (and (instance ?PUT Putting) (destination ?PUT ?HUMAN) (instance ?HUMAN Human)) (holdsDuring (FutureFn (WhenFn ?PUT)) (not (attribute ?HUMAN ?DISEASE)))))))	WMD.kif 998-1008	instance Entity and VaccinatableDisease Entity instance Entity and BiologicallyActiveSubstance instance Process and Putting destination Process and Entity instance Entity and Human holdsDuring FutureFn WhenFn Process and attribute Entity and Entity
(=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 7947-7949	instance TimeInterval and TimeInterval equal FutureFn TimeInterval and TimeIntervalFn EndFn TimeInterval and PositiveInfinity
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 7943-7945	instance TimeInterval and TimeInterval meetsTemporally TimeInterval and FutureFn TimeInterval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 7961-7963	instance TimePosition and TimeInterval starts ImmediateFutureFn TimePosition and FutureFn TimePosition
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 19903-19911	instance Process and SuicideBombing Agent agent Process and Agent holdsDuring FutureFn WhenFn Process and attribute Agent and Dead

statement

(holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation))	Media.kif 2507-2508	holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance Montenegro and EuropeanNation
(holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState))	Media.kif 2505-2506	holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance Montenegro and IndependentState
(holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro))	Media.kif 2509-2510	holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and names "Montenegro" and Montenegro
(holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))	Media.kif 2519-2520	holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance SerbiaAndMontenegro and IndependentState
(holdsDuring (FutureFn (DayFn 5 (MonthFn June (YearFn 2006)))) (instance Serbia EuropeanNation))	Media.kif 2492-2493	holdsDuring FutureFn DayFn 5 and MonthFn June and YearFn 2006 and instance Serbia and EuropeanNation
(holdsDuring (FutureFn (DayFn 5 (MonthFn June (YearFn 2006)))) (instance Serbia IndependentState))	Media.kif 2490-2491	holdsDuring FutureFn DayFn 5 and MonthFn June and YearFn 2006 and instance Serbia and IndependentState
(holdsDuring (FutureFn (DayFn 5 (MonthFn June (YearFn 2006)))) (names "Republic of Serbia" Serbia))	Media.kif 2494-2495	holdsDuring FutureFn DayFn 5 and MonthFn June and YearFn 2006 and names "Republic of Serbia" and Serbia

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners