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
FloorFn
Sigma KEE - FloorFn
FloorFn
appearance as argument number 1
(
documentation
FloorFn
ChineseLanguage
"(
FloorFn
?NUMBER) 得出小于或等于
RealNumber
?NUMBER 的最大
Integer
。")
chinese_format.kif 2234-2235
(
documentation
FloorFn
EnglishLanguage
"(
FloorFn
?NUMBER) returns the largest
Integer
less than or equal to the
RealNumber
?NUMBER.")
Merge.kif 4802-4803
(
domain
FloorFn
1
RealNumber
)
Merge.kif 4799-4799
domain
FloorFn
, 1 and
RealNumber
(
instance
FloorFn
TotalValuedRelation
)
Merge.kif 4798-4798
instance
FloorFn
and
TotalValuedRelation
(
instance
FloorFn
UnaryFunction
)
Merge.kif 4797-4797
instance
FloorFn
and
UnaryFunction
(
range
FloorFn
Integer
)
Merge.kif 4800-4800
range
FloorFn
and
Integer
appearance as argument number 2
(
format
ChineseLanguage
FloorFn
"取 %1 的底整数")
chinese_format.kif 698-698
(
format
EnglishLanguage
FloorFn
"the largest integer less than or equal to %1")
english_format.kif 700-700
(
termFormat
ChineseLanguage
FloorFn
"地板")
domainEnglishFormat.kif 24250-24250
(
termFormat
ChineseLanguage
FloorFn
"底整数函数")
chinese_format.kif 699-699
(
termFormat
ChineseTraditionalLanguage
FloorFn
"地板")
domainEnglishFormat.kif 24249-24249
(
termFormat
EnglishLanguage
FloorFn
"floor")
domainEnglishFormat.kif 24248-24248
antecedent
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5088-5099
equal
Integer
and 0
equal
AdditionFn
MultiplicationFn
FloorFn
DivisionFn
Integer
and
Integer
and
Integer
and
Integer
and
Integer
equal
RemainderFn
Integer
and
Integer
and
Integer
consequent
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5075-5086
equal
RemainderFn
Integer
and
Integer
and
Integer
equal
Integer
and 0
equal
AdditionFn
MultiplicationFn
FloorFn
DivisionFn
Integer
and
Integer
and
Integer
and
Integer
and
Integer
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