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


KB Term:  Term intersection
English Word: 

Sigma KEE - NegativeInteger
NegativeInteger(negative integer)

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


(subclass NegativeInteger Integer) Merge.kif 2089-2089 Negative integer is a subclass of integer
(subclass NegativeInteger NegativeRealNumber) Merge.kif 2090-2090 Negative integer is a subclass of negative real number
(documentation NegativeInteger EnglishLanguage "An Integer that is less than zero.") Merge.kif 2092-2092 Negative integer is a subclass of negative real number

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


(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2060-2060 Integer is exhaustively partitioned into negative integer and nonnegative integer
(termFormat EnglishLanguage NegativeInteger "negative integer") english_format.kif 948-948 Integer is exhaustively partitioned into negative integer and nonnegative integer

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


(=>
    (instance ?X NegativeInteger)
    (greaterThan 0 ?X))		 Merge.kif 2094-2096 If X is an instance of negative integer, then 0 is greater than X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners