Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FloorFn

Sigma KEE - FloorFn
FloorFn

appearance as argument number 1
-------------------------


(documentation FloorFn ChineseLanguage "(FloorFn ?NUMBER) 得出小于或等于 RealNumber ?NUMBER 的最大 Integer。") Merge.kif 4992-4993
(documentation FloorFn EnglishLanguage "(FloorFn ?NUMBER) returns the largest Integer less than or equal to the RealNumber ?NUMBER.") Merge.kif 4990-4991
(domain FloorFn 1 RealNumber) Merge.kif 4988-4988
(instance FloorFn TotalValuedRelation) Merge.kif 4987-4987
(instance FloorFn UnaryFunction) Merge.kif 4986-4986
(range FloorFn Integer) Merge.kif 4989-4989

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 433-433
(termFormat ChineseLanguage FloorFn "底整数函数") chinese_format.kif 699-699
(termFormat EnglishLanguage FloorFn "floor") domainEnglishFormat.kif 4465-4465

consequent
-------------------------


(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5261-5263


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners