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 1978-1979
(documentation NonnegativeInteger JapaneseLanguage "ゼロ 以上の大きい Integer 。") japanese_format.kif 361-361
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1976-1976

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 2914-2914
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 2880-2880
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4925-4925
(range ListLengthFn NonnegativeInteger) Merge.kif 3016-3016
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 24504-24504
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1994-1994
(termFormat ChineseLanguage NonnegativeInteger "非负整数") chinese_format.kif 870-870
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") english_format.kif 942-942
(termFormat FrenchLanguage NonnegativeInteger "nombre entier non n�gatif") french_format.kif 546-546
(termFormat Hindi NonnegativeInteger "aQNaatmaka pUrNaanka") terms-hindi.txt 76-76
(termFormat ItalianLanguage NonnegativeInteger "NumeroInteroNonNegativo") terms-it.txt 79-79
(termFormat JapaneseLanguage NonnegativeInteger "非負整数") japanese_format.kif 2231-2231
(termFormat PortugueseLanguage NonnegativeInteger "Numero Inteiro nao-negativo") portuguese_format.kif 498-498
(termFormat cz NonnegativeInteger "nonnegative integer") terms-cz.txt 113-113
(termFormat ro NonnegativeInteger "întreg nenegativ") relations-ro.kif 567-567
(termFormat tg NonnegativeInteger "") terms-tg.txt 80-80

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


(domain HourFn 1 NonnegativeInteger) Merge.kif 8649-8649
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8675-8675
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24474-24474
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24475-24475
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4511-4511
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 22717-22717
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1878-1878
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24515-24515
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3218-3218
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1956-1956

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))
Merge.kif 1981-1983

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


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


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