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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonnegativeInteger
NonnegativeInteger

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


(documentation NonnegativeInteger ChineseLanguage "这是一个大于或等于零的 Integer。") Merge.kif 3161-3161
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.") Merge.kif 3158-3159
(documentation NonnegativeInteger JapaneseLanguage "ゼロ 以上の大きい Integer 。") Merge.kif 3163-3163
(subclass NonnegativeInteger Integer) Merge.kif 3155-3155
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 3156-3156

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 3119-3119
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3086-3086
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 7259-7259
(range ListLengthFn NonnegativeInteger) Merge.kif 4795-4795
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 22199-22199
(subclass PositiveInteger NonnegativeInteger) Merge.kif 3181-3181
(termFormat ChineseLanguage NonnegativeInteger "非负整数") chinese_format.kif 870-870
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") english_format.kif 1303-1303
(termFormat JapaneseLanguage NonnegativeInteger "非負整数") english_format.kif 1304-1304

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


(domain HourFn 1 NonnegativeInteger) Merge.kif 12188-12188
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 12227-12227
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 22169-22169
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 22170-22170
(domain cardinality 2 NonnegativeInteger) Government.kif 426-426
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1030-1030
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 20540-20540
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1874-1874
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 22211-22211
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1189-1189
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 2981-2981
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 3119-3119

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))
Merge.kif 3164-3166

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


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


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