ImmediateFutureFn - Sigma Knowledge base Browser

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 8496-8498
(domain ImmediateFutureFn 1 TimePosition)	Merge.kif 8493-8493	The number 1 argument of immediate future is an instance of time position
(instance ImmediateFutureFn TemporalRelation)	Merge.kif 8490-8490	Immediate future is an instance of temporal relation
(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8492-8492	Immediate future is an instance of total valued relation
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8491-8491	Immediate future is an instance of unary function
(range ImmediateFutureFn TimeInterval)	Merge.kif 8494-8494	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
(termFormat ChineseLanguage ImmediateFutureFn "眼前的未来")	domainEnglishFormat.kif 29335-29335
(termFormat ChineseLanguage ImmediateFutureFn "紧接未来函数")	chinese_format.kif 464-464
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來")	domainEnglishFormat.kif 29334-29334
(termFormat EnglishLanguage ImmediateFutureFn "immediate future")	domainEnglishFormat.kif 29333-29333

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 3229-3243	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of computer display and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
(=> (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 9768-9790	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
(=> (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 9829-9851	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
(=> (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	If a computer process is an instance of data compression and a digital data is processed by the computer process and the digital data requires a real number an entity(s) holds during immediately before the time of existence of the computer process and the digital data requires another real number the entity(s) holds during immediately after the time of existence of the computer process, then the other real number is less than the real number
(=> (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 6716-6730	If a process is an instance of deposition and an entity is a patient of the process and the measure of the entity is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is less than the real number
(=> (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	If a process is an instance of motion and another process is an instance of tremor and an object is an instance of damper and another object is a patient of the other process and the object is a part of the other object and the process causes the other process and an entity is an instance of unit of length and the amplitude the other process is a real number the entity(s) holds during the time of existence of the process and the amplitude the other process is another real number the entity(s) holds during immediately after the process, then the real number is greater than the other real number
(=> (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 1299-1322	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and an unit of measure is an instance of unit of length and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a real number the unit of measure(s) and the distance between the process3 and the process4 is another real number the unit of measure(s), then the other real number is greater than the real number
(=> (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 3970-3984	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
(=> (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 3986-4000	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
(=> (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 10424-10439	If a process is an instance of muscle relaxing and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the other real number is greater than the real number
(=> (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 10402-10417	If a process is an instance of muscular contraction and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
(=> (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	If an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of unit of volume and the measure of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
(=> (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 6768-6782	If a process is an instance of sublimation and an entity is a patient of the process and the measure of the entity is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is greater than the real number

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	If a proposition agreement revision date a kind of time position for another proposition , then there exists another time position such that the other time position is an instance of a kind of time position and the other proposition is not a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is a sub-proposition of the proposition holds during immediately after the other time position or the other proposition is a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is not a sub-proposition of the proposition holds during immediately after the other time position
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	If a time point is an agreement effective date of an agreement and the agreement obligates a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent is obliged to perform tasks of type the formula holds during immediately after the time position
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	If a time point is an agreement effective date of an agreement and the agreement allows a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent has the right to perform the formula holds during immediately after the time position
(=> (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 1009-1022	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
(=> (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 4480-4489	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
(=> (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	If a process is an instance of braking and an entity is a patient of the process, then a real number miles per hour(s) is equal to the accelleration another entity of the entity in a third entity in the direction a fourth entity holds during immediately before the time of existence of the process and another real number miles per hour(s) is equal to the accelleration the other entity of the entity in the third entity in the direction the fourth entity holds during immediately after the time of existence of the process and the real number is greater than the other real number
(=> (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 2411-2420	If a financial account is an instance of secured bond and a collateral is a secured by of the financial account and an agent possesses the financial account and a process is an instance of financial default and the financial account is a patient of the process, then the agent possesses the collateral holds during immediately after the time of existence of the process
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 29674-29681	If a process is an instance of covering and an entity is a patient of the process and an object is an instrument for the process, then the object covers the entity holds during immediately after the time of existence of the process
(=> (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 4121-4133	If a process is an instance of change account information and an agent is an agent of the process and the agent has account an user account and the account the user account has information a proposition, then there exists an entity such that the entity is not equal to the proposition and the account the user account has information the entity holds during immediately after the time of existence of the process
(=> (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 4077-4090	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password the entity holds during immediately after the time of existence of the process
(=> (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 4099-4112	If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name, then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process
(=> (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 4141-4151	If a process is an instance of creating an account and an agent is an agent of the process, then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process
(=> (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	If a process is an instance of closing an account and an entity is a patient of the process, then the entity is an instance of financial account holds during immediately before the time of existence of the process and the entity is not an instance of financial account holds during immediately after the time of existence of the process
(=> (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 4564-4574	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account the entity holds during immediately after the time of existence of the process
(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged)))	Mid-level-ontology.kif 29995-30003	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then device damaged is an attribute of the entity holds during immediately after the time of existence of the process
(=> (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 4496-4505	If a process is an instance of de-activating an account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately after the time of existence of the process and account active is an attribute of the entity holds during immediately before the time of existence of the process
(=> (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 10174-10189	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
(=> (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	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
(=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee)))	MilitaryPersons.kif 133-140	If a process is an instance of evacuating and an agent is an agent of the process and the agent is an instance of military organization and another agent experiences the process, then evacuee is an attribute of the other agent holds during immediately after the time of existence of the process
(=> (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 938-951	If an object is an instance of faucet and a process is an instance of liquid motion and an entity is a patient of the process and the process is located at the object, then there doesn't exist another entity such that the other entity is an instance of tube and the other entity contains the entity holds during immediately after the time of existence of the process
(=> (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 4449-4459	If a process is an instance of forgetting and an agent experiences the process, then there exists an entity such that the agent doesn't know the entity holds during immediately after the time of existence of the process and the agent knows the entity holds during immediately before the time of existence of the process
(=> (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 24967-24988	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
(=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (and (holdsDuring (ImmediatePastFn (WhenFn ?IRRIGATION)) (attribute ?AREA Dry)) (holdsDuring (ImmediateFutureFn (WhenFn ?IRRIGATION)) (attribute ?AREA Damp))))	Geography.kif 5619-5626	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then dry is an attribute of the entity holds during immediately before the time of existence of the process and damp is an attribute of the entity holds during immediately after the time of existence of the process
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON)))	Merge.kif 10572-10581	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during immediately after the time of existence of the process
(=> (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order)) (holdsDuring (ImmediateFutureFn (WhenFn ?Kill)) (not (attribute ?Order ActiveAgreement))))	FinancialOntology.kif 2848-2855	If a process is an instance of cancelling an order and an entity is a patient of the process, then active agreement is not an attribute of the entity holds during immediately after the time of existence of the process

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

KB Term:			Term intersection

English Word: