Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 2010-2010 Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 2011-2011 Nonnegative integer is a subclass of nonnegative real number
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.") Merge.kif 2013-2014 Nonnegative integer is a subclass of nonnegative real number

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


(subclass PositiveInteger NonnegativeInteger) Merge.kif 2029-2029 Positive integer is a subclass of nonnegative integer
(range ListLengthFn NonnegativeInteger) Merge.kif 3052-3052 The range of list length is an instance of nonnegative integer
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4976-4976 The range of integer square root is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 26828-26828 The range of string length fn is an instance of nonnegative integer
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 2879-2879 The range of bought items is an instance of nonnegative integer
(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 2913-2913 The range of bid count is an instance of nonnegative integer
(range NumberOfDaysInMonthFn NonnegativeInteger) Weather.kif 684-684 The range of number of days in the month is an instance of nonnegative integer
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") english_format.kif 942-942 The range of number of days in the month is an instance of nonnegative integer

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


(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4604-4604 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 1876-1876 The number 3 argument of seats held in organization is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1991-1991 Integer is exhaustively partitioned into negative integer and nonnegative integer
(domain HourFn 1 NonnegativeInteger) Merge.kif 8746-8746 The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8772-8772 The number 1 argument of minute is an instance of nonnegative integer
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 25025-25025 The number 3 argument of member type count is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 26798-26798 The number 2 argument of substring fn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 26799-26799 The number 3 argument of substring fn is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26839-26839 The number 1 argument of string length 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 4433-4433 The number 3 argument of transit way throughput capacity is an instance of nonnegative integer

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))		 Merge.kif 2016-2018 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 686-696 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 698-707 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 709-717 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 5591-5596 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 is open source software produced by Articulate Software and its partners