SignumFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 5205-5206
(documentation SignumFn JapaneseLanguage "(SignumFn ?NUMBER) は、?NUMBERの符号を示し、−１、１、または０のいずれかの値を示す。")	japanese_format.kif 937-938
(domain SignumFn 1 RealNumber)	Merge.kif 5202-5202	The number 1 argument of signum is an instance of real number
(instance SignumFn TotalValuedRelation)	Merge.kif 5201-5201	Signum is an instance of total valued relation
(instance SignumFn UnaryFunction)	Merge.kif 5200-5200	Signum is an instance of unary function
(range SignumFn Integer)	Merge.kif 5203-5203	The range of signum is an instance of integer

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 53075-53075
(termFormat ChineseTraditionalLanguage SignumFn "正負號")	domainEnglishFormat.kif 53074-53074
(termFormat EnglishLanguage SignumFn "signum")	domainEnglishFormat.kif 53073-53073
(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 5143-5155	If an integer mod another integer is equal to a third integer and the third integer is not equal to 0 and the integer is not equal to 0 and the other integer is not equal to 0, then the sign of the other integer is equal to the sign of the third integer
(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1))	Merge.kif 5218-5220	If a real number is an instance of negative real number, then the sign of the real number is equal to -1
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5208-5212	If a real number is an instance of nonnegative real number, then the sign of the real number is equal to 1 or the sign of the real number is equal to 0
(=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1))	Merge.kif 5214-5216	If a real number is an instance of positive real number, then the sign of the real number is equal to 1

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