| 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 | NonnegativeInteger ist eine teilkategorie von Integer |
| (subclass NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1976-1976 | NonnegativeInteger ist eine teilkategorie von NonnegativeRealNumber |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain HourFn 1 NonnegativeInteger) | Merge.kif 8613-8613 | Die Zahl 1 Argument von HourFn ist ein fall von NonnegativeInteger %n{nicht} |
| (domain MinuteFn 1 NonnegativeInteger) | Merge.kif 8639-8639 | Die Zahl 1 Argument von MinuteFn ist ein fall von NonnegativeInteger %n{nicht} |
| (domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 24417-24417 | Die Zahl 2 Argument von SubstringFn ist ein fall von NonnegativeInteger %n{nicht} |
| (domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 24418-24418 | Die Zahl 3 Argument von SubstringFn ist ein fall von NonnegativeInteger %n{nicht} |
| (domain cardinality 2 NonnegativeInteger) | Government.kif 437-437 | Die Zahl 2 Argument von cardinality ist ein fall von NonnegativeInteger %n{nicht} |
| (domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4526-4526 | Die Zahl 2 Argument von engineCylinders ist ein fall von NonnegativeInteger %n{nicht} |
| (domain fOCShipsByOrigin 3 NonnegativeInteger) | Transportation.kif 1056-1056 | Die Zahl 3 Argument von fOCShipsByOrigin ist ein fall von NonnegativeInteger %n{nicht} |
| (domain memberTypeCount 3 NonnegativeInteger) | Mid-level-ontology.kif 22665-22665 | Die Zahl 3 Argument von memberTypeCount ist ein fall von NonnegativeInteger %n{nicht} |
| (domain seatsHeldInOrganization 3 NonnegativeInteger) | Government.kif 1914-1914 | Die Zahl 3 Argument von seatsHeldInOrganization ist ein fall von NonnegativeInteger %n{nicht} |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 24458-24458 | Die Zahl 1 Argument von stringLength ist ein fall von NonnegativeInteger %n{nicht} |
| (domain totalFacilityTypeInArea 3 NonnegativeInteger) | Transportation.kif 1215-1215 | Die Zahl 3 Argument von totalFacilityTypeInArea ist ein fall von NonnegativeInteger %n{nicht} |
| (domain transitwayCapacityCount 3 NonnegativeInteger) | Transportation.kif 3037-3037 | Die Zahl 3 Argument von transitwayCapacityCount ist ein fall von NonnegativeInteger %n{nicht} |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1956-1956 | Integer wird vollstaendig in NegativeInteger und NonnegativeInteger verteilt |
| 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 |
|
|
|
|