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 4784-4785
(
documentation
CeilingFn
JapaneseLanguage
"(
CeilingFn
?NUMBER) は、
RealNumber
?NUMBER より最大以上以上の最小
Integer
を返す。")
japanese_format.kif 890-891
(
domain
CeilingFn
1
RealNumber
)
Merge.kif 4781-4781
CeilingFn
の数値 1 引数は
実数
の
instance
では %n
(
instance
CeilingFn
TotalValuedRelation
)
Merge.kif 4780-4780
CeilingFn
は
合計値関係
の
instance
では %n
(
instance
CeilingFn
UnaryFunction
)
Merge.kif 4779-4779
CeilingFn
は
1変数関数
の
instance
では %n
(
range
CeilingFn
Integer
)
Merge.kif 4782-4782
CeilingFn
の
range
は
整数
のインスタンス では %n
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 13643-13643
(
termFormat
ChineseLanguage
CeilingFn
"顶整数函数")
chinese_format.kif 691-691
(
termFormat
ChineseTraditionalLanguage
CeilingFn
"天花板")
domainEnglishFormat.kif 13642-13642
(
termFormat
EnglishLanguage
CeilingFn
"ceiling")
domainEnglishFormat.kif 13641-13641
(
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
記号文字列
は
ReverseFn
記号文字列
と
equal
では %n
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は 1 より
greater
では %n
非負整数
は 0 より
greater
では %n
非負整数
は
非負整数
より
less
では %n
整数
は (
非負整数
+ 1) + 2 の
ceiling
と
equal
では %n
非負整数
EW は ((
整数
+
非負整数
) +
整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
and (1 +
非負整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
EW and (1 +
非負整数
EW) と
equal
では %n
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