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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonnegativeInteger

Sigma KEE - NonnegativeInteger
NonnegativeInteger(nombre entier non n�gatif)

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 Nombre entier non n�gatif est une sous-classe de nombre entier
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1976-1976 Nombre entier non n�gatif est une sous-classe de nombre r�el non n�gatif

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 2914-2914 Le domaine de BidCountFn est une instance de nombre entier non n�gatif
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 2880-2880 Le domaine de BoughtItemsFn est une instance de nombre entier non n�gatif
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4924-4924 Le domaine de IntegerSquareRootFn est une instance de nombre entier non n�gatif
(range ListLengthFn NonnegativeInteger) Merge.kif 3015-3015 Le domaine de ListLengthFn est une instance de nombre entier non n�gatif
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 24447-24447 Le domaine de StringLengthFn est une instance de nombre entier non n�gatif
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1994-1994 Nombre entier positif est une sous-classe de nombre entier non n�gatif
(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 8613-8613 Le nombre 1 argument de HourFn est une instance de nombre entier non n�gatif
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8639-8639 Le nombre 1 argument de MinuteFn est une instance de nombre entier non n�gatif
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24417-24417 Le nombre 2 argument de SubstringFn est une instance de nombre entier non n�gatif
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24418-24418 Le nombre 3 argument de SubstringFn est une instance de nombre entier non n�gatif
(domain cardinality 2 NonnegativeInteger) Government.kif 437-437 Le nombre 2 argument de cardinality est une instance de nombre entier non n�gatif
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4526-4526 Le nombre 2 argument de engineCylinders est une instance de nombre entier non n�gatif
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 Le nombre 3 argument de fOCShipsByOrigin est une instance de nombre entier non n�gatif
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 22665-22665 Le nombre 3 argument de memberTypeCount est une instance de nombre entier non n�gatif
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1914-1914 Le nombre 3 argument de seatsHeldInOrganization est une instance de nombre entier non n�gatif
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24458-24458 Le nombre 1 argument de stringLength est une instance de nombre entier non n�gatif
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 Le nombre 3 argument de totalFacilityTypeInArea est une instance de nombre entier non n�gatif
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3037-3037 Le nombre 3 argument de transitwayCapacityCount est une instance de nombre entier non n�gatif
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1956-1956 Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif

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 5542-5547


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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