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 4786-4787
(
documentation
CeilingFn
JapaneseLanguage
"(
CeilingFn
?NUMBER) は、
RealNumber
?NUMBER より最大以上以上の最小
Integer
を返す。")
japanese_format.kif 890-891
(
domain
CeilingFn
1
RealNumber
)
Merge.kif 4783-4783
Die Zahl 1 Argument von
CeilingFn
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
CeilingFn
TotalValuedRelation
)
Merge.kif 4782-4782
CeilingFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
CeilingFn
UnaryFunction
)
Merge.kif 4781-4781
CeilingFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
CeilingFn
Integer
)
Merge.kif 4784-4784
bildbereich
von
CeilingFn
ist ein fall von
Integer
{nicht}
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 3068-3089
Wenn
SymbolicString
ist gleich
ReverseFn
** SymbolicString
%n{nicht} und
NonnegativeInteger
ist gleich
StringLengthFn
** ** SymbolicString
%n{nicht} und
** NonnegativeInteger
ist
groesserAls
1 %n{nicht} und
** NonnegativeInteger
ist
groesserAls
0 %n{nicht} und
** ** NonnegativeInteger
ist
kleinerAls
** NonnegativeInteger
%n{nicht} und
Integer
ist gleich die
oberstegrenze
von (
** NonnegativeInteger
und 1) und 2 %n{nicht} und
** ** NonnegativeInteger
EW ist gleich ((
** Integer
und
** ** NonnegativeInteger
) und
** Integer
) %n{nicht} und
** SymbolicString
ist gleich
SubstringFn
** ** SymbolicString
,
** ** NonnegativeInteger
and (1 und
** ** NonnegativeInteger
) %n{nicht},
dann
** ** SymbolicString
ist gleich
SubstringFn
** SymbolicString
,
** ** NonnegativeInteger
EW and (1 und
** ** NonnegativeInteger
EW) %n{nicht}
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