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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonnegativeInteger
NonnegativeInteger(nonnegative integer)0, binary_digit, cipher, cypher, digit, duodecimal_digit, figure, hexadecimal_digit, nonnegative_integer, nought, octal_digit, significant_digit, significant_figure, zero, 非負整数, 非负整数

appearance as argument number 1
-------------------------


(documentation NonnegativeInteger ChineseLanguage "这是一个大于或等于零的 Integer。") Merge.kif 2051-2051
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.") Merge.kif 2049-2050
(subclass NonnegativeInteger Integer) Merge.kif 2047-2047 Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 2048-2048 Nonnegative integer is a subclass of nonnegative real number

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 3119-3119 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 5078-5078 The range of integer square root is an instance of nonnegative integer
(range ListLengthFn NonnegativeInteger) Merge.kif 3213-3213 The range of list length is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 22198-22198 The range of StringLengthFn is an instance of nonnegative integer
(subclass PositiveInteger NonnegativeInteger) Merge.kif 2066-2066 Positive integer is a subclass of nonnegative integer
(termFormat ChineseLanguage NonnegativeInteger "非负整数") chinese_format.kif 870-870 "非负整数" is the printable form of nonnegative integer in ChineseLanguage
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") english_format.kif 671-671 "nonnegative integer" is the printable form of nonnegative integer in english language
(termFormat JapaneseLanguage NonnegativeInteger "非負整数") english_format.kif 672-672 "非負整数" is the printable form of nonnegative integer in japanese language

appearance as argument number 3
-------------------------


(domain HourFn 1 NonnegativeInteger) Merge.kif 8736-8736 The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8766-8766 The number 1 argument of minute is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 22168-22168 The number 2 argument of SubstringFn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 22169-22169 The number 3 argument of SubstringFn is an instance of nonnegative integer
(domain cardinality 2 NonnegativeInteger) Government.kif 426-426 The number 2 argument of cardinality is an instance of nonnegative integer
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1030-1030 The number 3 argument of fOC ships by origin is an instance of nonnegative integer
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 20539-20539 The number 3 argument of member type count is an instance of nonnegative integer
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1874-1874 The number 3 argument of seats held in organization is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 22210-22210 The number 1 argument of stringLength is an instance of nonnegative integer
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1189-1189 The number 3 argument of total facility type in area is an instance of nonnegative integer
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 2981-2981 The number 3 argument of transitway capacity count is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2028-2028 Integer is exhaustively partitioned into negative integer and nonnegative integer

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))
Merge.kif 2053-2055

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


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


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