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
RemainderFn
Sigma KEE - RemainderFn
RemainderFn
appearance as argument number 1
(
documentation
RemainderFn
ChineseLanguage
"(RemainderFn ?NUMBER ?DIVISOR)是数字 ?NUMBER 除以数字 ?DIVISOR 的余数,商数的正负值与 ?DIVISOR 相同。")
chinese_format.kif 2267-2268
(
documentation
RemainderFn
EnglishLanguage
"(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISOR. The result has the same sign as ?DIVISOR.")
Merge.kif 5100-5102
(
documentation
RemainderFn
JapaneseLanguage
"(RemainderFn ?NUMBER ?DIVISOR) は、数値?NUMBER の残りを数値?DIVISORで割った値である。結果の符号は?DIVISOR と同じである。")
japanese_format.kif 932-933
(
domain
RemainderFn
1
Integer
)
Merge.kif 5096-5096
Die Zahl 1 Argument von
RemainderFn
ist ein
fall
von
Integer
%n{nicht}
(
domain
RemainderFn
2
Integer
)
Merge.kif 5097-5097
Die Zahl 2 Argument von
RemainderFn
ist ein
fall
von
Integer
%n{nicht}
(
instance
RemainderFn
BinaryFunction
)
Merge.kif 5093-5093
RemainderFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
RemainderFn
PartialValuedRelation
)
Merge.kif 5095-5095
RemainderFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
range
RemainderFn
Integer
)
Merge.kif 5098-5098
bildbereich
von
RemainderFn
ist ein fall von
Integer
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
RemainderFn
"%1 模除 %2")
chinese_format.kif 722-722
(
format
EnglishLanguage
RemainderFn
"%1 mod %2")
english_format.kif 724-724
(
format
FrenchLanguage
RemainderFn
"%1 reste %2")
french_format.kif 434-434
(
format
ItalianLanguage
RemainderFn
"%1 mod %2")
relations-it.txt 252-252
(
format
JapaneseLanguage
RemainderFn
"%1 を %2 で割った剰余数")
japanese_format.kif 2151-2151
(
format
PortugueseLanguage
RemainderFn
"%1 mod %2")
portuguese_format.kif 386-386
(
format
cz
RemainderFn
"%1 mod %2")
relations-cz.txt 446-446
(
format
de
RemainderFn
"%1 betrag %2")
relations-de.txt 935-935
(
format
hi
RemainderFn
"%1 aura %2 kaa sheshhaphala")
relations-hindi.txt 289-289
(
format
ro
RemainderFn
"%1 mod%t{modulo} %2")
relations-ro.kif 456-456
(
format
sv
RemainderFn
"%1 modulo %2")
relations-sv.txt 496-496
(
termFormat
ChineseLanguage
RemainderFn
"余函数")
chinese_format.kif 723-723
(
termFormat
ChineseLanguage
RemainderFn
"剩余")
domainEnglishFormat.kif 49442-49442
(
termFormat
ChineseTraditionalLanguage
RemainderFn
"剩餘")
domainEnglishFormat.kif 49441-49441
(
termFormat
EnglishLanguage
RemainderFn
"remainder")
domainEnglishFormat.kif 49440-49440
antecedent
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
Wenn
Integer
betrag
** Integer
ist gleich
** Integer
%n{nicht} und
** ** Integer
ist gleich 0 nicht und
** Integer
ist gleich 0 nicht und
** ** Integer
ist gleich 0 nicht,
dann das
zeichen
von
** ** Integer
ist gleich das
zeichen
von
** ** Integer
%n{nicht}
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
Wenn
Integer
betrag
** Integer
ist gleich
** Integer
%n{nicht} und
** ** Integer
ist gleich 0 nicht,
dann (die
groesste
Ganzzahl kleiner als oder Gleichgestelltes zu
** Integer
und
** ** Integer
und
** ** Integer
und
** ** Integer
) ist gleich
** Integer
%n{nicht}
consequent
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
Wenn die
groe
�te gemeinsamer teiler von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
Wenn die
groe
�te gemeinsamer teiler von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann es gibt nicht
** Integer
um
** ** Integer
ist
groesserAls
** Integer
%n{nicht} und fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
Wenn das
kleinste
gemeinsames vielfach von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Wenn das
kleinste
gemeinsames vielfach von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann es gibt nicht
** Integer
um
** ** Integer
ist
kleinerAls
** Integer
%n{nicht} und fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
instance
?LEAP
LeapYear
)
(
instance
?LEAP
(
YearFn
?NUMBER)))
(
or
(
and
(
equal
(
RemainderFn
?NUMBER 4) 0)
(
not
(
equal
(
RemainderFn
?NUMBER 100) 0)))
(
equal
(
RemainderFn
?NUMBER 400) 0)))
Merge.kif 9001-9009
Wenn
Entity
ist ein
fall
von
LeapYear
%n{nicht} und
** Entity
ist ein
fall
von das
jahr
Integer
%n{nicht},
dann
** Integer
betrag
4 ist gleich 0 %n{nicht} und
** Integer
betrag
100 ist gleich 0 nicht oder
** Integer
betrag
400 ist gleich 0 %n{nicht}
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5117-5128
Wenn
Integer
ist gleich 0 nicht und (die
groesste
Ganzzahl kleiner als oder Gleichgestelltes zu
** Integer
und
** Integer
und
** Integer
und
** Integer
) ist gleich
** ** Integer
%n{nicht},
dann
** ** Integer
betrag
** Integer
ist gleich
** ** Integer
%n{nicht}
(=>
(
instance
?NUMBER
EvenInteger
)
(
equal
(
RemainderFn
?NUMBER 2) 0))
Merge.kif 5144-5147
Wenn
Integer
ist ein
fall
von
EvenInteger
%n{nicht},
dann
** Integer
betrag
2 ist gleich 0 %n{nicht}
(=>
(
instance
?NUMBER
OddInteger
)
(
equal
(
RemainderFn
?NUMBER 2) 1))
Merge.kif 5149-5152
Wenn
Integer
ist ein
fall
von
OddInteger
%n{nicht},
dann
** Integer
betrag
2 ist gleich 1 %n{nicht}
(=>
(
instance
?PRIME
PrimeNumber
)
(
forall
(?NUMBER)
(=>
(
and
(
equal
(
RemainderFn
?PRIME ?NUMBER) 0)
(
not
(
equal
?NUMBER 0)))
(
or
(
equal
?NUMBER 1)
(
equal
?NUMBER ?PRIME)))))
Merge.kif 5154-5165
Wenn
Integer
ist ein
fall
von
PrimeNumber
%n{nicht},
dann fuer alle
** Integer
wenn
** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht} und
** ** Integer
ist gleich 0 nicht,
dann
** ** Integer
ist gleich 1 %n{nicht} oder
** ** Integer
ist gleich
** Integer
%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