TreeView Knowledge Base Browser

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 4831-4832
(documentation FloorFn JapaneseLanguage "(FloorFn ?NUMBER) は、 RealNumber ?NUMBER 以下の最大 Integer を返す。")	japanese_format.kif 898-899
(domain FloorFn 1 RealNumber)	Merge.kif 4828-4828	FloorFn の数値 1 引数は実数の instance では %n
(instance FloorFn TotalValuedRelation)	Merge.kif 4827-4827	FloorFn は合計値関係の instance では %n
(instance FloorFn UnaryFunction)	Merge.kif 4826-4826	FloorFn は 1変数関数の instance では %n
(range FloorFn Integer)	Merge.kif 4829-4829	FloorFn の range は整数のインスタンスでは %n

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 24266-24266
(termFormat ChineseLanguage FloorFn "底整数函数")	chinese_format.kif 699-699
(termFormat ChineseTraditionalLanguage FloorFn "地板")	domainEnglishFormat.kif 24265-24265
(termFormat EnglishLanguage FloorFn "floor")	domainEnglishFormat.kif 24264-24264
(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 5117-5128

整数は 0 と equal では ( 整数 + 整数以下の largest 整数 + 整数 + 整数) は整数と equal では %n
整数を整数で割った剰余数は整数と equal では %n

consequent

(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER2 0)))
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))

Merge.kif 5104-5115

整数を整数で割った剰余数は整数と equal では %n 整数は 0 と equal では
( 整数 + 整数以下の largest 整数 + 整数 + 整数) は整数と equal では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: