| 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 8612-8613 | |
| (documentation FutureFn JapaneseLanguage "UnaryFunction は、PositiveInfinity で満たして 終了する TimePosition をマップする。") | japanese_format.kif 1469-1470 | |
| (domain FutureFn 1 TimePosition) | Merge.kif 8609-8609 | 未来函数 的 1 数量 是 时间位置 的 instance |
| (instance FutureFn TemporalRelation) | Merge.kif 8606-8606 | 未来函数 是 时间关系 的 instance |
| (instance FutureFn TotalValuedRelation) | Merge.kif 8608-8608 | 未来函数 是 总值关系 的 instance |
| (instance FutureFn UnaryFunction) | Merge.kif 8607-8607 | 未来函数 是 一元函数 的 instance |
| (range FutureFn TimeInterval) | Merge.kif 8610-8610 | 未来函数 的 range 是 时距 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage FutureFn "%1 之后") | chinese_format.kif 461-461 | |
| (format EnglishLanguage FutureFn "after %1") | english_format.kif 467-467 | |
| (format FrenchLanguage FutureFn "apr�s %1") | french_format.kif 267-267 | |
| (format ItalianLanguage FutureFn "dopo %1") | relations-it.txt 115-115 | |
| (format JapaneseLanguage FutureFn "%1 の after") | japanese_format.kif 2057-2057 | |
| (format PortugueseLanguage FutureFn "apos %1") | portuguese_format.kif 219-219 | |
| (format cz FutureFn "po %1'") | relations-cz.txt 273-273 | |
| (format de FutureFn "nach %1") | relations-de.txt 602-602 | |
| (format hi FutureFn "%1 ke baada") | relations-hindi.txt 155-155 | |
| (format ro FutureFn "after%t{dupã} %1") | relations-ro.kif 288-288 | |
| (format sv FutureFn "efter %1") | relations-sv.txt 294-294 | |
| (format tg FutureFn "pagkatapos ng %1") | relations-tg.txt 240-240 | |
| (termFormat ChineseLanguage FutureFn "未来") | domainEnglishFormat.kif 25315-25315 | |
| (termFormat ChineseLanguage FutureFn "未来函数") | chinese_format.kif 462-462 | |
| (termFormat ChineseTraditionalLanguage FutureFn "未來") | domainEnglishFormat.kif 25314-25314 | |
| (termFormat EnglishLanguage FutureFn "future") | domainEnglishFormat.kif 25313-25313 | |
| (termFormat de FutureFn "ZukunftFn") | terms-de.txt 186-186 | |
| (termFormat tg FutureFn "tungkulin ng pagkatapos") | relations-tg.txt 241-241 |
| consequent |
|
|
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 15426-15429 |
|
| (=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 510-517 | |
| (=> (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 10347-10362 | |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12181-12197 |
|
| (=> (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 438-455 | |
| (=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely)) |
Medicine.kif 3631-3647 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12440-12446 | |
| (=> (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 9830-9841 | |
| (=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 13396-13401 | |
| (=> (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 (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 468-483 | |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 23754-23762 | |
| (=> (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 11026-11038 | |
| (=> (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 11046-11058 | |
| (=> (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 ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity))) |
Merge.kif 8619-8621 | |
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL))) |
Merge.kif 8615-8617 | |
| (=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL))) |
Merge.kif 8633-8635 | |
| (=> (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 13752-13772 |
|
| (=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 23744-23752 |
| statement |
|
|
|
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