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 7849-7850
(domain FutureFn 1 TimePosition)	Merge.kif 7846-7846	domain FutureFn, 1 and TimePosition
(instance FutureFn TemporalRelation)	Merge.kif 7843-7843	instance FutureFn and TemporalRelation
(instance FutureFn TotalValuedRelation)	Merge.kif 7845-7845	instance FutureFn and TotalValuedRelation
(instance FutureFn UnaryFunction)	Merge.kif 7844-7844	instance FutureFn and UnaryFunction
(range FutureFn TimeInterval)	Merge.kif 7847-7847	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 25237-25237	termFormat ChineseLanguage, FutureFn and "未来"
(termFormat ChineseLanguage FutureFn "未来函数")	chinese_format.kif 462-462	termFormat ChineseLanguage, FutureFn and "未来函数"
(termFormat ChineseTraditionalLanguage FutureFn "未來")	domainEnglishFormat.kif 25236-25236	termFormat ChineseTraditionalLanguage, FutureFn and "未來"
(termFormat EnglishLanguage FutureFn "future")	domainEnglishFormat.kif 25235-25235	termFormat EnglishLanguage, FutureFn and "future"

consequent

(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 11663-11666	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 9511-9526	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 11317-11323	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 12189-12194	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 19901-19909	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 7856-7858	instance TimeInterval and TimeInterval equal FutureFn TimeInterval and TimeIntervalFn EndFn TimeInterval and PositiveInfinity
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 7852-7854	instance TimeInterval and TimeInterval meetsTemporally TimeInterval and FutureFn TimeInterval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 7870-7872	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 19891-19899	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