NonnegativeInteger - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NonnegativeInteger ChineseLanguage "这是一个大于或等于零的 Integer。")	chinese_format.kif 1752-1752
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.")	Merge.kif 2014-2015
(documentation NonnegativeInteger JapaneseLanguage "ゼロ以上の大きい Integer 。")	japanese_format.kif 361-361
(subclass NonnegativeInteger Integer)	Merge.kif 2011-2011	Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 2012-2012	Nonnegative integer is a subclass of nonnegative real number

appearance as argument number 2

(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 2913-2913	The range of BidCountFn is an instance of nonnegative integer
(range BoughtItemsFn NonnegativeInteger)	UXExperimentalTerms.kif 2879-2879	The range of BoughtItemsFn is an instance of nonnegative integer
(range IntegerSquareRootFn NonnegativeInteger)	Merge.kif 4977-4977	The range of IntegerSquareRootFn is an instance of nonnegative integer
(range ListLengthFn NonnegativeInteger)	Merge.kif 3053-3053	The range of ListLengthFn is an instance of nonnegative integer
(range NumberOfDaysInMonthFn NonnegativeInteger)	Weather.kif 684-684	The range of NumberOfDaysInMonthFn is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 26100-26100	The range of StringLengthFn is an instance of nonnegative integer
(subclass PositiveInteger NonnegativeInteger)	Merge.kif 2030-2030	Positive integer is a subclass of nonnegative integer
(termFormat ChineseLanguage NonnegativeInteger "非负整数")	chinese_format.kif 870-870	Positive integer is a subclass of nonnegative integer
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer")	english_format.kif 942-942	Positive integer is a subclass of nonnegative integer
(termFormat FrenchLanguage NonnegativeInteger "nombre entier non n�gatif")	french_format.kif 546-546	Positive integer is a subclass of nonnegative integer
(termFormat Hindi NonnegativeInteger "aQNaatmaka pUrNaanka")	terms-hindi.txt 76-76	Positive integer is a subclass of nonnegative integer
(termFormat ItalianLanguage NonnegativeInteger "NumeroInteroNonNegativo")	terms-it.txt 79-79	Positive integer is a subclass of nonnegative integer
(termFormat JapaneseLanguage NonnegativeInteger "非負整数")	japanese_format.kif 2231-2231	Positive integer is a subclass of nonnegative integer
(termFormat PortugueseLanguage NonnegativeInteger "Numero Inteiro nao-negativo")	portuguese_format.kif 498-498	Positive integer is a subclass of nonnegative integer
(termFormat cz NonnegativeInteger "nonnegative integer")	terms-cz.txt 113-113	Positive integer is a subclass of nonnegative integer
(termFormat de NonnegativeInteger "nichtnegative Ganzzahl")	terms-de.txt 372-372	Positive integer is a subclass of nonnegative integer
(termFormat ro NonnegativeInteger "întreg nenegativ")	relations-ro.kif 567-567	Positive integer is a subclass of nonnegative integer
(termFormat tg NonnegativeInteger "")	terms-tg.txt 80-80	Positive integer is a subclass of nonnegative integer

appearance as argument number 3

(domain HourFn 1 NonnegativeInteger)	Merge.kif 8748-8748	The number 1 argument of HourFn is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8774-8774	The number 1 argument of MinuteFn is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 26070-26070	The number 2 argument of SubstringFn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 26071-26071	The number 3 argument of SubstringFn 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 engineCylinders 2 NonnegativeInteger)	Cars.kif 4587-4587	The number 2 argument of engineCylinders is an instance of nonnegative integer
(domain fOCShipsByOrigin 3 NonnegativeInteger)	Transportation.kif 1056-1056	The number 3 argument of fOCShipsByOrigin is an instance of nonnegative integer
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 24297-24297	The number 3 argument of memberTypeCount is an instance of nonnegative integer
(domain seatsHeldInOrganization 3 NonnegativeInteger)	Government.kif 1876-1876	The number 3 argument of seatsHeldInOrganization is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger)	Mid-level-ontology.kif 26111-26111	The number 1 argument of stringLength is an instance of nonnegative integer
(domain totalFacilityTypeInArea 3 NonnegativeInteger)	Transportation.kif 1215-1215	The number 3 argument of totalFacilityTypeInArea is an instance of nonnegative integer
(domain transitwayThroughputCapacity 3 NonnegativeInteger)	Transportation.kif 3913-3913	The number 3 argument of transitwayThroughputCapacity is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1992-1992	Integer is exhaustively partitioned into negative integer and nonnegative integer

antecedent

(=> (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 an integer is an instance of nonnegative integer and equal the integer and NumberOfDaysInMonthFn a kind of month and a year and equal a kind of month and February and an entity is an instance of leap year and equal the year and the entity, then equal the integer and 29
(=> (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 an integer is an instance of nonnegative integer and equal the integer and NumberOfDaysInMonthFn a kind of month and a year and equal a kind of month and February and an entity is an instance of leap year and equal the year and the entity, then equal the integer and 28
(=> (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 an integer is an instance of nonnegative integer and equal the integer and NumberOfDaysInMonthFn a kind of month and a year and equal a kind of month and February and the year is an instance of the yearEAR and the kind of monthONTH is an instance of the month the kind of month, then duration of the kind of monthONTH is the integer DayDuration(s)
(=> (instance ?X NonnegativeInteger) (greaterThan ?X -1))	Merge.kif 2017-2019	If a real number is an instance of nonnegative integer, then the real number is greater than -1

consequent

(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
        (and
            (instance ?NUMBER NonnegativeInteger)
            (equal ?NUMBER
                (CardinalityFn ?SET)))))

Merge.kif 5592-5597

If a set or class is an instance of finite set,
then there exists an integer such that the integer is an instance of nonnegative integer and equal the integer and the number of instances in the set or class

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

KB Term:			Term intersection

English Word: