NonnegativeInteger - Sigma Knowledge base Browser

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	子類 NonnegativeInteger and Integer
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1976-1976	子類 NonnegativeInteger and NonnegativeRealNumber

appearance as argument number 2

(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 2914-2914	範圍 BidCountFn and NonnegativeInteger
(range BoughtItemsFn NonnegativeInteger)	UXExperimentalTerms.kif 2880-2880	範圍 BoughtItemsFn and NonnegativeInteger
(range IntegerSquareRootFn NonnegativeInteger)	Merge.kif 4924-4924	範圍整數平方根 and NonnegativeInteger
(range ListLengthFn NonnegativeInteger)	Merge.kif 3015-3015	範圍列表長度 and NonnegativeInteger
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 24447-24447	範圍 StringLengthFn and NonnegativeInteger
(subclass PositiveInteger NonnegativeInteger)	Merge.kif 1994-1994	子類 PositiveInteger and NonnegativeInteger
(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	域小時, 1 and NonnegativeInteger
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8639-8639	域分, 1 and NonnegativeInteger
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 24417-24417	域 SubstringFn, 2 and NonnegativeInteger
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 24418-24418	域 SubstringFn, 3 and NonnegativeInteger
(domain cardinality 2 NonnegativeInteger)	Government.kif 437-437	域基數, 2 and NonnegativeInteger
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4526-4526	域 engineCylinders, 2 and NonnegativeInteger
(domain fOCShipsByOrigin 3 NonnegativeInteger)	Transportation.kif 1056-1056	域 fOC按原產地出貨, 3 and NonnegativeInteger
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 22665-22665	域會員類型計數, 3 and NonnegativeInteger
(domain seatsHeldInOrganization 3 NonnegativeInteger)	Government.kif 1914-1914	域在組織中舉行的席位, 3 and NonnegativeInteger
(domain stringLength 1 NonnegativeInteger)	Mid-level-ontology.kif 24458-24458	域 stringLength, 1 and NonnegativeInteger
(domain totalFacilityTypeInArea 3 NonnegativeInteger)	Transportation.kif 1215-1215	域區域總設施類型, 3 and NonnegativeInteger
(domain transitwayCapacityCount 3 NonnegativeInteger)	Transportation.kif 3037-3037	域過境通行能力計數, 3 and NonnegativeInteger
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1956-1956	劃分 Integer, NegativeInteger and NonnegativeInteger

antecedent

(=>
(instance ?X NonnegativeInteger)
(greaterThan ?X -1))

Merge.kif 1981-1983

例 RealNumber and NonnegativeInteger
比較多 RealNumber and -1

consequent

(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
        (and
            (instance ?NUMBER NonnegativeInteger)
            (equal ?NUMBER
                (CardinalityFn ?SET)))))

Merge.kif 5542-5547

例 Entity and FiniteSet
Integer 例 Integer and NonnegativeInteger 等於 Integer and 基數 Entity

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

KB Term:			Term intersection

English Word: