|
|
   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 NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1976-1976 |
| appearance as argument number 2 |
|
|
| (range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 2914-2914 | |
| (range BoughtItemsFn NonnegativeInteger) | UXExperimentalTerms.kif 2880-2880 | |
| (range IntegerSquareRootFn NonnegativeInteger) | Merge.kif 4924-4924 | |
| (range ListLengthFn NonnegativeInteger) | Merge.kif 3015-3015 | |
| (range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 24446-24446 | |
| (subclass PositiveInteger NonnegativeInteger) | Merge.kif 1994-1994 | |
| (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 8635-8635 | |
| (domain MinuteFn 1 NonnegativeInteger) | Merge.kif 8661-8661 | |
| (domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 24416-24416 | |
| (domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 24417-24417 | |
| (domain cardinality 2 NonnegativeInteger) | Government.kif 437-437 | |
| (domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4534-4534 | |
| (domain fOCShipsByOrigin 3 NonnegativeInteger) | Transportation.kif 1056-1056 | |
| (domain memberTypeCount 3 NonnegativeInteger) | Mid-level-ontology.kif 22664-22664 | |
| (domain seatsHeldInOrganization 3 NonnegativeInteger) | Government.kif 1914-1914 | |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 24457-24457 | |
| (domain totalFacilityTypeInArea 3 NonnegativeInteger) | Transportation.kif 1215-1215 | |
| (domain transitwayCapacityCount 3 NonnegativeInteger) | Transportation.kif 3037-3037 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1956-1956 |
| 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 |
|
|
|