| 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 1886-1887 | |
| (subclass NonnegativeInteger Integer) | Merge.kif 1883-1883 | |
| (subclass NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1884-1884 |
| appearance as argument number 2 |
|
|
| (range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 3117-3117 | |
| (range BoughtItemsFn NonnegativeInteger) | UXExperimentalTerms.kif 3084-3084 | |
| (range IntegerSquareRootFn NonnegativeInteger) | Merge.kif 4681-4681 | |
| (range ListLengthFn NonnegativeInteger) | Merge.kif 2904-2904 | |
| (range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 22211-22211 | |
| (subclass PositiveInteger NonnegativeInteger) | Merge.kif 1902-1902 | |
| (termFormat ChineseLanguage NonnegativeInteger "非负整数") | chinese_format.kif 870-870 | |
| (termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") | english_format.kif 947-947 |
| appearance as argument number 3 |
|
|
| (domain HourFn 1 NonnegativeInteger) | Merge.kif 8040-8040 | |
| (domain MinuteFn 1 NonnegativeInteger) | Merge.kif 8066-8066 | |
| (domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 22181-22181 | |
| (domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 22182-22182 | |
| (domain cardinality 2 NonnegativeInteger) | Government.kif 426-426 | |
| (domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4506-4506 | |
| (domain fOCShipsByOrigin 3 NonnegativeInteger) | Transportation.kif 1045-1045 | |
| (domain memberTypeCount 3 NonnegativeInteger) | Mid-level-ontology.kif 20552-20552 | |
| (domain seatsHeldInOrganization 3 NonnegativeInteger) | Government.kif 1868-1868 | |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 22223-22223 | |
| (domain totalFacilityTypeInArea 3 NonnegativeInteger) | Transportation.kif 1204-1204 | |
| (domain transitwayCapacityCount 3 NonnegativeInteger) | Transportation.kif 3015-3015 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1864-1864 |
| antecedent |
|
|
| (=> (instance ?X NonnegativeInteger) (greaterThan ?X -1)) |
Merge.kif 1889-1891 |
| consequent |
|
|
| (=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET))))) |
Merge.kif 5209-5214 |
|
|
|