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 | The number 1 argument of floor is an instance of real number |
(instance FloorFn TotalValuedRelation) | Merge.kif 4828-4828 | Floor is an instance of total valued relation |
(instance FloorFn UnaryFunction) | Merge.kif 4827-4827 | Floor is an instance of unary function |
(range FloorFn Integer) | Merge.kif 4830-4830 | The range of floor is an instance of 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 | |
(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 |
|