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 1886-1887
(subclass NonnegativeInteger Integer)	Merge.kif 1883-1883	subclass NonnegativeInteger and Integer
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1884-1884	subclass NonnegativeInteger and NonnegativeRealNumber

appearance as argument number 2

(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 3117-3117	range BidCountFn and NonnegativeInteger
(range BoughtItemsFn NonnegativeInteger)	UXExperimentalTerms.kif 3084-3084	range BoughtItemsFn and NonnegativeInteger
(range IntegerSquareRootFn NonnegativeInteger)	Merge.kif 4681-4681	range IntegerSquareRootFn and NonnegativeInteger
(range ListLengthFn NonnegativeInteger)	Merge.kif 2904-2904	range ListLengthFn and NonnegativeInteger
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 22211-22211	range StringLengthFn and NonnegativeInteger
(subclass PositiveInteger NonnegativeInteger)	Merge.kif 1902-1902	subclass PositiveInteger and NonnegativeInteger
(termFormat ChineseLanguage NonnegativeInteger "非负整数")	chinese_format.kif 870-870
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer")	english_format.kif 947-947

appearance as argument number 3

(domain HourFn 1 NonnegativeInteger)	Merge.kif 8040-8040	domain HourFn, 1 and NonnegativeInteger
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8066-8066	domain MinuteFn, 1 and NonnegativeInteger
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 22181-22181	domain SubstringFn, 2 and NonnegativeInteger
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 22182-22182	domain SubstringFn, 3 and NonnegativeInteger
(domain cardinality 2 NonnegativeInteger)	Government.kif 426-426	domain cardinality, 2 and NonnegativeInteger
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4506-4506	domain engineCylinders, 2 and NonnegativeInteger
(domain fOCShipsByOrigin 3 NonnegativeInteger)	Transportation.kif 1045-1045	domain fOCShipsByOrigin, 3 and NonnegativeInteger
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 20552-20552	domain memberTypeCount, 3 and NonnegativeInteger
(domain seatsHeldInOrganization 3 NonnegativeInteger)	Government.kif 1868-1868	domain seatsHeldInOrganization, 3 and NonnegativeInteger
(domain stringLength 1 NonnegativeInteger)	Mid-level-ontology.kif 22223-22223	domain stringLength, 1 and NonnegativeInteger
(domain totalFacilityTypeInArea 3 NonnegativeInteger)	Transportation.kif 1204-1204	domain totalFacilityTypeInArea, 3 and NonnegativeInteger
(domain transitwayCapacityCount 3 NonnegativeInteger)	Transportation.kif 3015-3015	domain transitwayCapacityCount, 3 and NonnegativeInteger
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1864-1864	partition Integer, NegativeInteger and NonnegativeInteger

antecedent

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

Merge.kif 1889-1891

instance Quantity and NonnegativeInteger
greaterThan Quantity and -1

consequent

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

Merge.kif 5209-5214

instance Entity and FiniteSet
Integer instance Integer and NonnegativeInteger equal Integer and CardinalityFn Entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: