ImmediatePastFn - Sigma Knowledge base Browser

appearance as argument number 2

s__format(s__ChineseLanguage,s__ImmediatePastFn__m,'"紧接 %1 before"')	chinese_format.kif 459-459
s__format(s__EnglishLanguage,s__ImmediatePastFn__m,'"immediately before %1"')	english_format.kif 468-468
s__termFormat(s__ChineseLanguage,s__ImmediatePastFn__m,'"不久的过去"')	domainEnglishFormat.kif 29263-29263
s__termFormat(s__ChineseLanguage,s__ImmediatePastFn__m,'"紧接过去函数"')	chinese_format.kif 460-460
s__termFormat(s__ChineseTraditionalLanguage,s__ImmediatePastFn__m,'"不久的過去"')	domainEnglishFormat.kif 29262-29262
s__termFormat(s__EnglishLanguage,s__ImmediatePastFn__m,'"immediate past"')	domainEnglishFormat.kif 29261-29261

antecedent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1932-1946	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 quantity an entity(s) holds during immediately before the time of existence of the computer process and the digital data requires another quantity the entity(s) holds during immediately after the time of existence of the computer process, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4491-4501	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6354-6368	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 quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is less than the quantity
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__CurrencyMeasure)) => (s__instance(V__Deposit,s__Deposit) & s__instance(V__Account,s__FinancialAccount) & s__destination(V__Deposit,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Deposit,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit)) ,V__Balance1) & (V__Balance2 = s__AdditionFn(V__Balance1,V__Amount))) => s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit)) ,V__Balance2) ) )	FinancialOntology.kif 428-436	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 currency measure 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 currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1714-1734	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 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 length measure and the distance between the process3 and the process4 is another length measure, then the other length measure is greater than the length measure
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__CurrencyMeasure)) => (s__instance(V__Payment,s__Payment) & s__origin(V__Payment,s__CurrencyFn(V__Account)) & s__instance(V__Account,s__FinancialAccount) & s__transactionAmount(V__Payment,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment)) ,V__Balance1) & (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount))) => s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment)) ,V__Balance2) ) )	FinancialOntology.kif 408-416	If a financial transaction is an instance of payment and the financial transaction originates at the currency of a financial account and the financial account is an instance of financial account and a currency measure 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 currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after the time of existence of the financial transaction for the third currency measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1974-1986	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 quantity another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of volume measure and the measure of the entity is another quantity the other entity(s) holds during immediately after the time of existence of the process, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6406-6420	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 quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is greater than the quantity
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__CurrencyMeasure)) => (s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,V__Account) & s__transactionAmount(V__Withdrawal,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal)) ,V__Balance1) & (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount))) => s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal)) ,V__Balance2) ) )	FinancialOntology.kif 449-457	If a financial transaction is an instance of withdrawal and a financial account is an instance of financial account and the financial transaction originates at the financial account and a currency measure 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 currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 725-740	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4407-4416	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16349-16365	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1257-1268	If a process is an instance of braking and an entity is a patient of the process, then a quantity 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 quantity 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 quantity is greater than the other quantity
( ! [V__Processing,V__Check] : ((s__instance(V__Check,s__Check) & s__instance(V__Processing,s__ProcessingACheck) & s__patient(V__Processing,V__Check)) => ( ? [V__Depositing] : ((s__instance(V__Depositing,s__DepositingACheck) & s__patient(V__Depositing,V__Check) & s__time(V__Depositing,s__ImmediatePastFn(s__WhenFn(V__Processing)))))) ) )	FinancialOntology.kif 137-146	If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositingA check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4423-4432	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9602-9617	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an 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 another 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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4376-4386	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16294-16312	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the process originates at an agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5387-5394	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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1375-1390	If a process is an instance of moving away from people and an agent is an agent of the process, then there exists an entity such that the entity is an instance of human and the distance between the process and the agent is a quantity holds during immediately before the time of existence of the process and the distance between the process and the agent is another quantity holds during immediately after the time of existence of the process and the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1406-1421	If a process is an instance of moving towards people and an agent is an agent of the process, then there exists an entity such that the entity is an instance of human and the distance between the process and the agent is a quantity holds during immediately before the time of existence of the process and the distance between the process and the agent is another quantity holds during immediately after the time of existence of the process and the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7555-7564	If a process is an instance of bargain sale and an entity is a patient of the process and the entity is an instance of object, then there exist a quantity, another quantity,, , another entity and a third entity such that the entity is price the quantity for the other entity holds during immediately before the time of existence of the process and the entity is price the other quantity for the third entity holds during the time of existence of the process and the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18839-18868	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , an object and a time duration such that the other process is an instance of discovering and the object is an instance of object and the object is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the object is the time duration and the time duration is greater than 50 year duration(s) and the entity is a surface of another entity and the other entity is an instance of body of water and the object is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the object is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 800-807	If process failure is the status of a computer process and the computer process purpose a formula, then the formula doesn't hold during immediately before the time of existence of the computer process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3826-3836	If an entity confers norm another entity for a third entity holds during a time position, then the statement the other entity doesn't have the modal force of the third entity holds during immediately before the time position and the statement the other entity has the modal force of the third entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3848-3857	If an entity deprives norm another entity for a third entity holds during a time position, then the statement the other entity has the modal force of the third entity holds during immediately before the time position and the statement the other entity doesn't have the modal force of the third entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1515-1525	If a physical is an instance of bleeding air, then the physical purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity は the other entity を contains %n{ない} holds during immediately before the physical and the entity は the other entity を contain ない holds during immediately after the physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4439-4444	If a physical is an instance of iceberg, then there exists an entity such that the entity is an instance of glacier and the physical is made of the entity holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4188-4207	If a physical is an instance of FMIP, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of iPhone and the physical is an instrument for the third entity and the entity is an agent of the third entity and the other entity is a patient of the third entity and the entity doesn't know the other entity is located at the fourth entity holds during immediately before the time of existence of the third entity and the entity knows the other entity is located at the fourth entity holds during immediately after the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3583-3596	If a physical is an instance of inflating, then there exist a quantity, another quantity,, , an entity,, , another entity and a set or class such that the quantity is an instance of the set or class and the other quantity is an instance of the set or class and gas is an attribute of the quantity and gas is an attribute of the other quantity and the entity is an instance of volume measure and the measure of the quantity is the entity holds during immediately before the time of existence of the physical and the measure of the other quantity is the other entity holds during immediately after the time of existence of the physical and the other quantity is greater than the quantity
( ! [V__INTERVAL] : (s__instance(V__INTERVAL,s__TimeInterval) => s__finishes(s__ImmediatePastFn(V__INTERVAL) ,s__PastFn(V__INTERVAL)) ) )	Merge.kif 7930-7932	If a time position is an instance of time interval, then immediately before the time position finishes before the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19702-19715	If a process is an instance of hijacking, then there exist an entity and an agent such that the agent is an agent of the process and the entity is an instance of transportation device and the agent doesn't possess the entity holds during immediately before the time of existence of the process and the agent possesses the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19758-19773	If a physical is an instance of kidnapping, then there exist an entity, another entity and a third entity such that the entity is an instance of sentient agent and the other entity is an instance of geographic area and the third entity is an instance of geographic area and the other entity is not equal to the third entity and the entity is located at the other entity holds during immediately before the time of existence of the physical and the entity is located at the third entity holds during the time of existence of the physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

