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 整数平方根函数 的 range 是 非负整数 的实例
(range ListLengthFn NonnegativeInteger) Merge.kif 3028-3028 找出表列长度的函数 的 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 时函数 的 1 数量 是 非负整数 的 instance
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8752-8752 分函数 的 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 基数 的 2 数量 是 非负整数 的 instance
(domain engineCylinders 2 NonnegativeInteger) Cars.kif 4587-4587 engineCylinders 的 2 数量 是 非负整数 的 instance
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 fOC按原产地出货 的 3 数量 是 非负整数 的 instance
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 24306-24306 会员类型计数 的 3 数量 是 非负整数 的 instance
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1876-1876 在组织中举行的席位 的 3 数量 是 非负整数 的 instance
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26120-26120 stringLength 的 1 数量 是 非负整数 的 instance
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 区域总设施类型 的 3 数量 是 非负整数 的 instance
(domain transitwayThroughputCapacity 3 NonnegativeInteger) Transportation.kif 3917-3917 公交專用道容量 的 3 数量 是 非负整数 的 instance
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1967-1967 整数 详尽无遗地 partition 成 负整数 和 非负整数

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