TreeView Knowledge Base Browser - FutureFn

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 8416-8417
(domain FutureFn 1 TimePosition)	Merge.kif 8413-8413	domain FutureFn, 1 and TimePosition
(instance FutureFn TemporalRelation)	Merge.kif 8410-8410	instance FutureFn and TemporalRelation
(instance FutureFn TotalValuedRelation)	Merge.kif 8412-8412	instance FutureFn and TotalValuedRelation
(instance FutureFn UnaryFunction)	Merge.kif 8411-8411	instance FutureFn and UnaryFunction
(range FutureFn TimeInterval)	Merge.kif 8414-8414	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 467-467
(termFormat ChineseLanguage FutureFn "未来")	domainEnglishFormat.kif 25299-25299
(termFormat ChineseLanguage FutureFn "未来函数")	chinese_format.kif 462-462
(termFormat ChineseTraditionalLanguage FutureFn "未來")	domainEnglishFormat.kif 25298-25298
(termFormat EnglishLanguage FutureFn "future")	domainEnglishFormat.kif 25297-25297

consequent

(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 13521-13524	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 10130-10145	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 (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	instance FinancialTransaction and Deposit instance FinancialAccount and FinancialAccount destination FinancialTransaction and CurrencyFn FinancialAccount transactionAmount FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure equal RealNumber and AdditionFn RealNumber and RealNumber currentAccountBalance FinancialAccount, ImmediateFutureFn FutureFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12075-12081	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 ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 8227-8238	instance Object and Poison instance Motion and Ingesting moves Motion and Object experiencer Motion and Agent modalAttribute holdsDuring FutureFn WhenFn Motion and attribute Agent and Blind and Possibility
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING)))	Merge.kif 13011-13016	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 (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	instance FinancialTransaction and Withdrawal instance Object and FinancialAccount origin FinancialTransaction and Object transactionAmount FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure currentAccountBalance Object, ImmediatePastFn WhenFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure equal RealNumber and SubtractionFn RealNumber and RealNumber currentAccountBalance Object, ImmediateFutureFn FutureFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 21568-21576	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 534-539	independenceDate GeopoliticalArea and TimeInterval holdsDuring FutureFn TimeInterval and entity dependentGeopoliticalArea GeopoliticalArea and entity
(=> (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 9265-9277	instance Physical and Antidepressant hasPurpose Physical and entity entity instance entity and Ingesting objectTransferred entity and Physical agent Physical and entity holdsDuring FutureFn WhenFn entity and attribute entity and Depression
(=> (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 9285-9297	instance Physical and Antipsychotic hasPurpose Physical and entity entity instance entity and Ingesting objectTransferred entity and Physical agent Physical and entity holdsDuring FutureFn WhenFn entity and attribute entity and Psychosis
(=> (instance ?DISEASE VaccinatableDisease) (exists (?VACCINE) (and (instance ?VACCINE Vaccine) (=> (and (instance ?PUT Putting) (destination ?PUT ?HUMAN) (instance ?HUMAN Human)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?PUT)) (not (attribute ?HUMAN ?DISEASE))) Likely)))))	WMD.kif 1037-1053	instance Entity and VaccinatableDisease Entity instance Entity and Vaccine instance Process and Putting destination Process and Entity instance Entity and Human modalAttribute holdsDuring FutureFn WhenFn Process and attribute Entity and Entity and Likely
(=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 8423-8425	instance TimeInterval and TimeInterval equal FutureFn TimeInterval and TimeIntervalFn EndFn TimeInterval and PositiveInfinity
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 8419-8421	instance TimeInterval and TimeInterval meetsTemporally TimeInterval and FutureFn TimeInterval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 8437-8439	instance TimePosition and TimeInterval starts ImmediateFutureFn TimePosition and FutureFn TimePosition
(=> (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 11898-11918	instance Physical and AntiInflammatory hasPurpose Physical and entity entity and entityN instance entity and Inflammation experiencer entity and entity instance entityN and Ingesting before BeginFn WhenFn entity and BeginFn WhenFn entityN holdsDuring FutureFn WhenFn entity and entity instance entity and Inflammation experiencer entity and entity
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 21558-21566	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)))) (not (instance SerbiaAndMontenegro IndependentState)))	Media.kif 2537-2538	holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance SerbiaAndMontenegro and IndependentState
(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2492-2495	holdsDuring FutureFn TimePosition and instance Serbia and EuropeanNation instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring (FutureFn ?T) (and (instance Serbia IndependentState) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2487-2490	holdsDuring FutureFn TimePosition and instance Serbia and IndependentState instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2497-2500	holdsDuring FutureFn TimePosition and names "Republic of Serbia" and Serbia instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation)))	Media.kif 2519-2522	holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance Montenegro and EuropeanNation
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState)))	Media.kif 2514-2517	holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance Montenegro and IndependentState
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro)))	Media.kif 2524-2527	holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 names "Montenegro" and Montenegro

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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