s__documentation(s__ImmediatePastFn__m,s__ChineseLanguage,'"这是一个 UnaryFunction，它把一个 TimePosition 和紧接这个 TimePosition 之前的一个既短而又不确定的 TimeInterval。"')	chinese_format.kif 2741-2742
s__documentation(s__ImmediatePastFn__m,s__EnglishLanguage,'"A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition."')	Merge.kif 7926-7928
s__domain(s__ImmediatePastFn__m,n__1,s__TimePosition)	Merge.kif 7923-7923	The number 1 argument of immediate past is an instance of time position
s__instance(s__ImmediatePastFn__m,s__TemporalRelation) s__instance(s__TemporalRelation,s__SetOrClass)	Merge.kif 7920-7920	Immediate past is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass) s__instance(s__ImmediatePastFn__m,s__TotalValuedRelation)	Merge.kif 7922-7922	Immediate past is an instance of total valued relation
s__instance(s__UnaryFunction,s__SetOrClass) s__instance(s__ImmediatePastFn__m,s__UnaryFunction)	Merge.kif 7921-7921	Immediate past is an instance of unary function
s__range(s__ImmediatePastFn__m,s__TimeInterval)	Merge.kif 7924-7924	The range of immediate past is an instance of time interval

KB Term:			Term intersection

English Word: