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


KB Term:  Term intersection
English Word: 

  NonnegativeInteger

 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 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