Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonnegativeInteger

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


(documentation NonnegativeInteger ChineseLanguage "这是一个大于或等于零的 Integer。") chinese_format.kif 1752-1752
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.") Merge.kif 1937-1938
(subclass NonnegativeInteger Integer) Merge.kif 1934-1934 Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1935-1935 Nonnegative integer is a subclass of nonnegative real number

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 3120-3120 The range of bid count is an instance of nonnegative integer
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3086-3086 The range of bought items is an instance of nonnegative integer
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4859-4859 The range of integer square root is an instance of nonnegative integer
(range ListLengthFn NonnegativeInteger) Merge.kif 2974-2974 The range of list length is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 24337-24337 The range of string length fn is an instance of nonnegative integer
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1953-1953 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 8550-8550 The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8576-8576 The number 1 argument of minute is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24307-24307 The number 2 argument of substring fn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24308-24308 The number 3 argument of substring fn is an instance of nonnegative integer
(domain cardinality 2 NonnegativeInteger) Government.kif 437-437 The number 2 argument of cardinality is an instance of nonnegative integer
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4526-4526 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 22613-22613 The number 3 argument of member type count is an instance of nonnegative integer
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1914-1914 The number 3 argument of seats held in organization is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24348-24348 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 transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3037-3037 The number 3 argument of transitway capacity count is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1915-1915 Integer is exhaustively partitioned into negative integer and nonnegative integer

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))
Merge.kif 1940-1942

consequent
-------------------------


(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
        (and
            (instance ?NUMBER NonnegativeInteger)
            (equal ?NUMBER
                (CardinalityFn ?SET)))))
Merge.kif 5473-5478


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