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 8109-8111
s__domain(s__ImmediatePastFn__m,n__1,s__TimePosition)

Merge.kif 8106-8106 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 8103-8103 Immediate past is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ImmediatePastFn__m,s__TotalValuedRelation)

Merge.kif 8105-8105 Immediate past is an instance of total valued relation
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__ImmediatePastFn__m,s__UnaryFunction)

Merge.kif 8104-8104 Immediate past is an instance of unary function
s__range(s__ImmediatePastFn__m,s__TimeInterval)

Merge.kif 8107-8107 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 29352-29352
s__termFormat(s__ChineseLanguage,s__ImmediatePastFn__m,'"紧接过去函数"')

chinese_format.kif 460-460
s__termFormat(s__ChineseTraditionalLanguage,s__ImmediatePastFn__m,'"不久的過去"')

domainEnglishFormat.kif 29351-29351
s__termFormat(s__EnglishLanguage,s__ImmediatePastFn__m,'"immediate past"')

domainEnglishFormat.kif 29350-29350

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9030-9052
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 4537-4547
No TPTP formula. May not be expressible in strict first order. Geography.kif 6546-6560
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         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 1271-1294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9400-9415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9378-9393
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         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 2001-2013
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6612
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         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 4453-4462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17094-17110
No TPTP formula. May not be expressible in strict first order. Cars.kif 1266-1281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5696-5715
( ! [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 4469-4478
No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9806
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4422-4432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17036-17054
No TPTP formula. May not be expressible in strict first order. Geography.kif 5493-5500
No TPTP formula. May not be expressible in strict first order. emotion.kif 1375-1393
No TPTP formula. May not be expressible in strict first order. emotion.kif 1409-1427
( ! [V__P,V__R,V__H] :
   (((s__instance(V__P,s__Physical) &
         s__instance(V__H,s__Object))
       =>
       (((s__instance(V__R,s__RelievingPain) &
             s__patient(V__R,V__H))
         =>
         ((( ? [V__P1] :
               ((s__overlapsTemporally(s__WhenFn(V__P1)
                ,s__ImmediatePastFn(s__WhenFn(V__R)))
           &
           s__instance(V__P1,s__Pain) &
           s__located(V__P1,V__H))))
   &
   ~(( ? [V__P2] :
       ((s__instance(V__P2,s__Physical) &
           (s__overlapsTemporally(s__WhenFn(V__P2)
          ,s__ImmediateFutureFn(s__WhenFn(V__R)))
     &
     s__instance(V__P,s__Pain) &
     s__located(V__P,V__H)))))))))))
)
)

Mid-level-ontology.kif 5421-5440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7325-7339
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19510-19539
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 3872-3882
No TPTP formula. May not be expressible in strict first order. Merge.kif 3894-3903
No TPTP formula. May not be expressible in strict first order. Cars.kif 1533-1543
No TPTP formula. May not be expressible in strict first order. Geography.kif 4526-4531
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4234-4253
No TPTP formula. May not be expressible in strict first order. Cars.kif 3624-3640
( ! [V__INTERVAL] :
   ((s__instance(V__INTERVAL,s__TimeInterval) =>
       (s__finishes(s__ImmediatePastFn(V__INTERVAL)
      ,s__PastFn(V__INTERVAL))))
)
)

Merge.kif 8113-8115

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 3.0 is open source software produced by Articulate Software and its partners