| 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 8002-8003 | |
| (domain FutureFn 1 TimePosition) | Merge.kif 7999-7999 | |
| (instance FutureFn TemporalRelation) | Merge.kif 7996-7996 | |
| (instance FutureFn TotalValuedRelation) | Merge.kif 7998-7998 | |
| (instance FutureFn UnaryFunction) | Merge.kif 7997-7997 | |
| (range FutureFn TimeInterval) | Merge.kif 8000-8000 |
| 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 25306-25306 | |
| (termFormat ChineseLanguage FutureFn "未来函数") | chinese_format.kif 462-462 | |
| (termFormat ChineseTraditionalLanguage FutureFn "未來") | domainEnglishFormat.kif 25305-25305 | |
| (termFormat EnglishLanguage FutureFn "future") | domainEnglishFormat.kif 25304-25304 |
| consequent |
|
|
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 11691-11694 | |
| (=> (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 9670-9685 | |
| (=> (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 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 11473-11479 | |
| (=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 12342-12347 | |
| (=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP))) |
Media.kif 153-160 | |
| (=> (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 | |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 19944-19952 | |
| (=> (independenceDate ?COUNTRY1 ?DATE) (holdsDuring (FutureFn ?DATE) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 535-540 | |
| (=> (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 ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity))) |
Merge.kif 8009-8011 | |
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL))) |
Merge.kif 8005-8007 | |
| (=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL))) |
Merge.kif 8023-8025 | |
| (=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 19934-19942 |
| statement |
|
|
| (holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro EuropeanNation)) |
Media.kif 2507-2508 | |
| (holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (instance Montenegro IndependentState)) |
Media.kif 2505-2506 | |
| (holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro)) |
Media.kif 2509-2510 | |
| (holdsDuring (FutureFn (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState))) |
Media.kif 2519-2520 | |
| (holdsDuring (FutureFn (DayFn 5 (MonthFn June (YearFn 2006)))) (instance Serbia EuropeanNation)) |
Media.kif 2492-2493 | |
| (holdsDuring (FutureFn (DayFn 5 (MonthFn June (YearFn 2006)))) (instance Serbia IndependentState)) |
Media.kif 2490-2491 | |
| (holdsDuring (FutureFn (DayFn 5 (MonthFn June (YearFn 2006)))) (names "Republic of Serbia" Serbia)) |
Media.kif 2494-2495 |
|
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 3.0 is open source software produced by Articulate Software and its partners