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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediatePastFn
ImmediatePastFn

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


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

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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4491-4501
No TPTP formula. May not be expressible in strict first order. Geography.kif 6354-6368
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1714-1734
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 1974-1986
No TPTP formula. May not be expressible in strict first order. Geography.kif 6406-6420
( ! [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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 725-740
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4407-4416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16349-16365
No TPTP formula. May not be expressible in strict first order. Cars.kif 1257-1268
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4423-4432
No TPTP formula. May not be expressible in strict first order. Merge.kif 9602-9617
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4376-4386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16294-16312
No TPTP formula. May not be expressible in strict first order. Geography.kif 5387-5394
No TPTP formula. May not be expressible in strict first order. emotion.kif 1375-1390
No TPTP formula. May not be expressible in strict first order. emotion.kif 1406-1421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7555-7564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18839-18868
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 800-807
No TPTP formula. May not be expressible in strict first order. Merge.kif 3826-3836
No TPTP formula. May not be expressible in strict first order. Merge.kif 3848-3857
No TPTP formula. May not be expressible in strict first order. Cars.kif 1515-1525
No TPTP formula. May not be expressible in strict first order. Geography.kif 4439-4444
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4188-4207
No TPTP formula. May not be expressible in strict first order. Cars.kif 3583-3596
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     s__finishes(s__ImmediatePastFn(V__INTERVAL)
  ,s__PastFn(V__INTERVAL))
)
)

Merge.kif 7930-7932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19702-19715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19758-19773

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