Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediateFutureFn
ImmediateFutureFn

appearance as argument number 1
-------------------------


(documentation ImmediateFutureFn ChineseLanguage "这是一个 UnaryFunction, 它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval。") chinese_format.kif 2745-2746
(documentation ImmediateFutureFn EnglishLanguage "A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition.") Merge.kif 8531-8533
(documentation ImmediateFutureFn JapaneseLanguage "UnaryFunction は、TimePosition を、 TimePosition の直後に続く短い不確定 TimeInterval にマップする。") japanese_format.kif 1471-1472
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8528-8528 The number 1 argument of immediate future is an instance of time position
(instance ImmediateFutureFn TemporalRelation) Merge.kif 8525-8525 Immediate future is an instance of temporal relation
(instance ImmediateFutureFn TotalValuedRelation) Merge.kif 8527-8527 Immediate future is an instance of total valued relation
(instance ImmediateFutureFn UnaryFunction) Merge.kif 8526-8526 Immediate future is an instance of unary function
(range ImmediateFutureFn TimeInterval) Merge.kif 8529-8529 The range of immediate future is an instance of time interval

appearance as argument number 2
-------------------------


(format ChineseLanguage ImmediateFutureFn "紧接 %1 after") chinese_format.kif 463-463
(format EnglishLanguage ImmediateFutureFn "immediately after %1") english_format.kif 469-469
(format FrenchLanguage ImmediateFutureFn "immediatement apr�s %1") french_format.kif 268-268
(format ItalianLanguage ImmediateFutureFn "immediatamente dopo %1") relations-it.txt 137-137
(format JapaneseLanguage ImmediateFutureFn "%1 の すぐ after") japanese_format.kif 2058-2058
(format PortugueseLanguage ImmediateFutureFn "imediatemente apos %1") portuguese_format.kif 220-220
(format cz ImmediateFutureFn "pr�v� po %1'") relations-cz.txt 274-274
(format de ImmediateFutureFn "sofort nach %1") relations-de.txt 605-605
(format hi ImmediateFutureFn "%1 ke tatkaala baada") relations-hindi.txt 176-176
(format ro ImmediateFutureFn "imediat after%t{dupã} %1") relations-ro.kif 289-289
(format sv ImmediateFutureFn "omedelbart efter %1") relations-sv.txt 295-295
(format tg ImmediateFutureFn "pagkatopos ng agad sa %1") relations-tg.txt 278-278
(termFormat ChineseLanguage ImmediateFutureFn "眼前的未来") domainEnglishFormat.kif 29349-29349
(termFormat ChineseLanguage ImmediateFutureFn "紧接未来函数") chinese_format.kif 464-464
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來") domainEnglishFormat.kif 29348-29348
(termFormat EnglishLanguage ImmediateFutureFn "immediate future") domainEnglishFormat.kif 29347-29347
(termFormat tg ImmediateFutureFn "tungkulin ng pagkatopos ng agad") relations-tg.txt 279-279

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T
            (attribute ?X Booting))
        (holdsDuring ?T2
            (attribute ?X HostReady))
        (equal ?T2
            (ImmediateFutureFn
                (WhenFn ?T)))
        (instance ?DIS ComputerDisplay)
        (connectedEngineeringComponents ?DIS ?X))
    (modalAttribute
        (exists (?HS)
            (and
                (instance ?HS HomeScreen)
                (displayedUpon ?HS ?DIS))) Likely))
ComputingBrands.kif 3231-3245
(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 9839-9861
(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 9900-9922
(=>
    (and
        (instance ?Compression DataCompression)
        (dataProcessed ?Compression ?Data)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?Memory ?Measure)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?NewMemory ?Measure))))
    (lessThan ?NewMemory ?Memory))
QoSontology.kif 1926-1940
(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (lessThan ?Y ?X))
Geography.kif 7016-7030
(=>
    (and
        (instance ?E Motion)
        (instance ?T Tremor)
        (instance ?D Damper)
        (patient ?T ?O)
        (part ?D ?O)
        (causes ?E ?T)
        (instance ?U UnitOfLength)
        (holdsDuring
            (WhenFn ?E)
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring
            (ImmediateFutureFn ?E)
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U))))
    (greaterThan ?A1 ?A2))
Cars.kif 777-792
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))
Medicine.kif 1328-1340
(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (instance ?U UnitOfLength)
        (destination ?P ?E1)
        (physicalEnd ?E1 ?L)
        (physicalEnd ?E2 ?L)
        (not
            (equal ?E1 ?E2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E1 ?P1))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E1 ?P2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E2 ?P3))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E2 ?P4))
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (distance ?P3 ?P4
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))
Mid-level-ontology.kif 1332-1355
(=>
    (and
        (instance ?LI LoggingIn)
        (hasAccount ?U ?A)
        (accountAtSite ?A ?S)
        (equal ?T
            (ImmediateFutureFn
                (WhenFn ?LI)))
        (agent ?LI ?U))
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?U)
                    (patient ?P ?S)))) Possibility))
ComputingBrands.kif 3972-3986
(=>
    (and
        (instance ?LI LoggingIn)
        (hasAccount ?U ?A)
        (deviceAccount ?A ?C)
        (equal ?T
            (ImmediateFutureFn
                (WhenFn ?LI)))
        (agent ?LI ?U))
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?U)
                    (instrument ?P ?C)))) Possibility))
ComputingBrands.kif 3988-4002
(=>
    (and
        (instance ?MC MuscleRelaxing)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 10555-10570
(=>
    (and
        (instance ?MC MuscularContraction)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N1 ?N2))
Mid-level-ontology.kif 10533-10548
(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V UnitOfVolume)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))
Cars.kif 1987-1999
(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (greaterThan ?Y ?X))
Geography.kif 7068-7082

consequent
-------------------------


(=>
    (agreementRevisionDate ?AGR ?DATE ?CHANGE)
    (exists (?TIME)
        (and
            (instance ?TIME ?DATE)
            (or
                (and
                    (holdsDuring
                        (ImmediatePastFn ?TIME)
                        (not
                            (subProposition ?CHANGE ?AGR)))
                    (holdsDuring
                        (ImmediateFutureFn ?TIME)
                        (subProposition ?CHANGE ?AGR)))
                (and
                    (holdsDuring
                        (ImmediatePastFn ?TIME)
                        (subProposition ?CHANGE ?AGR))
                    (holdsDuring
                        (ImmediateFutureFn ?TIME)
                        (not
                            (subProposition ?CHANGE ?AGR))))))))
Government.kif 738-753
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))
Government.kif 714-719
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))
Government.kif 721-726
(=>
    (and
        (instance ?A Appointing)
        (patient ?A ?H))
    (exists (?P ?ORG)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?A))
                (not
                    (occupiesPosition ?H ?P ?ORG)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?A))
                (occupiesPosition ?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
(=>
    (and
        (instance ?ACT ActivatingADeactivatedAccount)
        (instance ?AC UserAccount)
        (patient ?ACT ?AC))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?ACT))
            (attribute ?AC AccountDeactivated))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?ACT))
            (attribute ?AC AccountActive))))
ComputingBrands.kif 4482-4491
(=>
    (and
        (instance ?B Braking)
        (patient ?B ?O))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A1 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A2 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (greaterThan ?A1 ?A2)))
Cars.kif 1252-1267
(=>
    (and
        (instance ?Bond SecuredBond)
        (securedBy ?Bond ?Security)
        (possesses ?Agent ?Bond)
        (instance ?Default FinancialDefault)
        (patient ?Default ?Bond))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Default))
        (possesses ?Agent ?Security)))
FinancialOntology.kif 2397-2406
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))
Mid-level-ontology.kif 29758-29765
(=>
    (and
        (instance ?C Cricothyroidotomy)
        (patient ?C ?O))
    (hasPurpose ?C
        (and
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (exists (?B)
                    (and
                        (instance ?B
                            (ImpairmentFn Breathing))
                        (patient ?B ?O))))
            (not
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?C))
                    (exists (?B)
                        (and
                            (instance ?B
                                (ImpairmentFn Breathing))
                            (patient ?B ?O))))))))
Medicine.kif 767-785
(=>
    (and
        (instance ?CA COVIDAntibody)
        (holdsDuring ?T
            (and
                (not
                    (attribute ?H Covid19))
                (part ?CA ?H))))
    (holdsDuring
        (ImmediateFutureFn ?T)
        (modalAttribute
            (attribute ?H Covid19) Unlikely)))
Medicine.kif 2784-2796
(=>
    (and
        (instance ?CP ChangingAccountInfo)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (accountInformation ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (not
                    (equal ?N2 ?N1))
                (accountInformation ?UA ?N2)))))
ComputingBrands.kif 4123-4135
(=>
    (and
        (instance ?CP ChangingPassword)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (password ?P1 ?UA))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?P2)
            (and
                (instance ?P2 ComputerPassword)
                (not
                    (equal ?P2 ?P1))
                (password ?P2 ?UA)))))
ComputingBrands.kif 4079-4092
(=>
    (and
        (instance ?CP ChangingUserName)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (userName ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (instance ?N2 UserName)
                (not
                    (equal ?N2 ?N1))
                (userName ?UA ?N2)))))
ComputingBrands.kif 4101-4114
(=>
    (and
        (instance ?CP CreatingAnAccount)
        (agent ?CP ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?UA ?P1 ?N)
            (and
                (hasAccount ?A ?UA)
                (password ?P1 ?UA)
                (userName ?UA ?N)))))
ComputingBrands.kif 4143-4153
(=>
    (and
        (instance ?Closing ClosingAnAccount)
        (patient ?Closing ?Account))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Closing))
            (instance ?Account FinancialAccount))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Closing))
            (not
                (instance ?Account FinancialAccount)))))
FinancialOntology.kif 391-401
(=>
    (and
        (instance ?D DeletingAnAccount)
        (instance ?AC Account)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?D))
            (hasAccount ?A ?AC))
        (patient ?D ?AC)
        (agent ?D ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?D))
        (not
            (hasAccount ?A ?AC))))
ComputingBrands.kif 4566-4576
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))
Mid-level-ontology.kif 30079-30087
(=>
    (and
        (instance ?DEACT DeactivatingAnAccount)
        (instance ?AC UserAccount)
        (patient ?DEACT ?AC))
    (and
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEACT))
            (attribute ?AC AccountDeactivated))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEACT))
            (attribute ?AC AccountActive))))
ComputingBrands.kif 4498-4507
(=>
    (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 10222-10237
(=>
    (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
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?MIL)
        (instance ?MIL MilitaryOrganization)
        (experiencer ?EV ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?EV))
        (attribute ?P Evacuee)))
MilitaryPersons.kif 133-140
(=>
    (and
        (instance ?F Faucet)
        (instance ?LM LiquidMotion)
        (patient ?LM ?L)
        (located ?LM ?F))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?LM))
        (not
            (exists (?T)
                (and
                    (instance ?T Tube)
                    (contains ?T ?L))))))
engineering.kif 939-952
(=>
    (and
        (instance ?F Forgetting)
        (experiencer ?F ?A))
    (exists (?P)
        (and
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?F))
                (not
                    (knows ?A ?P)))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?F))
                (knows ?A ?P)))))
ComputingBrands.kif 4451-4461
(=>
    (and
        (instance ?H Hotline)
        (telephoneNumber ?H ?O)
        (instance ?O Organization))
    (hasPurpose ?H
        (exists (?T)
            (and
                (instance ?T Telephoning)
                (destination ?T ?O)
                (modalAttribute
                    (exists (?C)
                        (and
                            (instance ?C Communication)
                            (instrument ?C ?H)
                            (equal
                                (BeginFn
                                    (WhenFn ?C))
                                (BeginFn
                                    (ImmediateFutureFn
                                        (WhenFn ?T)))))) Likely)))))
Mid-level-ontology.kif 25093-25114
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))
Medicine.kif 1328-1340

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2791-2794 A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2765-2769 A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the time position


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