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 7950-7951
(domain FutureFn 1 TimePosition)	Merge.kif 7947-7947	domain FutureFn, 1 and TimePosition
(instance FutureFn TemporalRelation)	Merge.kif 7944-7944	instance FutureFn and TemporalRelation
(instance FutureFn TotalValuedRelation)	Merge.kif 7946-7946	instance FutureFn and TotalValuedRelation
(instance FutureFn UnaryFunction)	Merge.kif 7945-7945	instance FutureFn and UnaryFunction
(range FutureFn TimeInterval)	Merge.kif 7948-7948	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 11716-11719	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 9612-9627	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 11418-11424	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 12290-12295	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 19965-19973	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 7957-7959	instance TimeInterval and TimeInterval equal FutureFn TimeInterval and TimeIntervalFn EndFn TimeInterval and PositiveInfinity
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 7953-7955	instance TimeInterval and TimeInterval meetsTemporally TimeInterval and FutureFn TimeInterval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 7971-7973	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 19955-19963	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