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。") 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 NonnegativeRealNumber) Merge.kif 1884-1884

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 3117-3117
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3084-3084
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4681-4681
(range ListLengthFn NonnegativeInteger) Merge.kif 2904-2904
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 22211-22211
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1902-1902
(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 MinuteFn 1 NonnegativeInteger) Merge.kif 8066-8066
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 22181-22181
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 22182-22182
(domain cardinality 2 NonnegativeInteger) Government.kif 426-426
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4506-4506
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1045-1045
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 20552-20552
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1868-1868
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 22223-22223
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1204-1204
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3015-3015
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1864-1864

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


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