| 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 24282-24282 | |
| (termFormat ChineseLanguage FloorFn "底整数函数") | chinese_format.kif 699-699 | |
| (termFormat ChineseTraditionalLanguage FloorFn "地板") | domainEnglishFormat.kif 24281-24281 | |
| (termFormat EnglishLanguage FloorFn "floor") | domainEnglishFormat.kif 24280-24280 | |
| (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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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