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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonnegativeInteger

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 では %n
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1976-1976 非負整数非負実数subclass では %n

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


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

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


(domain HourFn 1 NonnegativeInteger) Merge.kif 8649-8649 HourFn の数値 1 引数は 非負整数instance では %n
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8675-8675 MinuteFn の数値 1 引数は 非負整数instance では %n
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24705-24705 SubstringFn の数値 2 引数は 非負整数instance では %n
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24706-24706 SubstringFn の数値 3 引数は 非負整数instance では %n
(domain cardinality 2 NonnegativeInteger) Government.kif 401-401 cardinality の数値 2 引数は 非負整数instance では %n
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4511-4511 engineCylinders の数値 2 引数は 非負整数instance では %n
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 fOCShipsByOrigin の数値 3 引数は 非負整数instance では %n
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 22948-22948 memberTypeCount の数値 3 引数は 非負整数instance では %n
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1878-1878 seatsHeldInOrganization の数値 3 引数は 非負整数instance では %n
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24746-24746 stringLength の数値 1 引数は 非負整数instance では %n
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 totalFacilityTypeInArea の数値 3 引数は 非負整数instance では %n
(domain transitwayThroughputCapacity 3 NonnegativeInteger) Transportation.kif 3838-3838 transitwayThroughputCapacity の数値 3 引数は 非負整数instance では %n
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1956-1956 整数負の整数 + 非負整数exhaustively partitioned %n

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