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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NegativeRealNumber

Sigma KEE - NegativeRealNumber
NegativeRealNumber
عَدَد حَقِيقِي سَالِب, Negatibong_tunay_na_numero, NumeroRealeNegativo, Numero_Real_negativo, Qnaatmaka_vaastavika_anka, indirect_correlation, negative, negative_correlation, negative_real_number, nombre_r�el_n�gatif, 负实数

appearance as argument number 1
-------------------------


(documentation NegativeRealNumber ChineseLanguage "这是一个小于零的 RealNumber。") Merge.kif 2005-2005
(documentation NegativeRealNumber EnglishLanguage "A RealNumber that is less than zero.") Merge.kif 2003-2004
(externalImage NegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ Number-line.gif") pictureList.kif 10166-10166
(subclass NegativeRealNumber RealNumber) Merge.kif 2002-2002

appearance as argument number 2
-------------------------


(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1947-1947
(subclass NegativeInteger NegativeRealNumber) Merge.kif 2045-2045
(termFormat ChineseLanguage NegativeRealNumber "负实数") chinese_format.kif 865-865
(termFormat EnglishLanguage NegativeRealNumber "negative real number") english_format.kif 552-552
(termFormat FrenchLanguage NegativeRealNumber "nombre r�el n�gatif") french_format.kif 541-541
(termFormat Hindi NegativeRealNumber "Qnaatmaka vaastavika anka") terms-hindi.txt 71-71
(termFormat ItalianLanguage NegativeRealNumber "NumeroRealeNegativo") terms-it.txt 72-72
(termFormat PortugueseLanguage NegativeRealNumber "Numero Real negativo") portuguese_format.kif 493-493
(termFormat ar NegativeRealNumber "عَدَد حَقِيقِي سَالِب") arabic_format.kif 277-277
(termFormat cz NegativeRealNumber "negative real number") terms-cz.txt 108-108
(termFormat tg NegativeRealNumber "Negatibong tunay na numero") terms-tg.txt 75-75

antecedent
-------------------------


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2007-2011
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal
        (SignumFn ?NUMBER) -1))
Merge.kif 5313-5315

consequent
-------------------------


(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 4911-4922


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners