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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 and Integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1884-1884 subclass NonnegativeInteger and NonnegativeRealNumber

appearance as argument number 2

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


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


    (instance ?SET FiniteSet)
    (exists (?NUMBER)
            (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