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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FutureFn
FutureFn

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


s__documentation(s__FutureFn__m,s__ChineseLanguage,'这是一个 UnaryFunction,它把一个 TimePosition 联系到和它相遇并在 PositiveInfinity 结束的 TimeInterval。')

Merge.kif 8605-8606
s__documentation(s__FutureFn__m,s__EnglishLanguage,'A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.')

Merge.kif 8603-8604
s__domain(s__FutureFn__m,1,s__TimePosition)

Merge.kif 8601-8601
s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 8598-8598
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 8600-8600
s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 8599-8599
s__range(s__FutureFn__m,s__TimeInterval)

Merge.kif 8602-8602

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


s__format(s__ChineseLanguage,s__FutureFn__m,'%1 之后')

chinese_format.kif 461-461
s__format(s__EnglishLanguage,s__FutureFn__m,'after %1')

english_format.kif 278-278
s__format(s__FrenchLanguage,s__FutureFn__m,'apr�s %1')

french_format.kif 267-267
s__format(s__ItalianLanguage,s__FutureFn__m,'dopo %1')

relations-it.txt 115-115
s__format(s__PortugueseLanguage,s__FutureFn__m,'apos %1')

portuguese_format.kif 219-219
s__format(s__ar__m,s__FutureFn__m,'بَعْدَ %1')

arabic_format.kif 199-199
s__format(s__cz__m,s__FutureFn__m,'po %1')

relations-cz.txt 273-273
s__format(s__de__m,s__FutureFn__m,'nach %1')

relations-de.txt 602-602
s__format(s__hi__m,s__FutureFn__m,'%1 ke baada')

relations-hindi.txt 155-155
s__format(s__tg__m,s__FutureFn__m,'pagkatapos ng %1')

relations-tg.txt 240-240
s__termFormat(s__ChineseLanguage,s__FutureFn__m,'未来函数')

chinese_format.kif 462-462
s__termFormat(s__EnglishLanguage,s__FutureFn__m,'future')

domainEnglishFormat.kif 4639-4639
s__termFormat(s__ar__m,s__FutureFn__m,'«بَعْدَ»')

arabic_format.kif 649-649
s__termFormat(s__tg__m,s__FutureFn__m,'tungkulin ng pagkatapos')

relations-tg.txt 241-241

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11658-11661
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
( ! [V__Deposit,V__TimeOfDeposit,V__Account,V__Amount,V__Balance1,V__Balance2] :
   ((s__instance(V__Deposit,s__Deposit) &
       s__time(V__Deposit,V__TimeOfDeposit)
     &
     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-437
No TPTP formula. May not be expressible in strict first order. Merge.kif 12187-12193
No TPTP formula. May not be expressible in strict first order. Merge.kif 13178-13183
No TPTP formula. May not be expressible in strict first order. Media.kif 153-160
( ! [V__Withdrawal,V__TimeOfWithdrawal,V__Account,V__Amount,V__Balance1,V__Balance2] :
   ((s__instance(V__Withdrawal,s__Withdrawal) &
       s__time(V__Withdrawal,V__TimeOfWithdrawal)
     &
     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 450-459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19842-19850
No TPTP formula. May not be expressible in strict first order. WMD.kif 989-999
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     (s__FutureFn(V__INTERVAL)
     = s__TimeIntervalFn(s__EndFn(V__INTERVAL)
  ,s__PositiveInfinity)))
)

Merge.kif 8612-8614
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     s__meetsTemporally(V__INTERVAL,s__FutureFn(V__INTERVAL)))
)

Merge.kif 8608-8610
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     s__starts(s__ImmediateFutureFn(V__INTERVAL)
  ,s__FutureFn(V__INTERVAL)))
)

Merge.kif 8627-8629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19832-19840

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2507-2508
No TPTP formula. May not be expressible in strict first order. Media.kif 2505-2506
No TPTP formula. May not be expressible in strict first order. Media.kif 2509-2510
No TPTP formula. May not be expressible in strict first order. Media.kif 2519-2520
No TPTP formula. May not be expressible in strict first order. Media.kif 2492-2493
No TPTP formula. May not be expressible in strict first order. Media.kif 2490-2491
No TPTP formula. May not be expressible in strict first order. Media.kif 2494-2495


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