TreeView Knowledge Base Browser - NonnegativeInteger

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 1918-1919
(subclass NonnegativeInteger Integer)	Merge.kif 1915-1915	Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1916-1916	Nonnegative integer is a subclass of nonnegative real number

appearance as argument number 2

(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 3122-3122	The range of bid count is an instance of nonnegative integer
(range BoughtItemsFn NonnegativeInteger)	UXExperimentalTerms.kif 3089-3089	The range of bought items is an instance of nonnegative integer
(range IntegerSquareRootFn NonnegativeInteger)	Merge.kif 4828-4828	The range of integer square root is an instance of nonnegative integer
(range ListLengthFn NonnegativeInteger)	Merge.kif 2943-2943	The range of list length is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 23800-23800	The range of StringLengthFn is an instance of nonnegative integer
(subclass PositiveInteger NonnegativeInteger)	Merge.kif 1934-1934	Positive integer is a subclass of nonnegative integer
(termFormat ChineseLanguage NonnegativeInteger "非负整数")	chinese_format.kif 870-870
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer")	english_format.kif 942-942

appearance as argument number 3

(domain HourFn 1 NonnegativeInteger)	Merge.kif 8515-8515	The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8541-8541	The number 1 argument of minute is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 23770-23770	The number 2 argument of SubstringFn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 23771-23771	The number 3 argument of SubstringFn is an instance of nonnegative integer
(domain cardinality 2 NonnegativeInteger)	Government.kif 425-425	The number 2 argument of cardinality is an instance of nonnegative integer
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4529-4529	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 fOC ships by origin is an instance of nonnegative integer
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 22087-22087	The number 3 argument of member type count is an instance of nonnegative integer
(domain seatsHeldInOrganization 3 NonnegativeInteger)	Government.kif 1899-1899	The number 3 argument of seats held in organization is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger)	Mid-level-ontology.kif 23811-23811	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 total facility type in area is an instance of nonnegative integer
(domain transitwayCapacityCount 3 NonnegativeInteger)	Transportation.kif 3044-3044	The number 3 argument of transitway capacity count is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1896-1896	Integer is exhaustively partitioned into negative integer and nonnegative integer

antecedent

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

Merge.kif 1921-1923

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

If an entity 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 entity

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: