Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 4690-4691
(
domain
CeilingFn
1
RealNumber
)
Merge.kif 4687-4687
domain
CeilingFn
, 1 and
RealNumber
(
instance
CeilingFn
TotalValuedRelation
)
Merge.kif 4686-4686
instance
CeilingFn
and
TotalValuedRelation
(
instance
CeilingFn
UnaryFunction
)
Merge.kif 4685-4685
instance
CeilingFn
and
UnaryFunction
(
range
CeilingFn
Integer
)
Merge.kif 4688-4688
range
CeilingFn
and
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
(
termFormat
ChineseLanguage
CeilingFn
"天花板")
domainEnglishFormat.kif 13635-13635
(
termFormat
ChineseLanguage
CeilingFn
"顶整数函数")
chinese_format.kif 691-691
(
termFormat
ChineseTraditionalLanguage
CeilingFn
"天花板")
domainEnglishFormat.kif 13634-13634
(
termFormat
EnglishLanguage
CeilingFn
"ceiling")
domainEnglishFormat.kif 13633-13633
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 3056-3077
equal
SymbolicString
and
ReverseFn
SymbolicString
equal
NonnegativeInteger
and
StringLengthFn
SymbolicString
greaterThan
NonnegativeInteger
and 1
greaterThan
NonnegativeInteger
and 0
lessThan
NonnegativeInteger
and
NonnegativeInteger
equal
Integer
and
CeilingFn
DivisionFn
SubtractionFn
NonnegativeInteger
and 1 and 2
equal
NonnegativeInteger
EW and
AdditionFn
SubtractionFn
Integer
and
NonnegativeInteger
and
Integer
equal
SymbolicString
and
SubstringFn
SymbolicString
,
NonnegativeInteger
and
AdditionFn
1 and
NonnegativeInteger
equal
SymbolicString
and
SubstringFn
SymbolicString
,
NonnegativeInteger
EW and
AdditionFn
1 and
NonnegativeInteger
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