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


KB Term:  Term intersection
English Word: 

  NegativeInteger

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