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

Formal Language: 



KB Term:  Term intersection
English Word: 

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