Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
CeilingFn
Sigma KEE - CeilingFn
CeilingFn
appearance as argument number 1
(
documentation
CeilingFn
ChineseLanguage
"(
CeilingFn
?NUMBER)得出大于或等于
RealNumber
?NUMBER 的最小
Integer
。")
chinese_format.kif 2226-2227
(
documentation
CeilingFn
EnglishLanguage
"(
CeilingFn
?NUMBER) returns the smallest
Integer
greater than or equal to the
RealNumber
?NUMBER.")
Merge.kif 4787-4788
(
documentation
CeilingFn
JapaneseLanguage
"(
CeilingFn
?NUMBER) は、
RealNumber
?NUMBER より最大以上以上の最小
Integer
を返す。")
japanese_format.kif 890-891
(
domain
CeilingFn
1
RealNumber
)
Merge.kif 4784-4784
The number 1 argument of
ceiling
is an
instance
of
real number
(
instance
CeilingFn
TotalValuedRelation
)
Merge.kif 4783-4783
Ceiling
is an
instance
of
total valued relation
(
instance
CeilingFn
UnaryFunction
)
Merge.kif 4782-4782
Ceiling
is an
instance
of
unary function
(
range
CeilingFn
Integer
)
Merge.kif 4785-4785
The
range
of
ceiling
is an instance of
integer
appearance as argument number 2
(
format
ChineseLanguage
CeilingFn
"取%1 的顶整数 ")
chinese_format.kif 690-690
(
format
EnglishLanguage
CeilingFn
"the ceiling of %1")
english_format.kif 692-692
(
format
FrenchLanguage
CeilingFn
"le plafond de %1")
french_format.kif 418-418
(
format
ItalianLanguage
CeilingFn
"il tetto di %1")
relations-it.txt 43-43
(
format
JapaneseLanguage
CeilingFn
"%1 の ceiling")
japanese_format.kif 2135-2135
(
format
PortugueseLanguage
CeilingFn
"o teto de %1")
portuguese_format.kif 370-370
(
format
de
CeilingFn
"die oberstegrenze von %1")
relations-de.txt 903-903
(
format
hi
CeilingFn
"%1 kaa uchchatamaanka")
relations-hindi.txt 85-85
(
format
ro
CeilingFn
"ceiling%t{cel mai mic numãr întreg mai mare sau egal} cu %1")
relations-ro.kif 440-440
(
format
tg
CeilingFn
"ang kisame sa %1")
relations-cb.txt 77-77
(
termFormat
ChineseLanguage
CeilingFn
"天花板")
domainEnglishFormat.kif 13632-13632
(
termFormat
ChineseLanguage
CeilingFn
"顶整数函数")
chinese_format.kif 691-691
(
termFormat
ChineseTraditionalLanguage
CeilingFn
"天花板")
domainEnglishFormat.kif 13631-13631
(
termFormat
EnglishLanguage
CeilingFn
"ceiling")
domainEnglishFormat.kif 13630-13630
(
termFormat
tg
CeilingFn
"tungkulin ng kisame")
relations-tg.txt 103-103
antecedent
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3050-3071
If
a symbolic string
is
equal
to the reverse of
another symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
the nonnegative integer
is
greater
than 1 and
another nonnegative integer
is
greater
than 0 and
the other nonnegative integer
is
less
than
the nonnegative integer
and
an integer
is
equal
to the
ceiling
of (
the nonnegative integer
and 1) and 2 and
the other nonnegative integer
EW is
equal
to ((
the integer
and
the other nonnegative integer
) and
the integer
) and
a third symbolic string
is
equal
to the
sub
-string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
the third symbolic string
is
equal
to the
sub
-string of
the symbolic string
from
the other nonnegative integer
EW to (1 and
the other nonnegative integer
EW)
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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