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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonnegativeInteger

 Sigma KEE - NonnegativeInteger
NonnegativeInteger(Numero Inteiro nao-negativo)

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 Numero Inteiro nao-negativo e' uma sub-classe de Numero Inteiro
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1976-1976 Numero Inteiro nao-negativo e' uma sub-classe de Numero Real nao-negativo

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 2914-2914 O contra-dominio de BidCountFn e' uma instancia de Numero Inteiro nao-negativo
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 2880-2880 O contra-dominio de BoughtItemsFn e' uma instancia de Numero Inteiro nao-negativo
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4924-4924 O contra-dominio de IntegerSquareRootFn e' uma instancia de Numero Inteiro nao-negativo
(range ListLengthFn NonnegativeInteger) Merge.kif 3015-3015 O contra-dominio de ListLengthFn e' uma instancia de Numero Inteiro nao-negativo
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 24447-24447 O contra-dominio de StringLengthFn e' uma instancia de Numero Inteiro nao-negativo
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1994-1994 Inteiro positivo e' uma sub-classe de Numero Inteiro nao-negativo
(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 O argumento numero 1 de HourFn e' uma instancia de Numero Inteiro nao-negativo
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8639-8639 O argumento numero 1 de MinuteFn e' uma instancia de Numero Inteiro nao-negativo
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24417-24417 O argumento numero 2 de SubstringFn e' uma instancia de Numero Inteiro nao-negativo
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24418-24418 O argumento numero 3 de SubstringFn e' uma instancia de Numero Inteiro nao-negativo
(domain cardinality 2 NonnegativeInteger) Government.kif 437-437 O argumento numero 2 de cardinality e' uma instancia de Numero Inteiro nao-negativo
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4526-4526 O argumento numero 2 de engineCylinders e' uma instancia de Numero Inteiro nao-negativo
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 O argumento numero 3 de fOCShipsByOrigin e' uma instancia de Numero Inteiro nao-negativo
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 22665-22665 O argumento numero 3 de memberTypeCount e' uma instancia de Numero Inteiro nao-negativo
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1914-1914 O argumento numero 3 de seatsHeldInOrganization e' uma instancia de Numero Inteiro nao-negativo
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24458-24458 O argumento numero 1 de stringLength e' uma instancia de Numero Inteiro nao-negativo
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 O argumento numero 3 de totalFacilityTypeInArea e' uma instancia de Numero Inteiro nao-negativo
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3037-3037 O argumento numero 3 de transitwayCapacityCount e' uma instancia de Numero Inteiro nao-negativo
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1956-1956 O conceito Numero Inteiro e' completamente decomposto em Inteiro negativo + Numero Inteiro nao-negativo

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