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


KB Term:  Term intersection
English Word: 

Sigma KEE - NonnegativeInteger
NonnegativeInteger(nonnegative integer)0, binary_digit, cipher, cypher, digit, duodecimal_digit, figure, hexadecimal_digit, nought, octal_digit, significant_digit, significant_figure, zero

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


(subclass NonnegativeInteger Integer) Merge.kif 2079-2079 Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 2080-2080 Nonnegative integer is a subclass of nonnegative real number
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.") Merge.kif 2082-2083 Nonnegative integer is a subclass of nonnegative real number

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


(subclass PositiveInteger NonnegativeInteger) Merge.kif 2098-2098 Positive integer is a subclass of nonnegative integer
(range ListLengthFn NonnegativeInteger) Merge.kif 3126-3126 The range of list length is an instance of nonnegative integer
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 5036-5036 The range of integer square root is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 26746-26746 The range of string length fn is an instance of nonnegative integer
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 2880-2880 The range of bought items is an instance of nonnegative integer
(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 2914-2914 The range of bid count is an instance of nonnegative integer
(range NumberOfDaysInMonthFn NonnegativeInteger) Weather.kif 668-668 The range of number of days in the month is an instance of nonnegative integer
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") english_format.kif 946-946 The range of number of days in the month is an instance of nonnegative integer

appearance as argument number 3
-------------------------


(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2060-2060 Integer is exhaustively partitioned into negative integer and nonnegative integer
(domain HourFn 1 NonnegativeInteger) Merge.kif 8815-8815 The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8841-8841 The number 1 argument of minute is an instance of nonnegative integer
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 24943-24943 The number 3 argument of member type count is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 26716-26716 The number 2 argument of substring fn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 26717-26717 The number 3 argument of substring fn is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26757-26757 The number 1 argument of string length is an instance of nonnegative integer
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4418-4418 The number 2 argument of engine cylinders is an instance of nonnegative integer
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401 The number 2 argument of cardinality is an instance of nonnegative integer
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1885-1885 The number 3 argument of seats held in organization is an instance of nonnegative integer
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 The number 3 argument of fOC ships by origin is an instance of nonnegative integer
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 The number 3 argument of total facility type in area is an instance of nonnegative integer
(domain transitwayThroughputCapacity 3 NonnegativeInteger) Transportation.kif 4457-4457 The number 3 argument of transit way throughput capacity is an instance of nonnegative integer

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))		 Merge.kif 2085-2087 If X is an instance of nonnegative integer, then X is greater than -1
(=>
    (and
        (instance ?I NonnegativeInteger)
        (equal ?I
            (NumberOfDaysInMonthFn ?M ?Y))
        (not
            (equal ?M February))
        (instance ?Y ?YEAR)
        (instance ?MONTH
            (MonthFn ?M ?YEAR)))
    (duration ?MONTH
        (MeasureFn ?I DayDuration)))		 Weather.kif 670-680 If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, Z is an instance of W, and V is an instance of the month Y, then duration of V is X day duration(s)
(=>
    (and
        (instance ?I NonnegativeInteger)
        (equal ?I
            (NumberOfDaysInMonthFn ?M ?Y))
        (equal ?M February)
        (instance ?LP LeapYear)
        (not
            (equal ?Y ?LP)))
    (equal ?I 28))		 Weather.kif 682-691 If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, W is an instance of leap year, and equal Z and W, then equal X and 28
(=>
    (and
        (instance ?I NonnegativeInteger)
        (equal ?I
            (NumberOfDaysInMonthFn ?M ?Y))
        (equal ?M February)
        (instance ?LP LeapYear)
        (equal ?Y ?LP))
    (equal ?I 29))		 Weather.kif 693-701 If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, W is an instance of leap year, and equal Z and W, then equal X and 29

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


(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
        (and
            (instance ?NUMBER NonnegativeInteger)
            (equal ?NUMBER
                (CardinalityFn ?SET)))))		 Merge.kif 5662-5667 If X is an instance of finite set, then there exists Y such that Y is an instance of nonnegative integer, equal Y, and the number of instances in 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