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 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)

KB Term:			Term intersection

English Word: