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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SignumFn

 Sigma KEE - SignumFn
SignumFn

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 5193-5194
(documentation SignumFn JapaneseLanguage "(SignumFn ?NUMBER) は、?NUMBERの符号を示し、−１、 １、または０のいずれかの値を示す。") japanese_format.kif 937-938
(domain SignumFn 1 RealNumber) Merge.kif 5190-5190 正或负值函数 的 1 数量 是 实数 的 instance
(instance SignumFn TotalValuedRelation) Merge.kif 5189-5189 正或负值函数 是 总值关系 的 instance
(instance SignumFn UnaryFunction) Merge.kif 5188-5188 正或负值函数 是 一元函数 的 instance
(range SignumFn Integer) Merge.kif 5191-5191 正或负值函数 的 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 53044-53044
(termFormat ChineseTraditionalLanguage SignumFn "正負號") domainEnglishFormat.kif 53043-53043
(termFormat EnglishLanguage SignumFn "signum") domainEnglishFormat.kif 53042-53042

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 5131-5143
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal
        (SignumFn ?NUMBER) -1))		 Merge.kif 5206-5208
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))		 Merge.kif 5196-5200
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))		 Merge.kif 5202-5204


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 3.0 is open source software produced by Articulate Software and its partners