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 8451-8452
(domain FutureFn 1 TimePosition)	Merge.kif 8448-8448	domain FutureFn, 1 and TimePosition
(instance FutureFn TemporalRelation)	Merge.kif 8445-8445	instance FutureFn and TemporalRelation
(instance FutureFn TotalValuedRelation)	Merge.kif 8447-8447	instance FutureFn and TotalValuedRelation
(instance FutureFn UnaryFunction)	Merge.kif 8446-8446	instance FutureFn and UnaryFunction
(range FutureFn TimeInterval)	Merge.kif 8449-8449	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 25298-25298
(termFormat ChineseLanguage FutureFn "未来函数")	chinese_format.kif 462-462
(termFormat ChineseTraditionalLanguage FutureFn "未來")	domainEnglishFormat.kif 25297-25297
(termFormat EnglishLanguage FutureFn "future")	domainEnglishFormat.kif 25296-25296

consequent

(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 13901-13904	agreementExpirationDate Agreement and TimePoint holdsDuring FutureFn TimePoint and property Agreement and ActiveAgreement
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))	Government.kif 546-553	independenceDate GeopoliticalArea and TimeInterval instance TimePosition and TimeInterval holdsDuring FutureFn TimePosition and entity dependentGeopoliticalArea GeopoliticalArea and entity
(=> (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 10178-10193	instance Process and Death instance AutonomousAgent and Organism experiencer Process and AutonomousAgent Entity 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 AutonomousAgent
(=> (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 12167-12173	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 8583-8594	instance Object and Poison instance Motion and Ingesting moves Motion and Object experiencer Motion and AutonomousAgent modalAttribute holdsDuring FutureFn WhenFn Motion and attribute AutonomousAgent and Blind and Possibility
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING)))	Merge.kif 13119-13124	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 AutonomousAgent result Process and Entity instance Entity and Agreement holdsDuring FutureFn WhenFn Process and partyToAgreement AutonomousAgent 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 FinancialAccount and FinancialAccount origin FinancialTransaction and FinancialAccount transactionAmount FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure equal RealNumber and SubtractionFn RealNumber and RealNumber currentAccountBalance FinancialAccount, 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 22059-22067	instance Process and SuicideBombing agent Process and CognitiveAgent believes CognitiveAgent and holdsDuring FutureFn WhenFn Process and attribute CognitiveAgent and Dead
(=> (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 9625-9637	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 9645-9657	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 ?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	instance Entity and VaccinatableDisease Entity Entity and Process 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 8458-8460	instance TimeInterval and TimeInterval equal FutureFn TimeInterval and TimeIntervalFn EndFn TimeInterval and PositiveInfinity
(=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL)))	Merge.kif 8454-8456	instance TimeInterval and TimeInterval meetsTemporally TimeInterval and FutureFn TimeInterval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 8472-8474	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 12268-12288	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 22049-22057	instance Process and SuicideBombing AutonomousAgent agent Process and AutonomousAgent holdsDuring FutureFn WhenFn Process and attribute AutonomousAgent and Dead

statement

(holdsDuring (FutureFn ?T) (and (instance Serbia EuropeanNation) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006))))))	Media.kif 2501-2504	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 2496-2499	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 2506-2509	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 2528-2531	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 2523-2526	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 2533-2536	holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 names "Montenegro" and Montenegro
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState))))	Media.kif 2546-2550	holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance SerbiaAndMontenegro and IndependentState

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