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
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 4832-4833
(
documentation
FloorFn
JapaneseLanguage
"(
FloorFn
?NUMBER) は、
RealNumber
?NUMBER 以下 の最大
Integer
を返す。")
japanese_format.kif 898-899
(
domain
FloorFn
1
RealNumber
)
Merge.kif 4829-4829
(
instance
FloorFn
TotalValuedRelation
)
Merge.kif 4828-4828
(
instance
FloorFn
UnaryFunction
)
Merge.kif 4827-4827
(
range
FloorFn
Integer
)
Merge.kif 4830-4830
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
(
format
FrenchLanguage
FloorFn
"le plus grand nombre entier inf�rieur ou �gal � %1")
french_format.kif 422-422
(
format
ItalianLanguage
FloorFn
"the il maggior numero intero minore o uguale a %1")
relations-it.txt 112-112
(
format
JapaneseLanguage
FloorFn
"%1 以下の largest 整数")
japanese_format.kif 2139-2139
(
format
PortugueseLanguage
FloorFn
"o maior numero inteiro menor or igual a %1")
portuguese_format.kif 374-374
(
format
de
FloorFn
"die groesste Ganzzahl kleiner als oder Gleichgestelltes zu %1")
relations-de.txt 911-911
(
format
hi
FloorFn
"%1 se choTaa yaa baraabara sabase badaa puurNaanka")
relations-hindi.txt 152-152
(
format
ro
FloorFn
"largest%t{cel mai mare} numãr întreg mai mic sau egal cu %1")
relations-ro.kif 444-444
(
format
sv
FloorFn
"det största heltalet mindre än eller lika med %1")
relations-sv.txt 473-473
(
format
tg
FloorFn
"ang sakdal malaki numero menos o pareho sa %1")
relations-tg.txt 234-234
(
termFormat
ChineseLanguage
FloorFn
"地板")
domainEnglishFormat.kif 24260-24260
(
termFormat
ChineseLanguage
FloorFn
"底整数函数")
chinese_format.kif 699-699
(
termFormat
ChineseTraditionalLanguage
FloorFn
"地板")
domainEnglishFormat.kif 24259-24259
(
termFormat
EnglishLanguage
FloorFn
"floor")
domainEnglishFormat.kif 24258-24258
(
termFormat
tg
FloorFn
"tungkulin ng sahig")
relations-tg.txt 235-235
antecedent
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5118-5129
consequent
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5105-5116
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