| appearance as argument number 1 |
|
| (documentation SignumFn ChineseLanguage "(SignumFn ?NUMBER) 得出 ?NUMBER 的正负符号，这将会是 以下其中的一个值： -1， 1 或 0。") | chinese_format.kif 2271-2272 | |
| (documentation SignumFn EnglishLanguage "(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0.") | Merge.kif 5220-5221 | |
| (documentation SignumFn JapaneseLanguage "(SignumFn ?NUMBER) は、?NUMBERの符号を示し、−１、 １、または０のいずれかの値を示す。") | japanese_format.kif 937-938 | |
| (domain SignumFn 1 RealNumber) | Merge.kif 5217-5217 | SignumFn の数値 1 引数は 実数 の instance では |
| (instance SignumFn TotalValuedRelation) | Merge.kif 5216-5216 | SignumFn は 合計値関係 の instance では |
| (instance SignumFn UnaryFunction) | Merge.kif 5215-5215 | SignumFn は 1変数関数 の instance では |
| (range SignumFn Integer) | Merge.kif 5218-5218 | SignumFn の range は 整数 のインスタンス では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SignumFn "%1 的正或负值") | chinese_format.kif 726-726 | |
| (format EnglishLanguage SignumFn "the sign of %1") | english_format.kif 728-728 | |
| (format FrenchLanguage SignumFn "le signe de %1") | french_format.kif 436-436 | |
| (format ItalianLanguage SignumFn "il segno di %1") | relations-it.txt 263-263 | |
| (format JapaneseLanguage SignumFn "%1 の sign") | japanese_format.kif 2153-2153 | |
| (format PortugueseLanguage SignumFn "o sinal de %1") | portuguese_format.kif 388-388 | |
| (format de SignumFn "das zeichen von %1") | relations-de.txt 939-939 | |
| (format hi SignumFn "%1 kaa chihna") | relations-hindi.txt 300-300 | |
| (format ro SignumFn "sign%t{semnul} lui %1") | relations-ro.kif 458-458 | |
| (format sv SignumFn "tecknet på %1") | relations-sv.txt 498-498 | |
| (format tg SignumFn "ang senyas ng %1") | relations-tg.txt 455-455 | |
| (termFormat ChineseLanguage SignumFn "正或负值函数") | chinese_format.kif 727-727 | |
| (termFormat ChineseLanguage SignumFn "正负号") | domainEnglishFormat.kif 53046-53046 | |
| (termFormat ChineseTraditionalLanguage SignumFn "正負號") | domainEnglishFormat.kif 53045-53045 | |
| (termFormat EnglishLanguage SignumFn "signum") | domainEnglishFormat.kif 53044-53044 | |
| (termFormat de SignumFn "SignumFn") | terms-de.txt 288-288 |
| consequent |
|
|
| (=> (and (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (not (equal ?NUMBER 0)) (not (equal ?NUMBER1 0)) (not (equal ?NUMBER2 0))) (equal (SignumFn ?NUMBER2) (SignumFn ?NUMBER))) |
Merge.kif 5158-5170 | |
| (=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 5233-5235 | |
| (=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0))) |
Merge.kif 5223-5227 | |
| (=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1)) |
Merge.kif 5229-5231 |
|
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