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, 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 1886-1887
(subclass NonnegativeInteger Integer) Merge.kif 1883-1883 Nonnegative integer is a subclass of integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1884-1884 Nonnegative integer is a subclass of nonnegative real number

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 3117-3117 The range of bid count is an instance of nonnegative integer
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3084-3084 The range of bought items is an instance of nonnegative integer
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4722-4722 The range of integer square root is an instance of nonnegative integer
(range ListLengthFn NonnegativeInteger) Merge.kif 2904-2904 The range of list length is an instance of nonnegative integer
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 22236-22236 The range of StringLengthFn is an instance of nonnegative integer
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1902-1902 Positive integer is a subclass of nonnegative integer
(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 8073-8073 The number 1 argument of hour is an instance of nonnegative integer
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8099-8099 The number 1 argument of minute is an instance of nonnegative integer
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 22206-22206 The number 2 argument of SubstringFn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 22207-22207 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 engineCylinders 2 NonnegativeInteger) Cars.kif 4507-4507 The number 2 argument of engineCylinders is an instance of nonnegative integer
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1045-1045 The number 3 argument of fOC ships by origin is an instance of nonnegative integer
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 20577-20577 The number 3 argument of member type count is an instance of nonnegative integer
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1868-1868 The number 3 argument of seats held in organization is an instance of nonnegative integer
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 22248-22248 The number 1 argument of stringLength is an instance of nonnegative integer
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1204-1204 The number 3 argument of total facility type in area is an instance of nonnegative integer
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3015-3015 The number 3 argument of transitway capacity count is an instance of nonnegative integer
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1864-1864 Integer is exhaustively partitioned into negative integer and nonnegative integer

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))
Merge.kif 1889-1891

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


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


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