| 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 4722-4722 | |
| (range ListLengthFn NonnegativeInteger) | Merge.kif 2904-2904 | |
| (range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 22236-22236 | |
| (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 8073-8073 | |
| (domain MinuteFn 1 NonnegativeInteger) | Merge.kif 8099-8099 | |
| (domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 22206-22206 | |
| (domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 22207-22207 | |
| (domain cardinality 2 NonnegativeInteger) | Government.kif 426-426 | |
| (domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4507-4507 | |
| (domain fOCShipsByOrigin 3 NonnegativeInteger) | Transportation.kif 1045-1045 | |
| (domain memberTypeCount 3 NonnegativeInteger) | Mid-level-ontology.kif 20577-20577 | |
| (domain seatsHeldInOrganization 3 NonnegativeInteger) | Government.kif 1868-1868 | |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 22248-22248 | |
| (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 5250-5255 |
|
|
|