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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CeilingFn
CeilingFn

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


s__documentation(s__CeilingFn__m,s__ChineseLanguage,'"(CeilingFn ?NUMBER)得出大于或等于 RealNumber ?NUMBER 的最小 Integer。"')

chinese_format.kif 2226-2227
s__documentation(s__CeilingFn__m,s__EnglishLanguage,'"(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER."')

Merge.kif 4613-4614
s__domain(s__CeilingFn__m,n__1,s__RealNumber)

Merge.kif 4610-4610 The number 1 argument of ceiling is an instance of real number
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__CeilingFn__m,s__TotalValuedRelation)

Merge.kif 4609-4609 Ceiling is an instance of total valued relation
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__CeilingFn__m,s__UnaryFunction)

Merge.kif 4608-4608 Ceiling is an instance of unary function
s__range(s__CeilingFn__m,s__Integer)

Merge.kif 4611-4611 The range of ceiling is an instance of integer

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


s__format(s__ChineseLanguage,s__CeilingFn__m,'"取%1 的顶整数 "')

chinese_format.kif 690-690
s__format(s__EnglishLanguage,s__CeilingFn__m,'"the ceiling of %1"')

english_format.kif 695-695
s__termFormat(s__ChineseLanguage,s__CeilingFn__m,'"天花板"')

domainEnglishFormat.kif 13635-13635
s__termFormat(s__ChineseLanguage,s__CeilingFn__m,'"顶整数函数"')

chinese_format.kif 691-691
s__termFormat(s__ChineseTraditionalLanguage,s__CeilingFn__m,'"天花板"')

domainEnglishFormat.kif 13634-13634
s__termFormat(s__EnglishLanguage,s__CeilingFn__m,'"ceiling"')

domainEnglishFormat.kif 13633-13633

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


( ! [V__OUT,V__IN,V__S,V__PIVOT,V__LEN,V__NEW,V__N] :
   (((s__instance(V__OUT,s__SymbolicString) &
         s__instance(V__IN,s__SymbolicString) &
         s__instance(V__S,s__SymbolicString) &
         s__instance(V__PIVOT,s__Integer) &
         s__instance(V__LEN,s__NonnegativeInteger) &
         s__instance(V__NEW,s__NonnegativeInteger) &
         s__instance(V__N,s__NonnegativeInteger))
       =>
       ((((V__OUT = s__ReverseFn(V__IN))
           &
           (V__LEN = s__StringLengthFn(V__IN))
         &
         s__greaterThan(V__LEN,n__1)
       &
       s__greaterThan(V__N,n__0)
     &
     s__lessThan(V__N,V__LEN)
   &
   (V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1)
  ,n__2)))
&
(V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N)
,V__PIVOT))
&
(V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N))))
=>
((V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__NEW)))))))
)
)

Media.kif 3038-3059


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