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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediateFutureFn
ImmediateFutureFn

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


s__documentation(s__ImmediateFutureFn__m,s__ChineseLanguage,'"这是一个 UnaryFunction, 它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval。"')

chinese_format.kif 2745-2746
s__documentation(s__ImmediateFutureFn__m,s__EnglishLanguage,'"A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition."')

Merge.kif 8140-8142
s__domain(s__ImmediateFutureFn__m,n__1,s__TimePosition)

Merge.kif 8137-8137 The number 1 argument of immediate future is an instance of time position
s__instance(s__ImmediateFutureFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 8134-8134 Immediate future is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ImmediateFutureFn__m,s__TotalValuedRelation)

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

s__instance(s__ImmediateFutureFn__m,s__UnaryFunction)

Merge.kif 8135-8135 Immediate future is an instance of unary function
s__range(s__ImmediateFutureFn__m,s__TimeInterval)

Merge.kif 8138-8138 The range of immediate future is an instance of time interval

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


s__format(s__ChineseLanguage,s__ImmediateFutureFn__m,'"紧接 %1 after"')

chinese_format.kif 463-463
s__format(s__EnglishLanguage,s__ImmediateFutureFn__m,'"immediately after %1"')

english_format.kif 472-472
s__termFormat(s__ChineseLanguage,s__ImmediateFutureFn__m,'"眼前的未来"')

domainEnglishFormat.kif 29340-29340
s__termFormat(s__ChineseLanguage,s__ImmediateFutureFn__m,'"紧接未来函数"')

chinese_format.kif 464-464
s__termFormat(s__ChineseTraditionalLanguage,s__ImmediateFutureFn__m,'"眼前的未來"')

domainEnglishFormat.kif 29339-29339
s__termFormat(s__EnglishLanguage,s__ImmediateFutureFn__m,'"immediate future"')

domainEnglishFormat.kif 29338-29338

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3205-3219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9110-9132
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. Geography.kif 6546-6560
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
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. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9563-9578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9541-9556
No TPTP formula. May not be expressible in strict first order. Cars.kif 1987-1999
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6612

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. Government.kif 701-706
No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 980-993
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. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2359-2368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28467-28474
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4094-4106
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4050-4063
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4072-4085
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4114-4124
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 4537-4547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28777-28785
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
( ! [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. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. engineering.kif 938-951
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 23745-23766
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. Merge.kif 10161-10170
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2796-2803

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2766-2766 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2746-2746 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996


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