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 1989-1990
(documentation NonnegativeInteger JapaneseLanguage "ゼロ 以上の大きい Integer 。") japanese_format.kif 361-361
(subclass NonnegativeInteger Integer) Merge.kif 1986-1986 非負整数 は 整数 の subclass では
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1987-1987 非負整数 は 非負実数 の subclass では

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


(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 2914-2914 BidCountFn の range は 非負整数 のインスタンス では
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 2880-2880 BoughtItemsFn の range は 非負整数 のインスタンス では
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4952-4952 IntegerSquareRootFn の range は 非負整数 のインスタンス では
(range ListLengthFn NonnegativeInteger) Merge.kif 3028-3028 ListLengthFn の range は 非負整数 のインスタンス では
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 26109-26109 StringLengthFn の range は 非負整数 のインスタンス では
(subclass PositiveInteger NonnegativeInteger) Merge.kif 2005-2005 正の整数 は 非負整数 の subclass では
(termFormat ChineseLanguage NonnegativeInteger "非负整数") chinese_format.kif 870-870 正の整数 は 非負整数 の subclass では
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") english_format.kif 942-942 正の整数 は 非負整数 の subclass では
(termFormat FrenchLanguage NonnegativeInteger "nombre entier non n�gatif") french_format.kif 546-546 正の整数 は 非負整数 の subclass では
(termFormat Hindi NonnegativeInteger "aQNaatmaka pUrNaanka") terms-hindi.txt 76-76 正の整数 は 非負整数 の subclass では
(termFormat ItalianLanguage NonnegativeInteger "NumeroInteroNonNegativo") terms-it.txt 79-79 正の整数 は 非負整数 の subclass では
(termFormat JapaneseLanguage NonnegativeInteger "非負整数") japanese_format.kif 2231-2231 正の整数 は 非負整数 の subclass では
(termFormat PortugueseLanguage NonnegativeInteger "Numero Inteiro nao-negativo") portuguese_format.kif 498-498 正の整数 は 非負整数 の subclass では
(termFormat cz NonnegativeInteger "nonnegative integer") terms-cz.txt 113-113 正の整数 は 非負整数 の subclass では
(termFormat de NonnegativeInteger "nichtnegative Ganzzahl") terms-de.txt 372-372 正の整数 は 非負整数 の subclass では
(termFormat ro NonnegativeInteger "întreg nenegativ") relations-ro.kif 567-567 正の整数 は 非負整数 の subclass では
(termFormat tg NonnegativeInteger "") terms-tg.txt 80-80 正の整数 は 非負整数 の subclass では

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


(domain HourFn 1 NonnegativeInteger) Merge.kif 8726-8726 HourFn の数値 1 引数は 非負整数 の instance では
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8752-8752 MinuteFn の数値 1 引数は 非負整数 の instance では
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 26079-26079 SubstringFn の数値 2 引数は 非負整数 の instance では
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 26080-26080 SubstringFn の数値 3 引数は 非負整数 の instance では
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401 cardinality の数値 2 引数は 非負整数 の instance では
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4587-4587 engineCylinders の数値 2 引数は 非負整数 の instance では
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 fOCShipsByOrigin の数値 3 引数は 非負整数 の instance では
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 24306-24306 memberTypeCount の数値 3 引数は 非負整数 の instance では
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1876-1876 seatsHeldInOrganization の数値 3 引数は 非負整数 の instance では
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26120-26120 stringLength の数値 1 引数は 非負整数 の instance では
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 totalFacilityTypeInArea の数値 3 引数は 非負整数 の instance では
(domain transitwayThroughputCapacity 3 NonnegativeInteger) Transportation.kif 3917-3917 transitwayThroughputCapacity の数値 3 引数は 非負整数 の instance では
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1967-1967 整数 は 負の整数 + 非負整数 に exhaustively partitioned

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


(=>
    (instance ?X NonnegativeInteger)
    (greaterThan ?X -1))		 Merge.kif 1992-1994

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


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


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