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 1974-1975
(documentation NonnegativeInteger JapaneseLanguage "ゼロ以上の大きい Integer 。")	japanese_format.kif 361-361
(subclass NonnegativeInteger Integer)	Merge.kif 1971-1971	Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1972-1972	Nonnegative integer is a subclass of nonnegative real number

appearance as argument number 2

(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 2914-2914	The range of bid count 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 IntegerSquareRootFn NonnegativeInteger)	Merge.kif 4937-4937	The range of integer square root is an instance of nonnegative integer
(range ListLengthFn NonnegativeInteger)	Merge.kif 3013-3013	The range of list length is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 26128-26128	The range of string length fn is an instance of nonnegative integer
(subclass PositiveInteger NonnegativeInteger)	Merge.kif 1990-1990	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 8711-8711	The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8737-8737	The number 1 argument of minute is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 26098-26098	The number 2 argument of substring fn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 26099-26099	The number 3 argument of substring fn 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 engine cylinders 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 memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 24325-24325	The number 3 argument of member type count 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
(domain stringLength 1 NonnegativeInteger)	Mid-level-ontology.kif 26139-26139	The number 1 argument of string length 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 3915-3915	The number 3 argument of transit way throughput capacity is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1952-1952	Integer is exhaustively partitioned into negative integer and nonnegative integer

antecedent

(=>
(instance ?X NonnegativeInteger)
(greaterThan ?X -1))

Merge.kif 1977-1979

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

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 the integer is equal to 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: