PositiveInteger
|
|
appearance as argument number 1 |
(documentation PositiveInteger ChineseLanguage "这是一个大于零的 Integer。") | chinese_format.kif 1754-1754 | |
(documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") | Merge.kif 1997-1997 | |
(documentation PositiveInteger JapaneseLanguage "ゼロより大きい Integer 。") | japanese_format.kif 363-363 | |
(subclass PositiveInteger NonnegativeInteger) | Merge.kif 1994-1994 | PositiveInteger ist eine teilkategorie von NonnegativeInteger |
(subclass PositiveInteger PositiveRealNumber) | Merge.kif 1995-1995 | PositiveInteger ist eine teilkategorie von PositiveRealNumber |
appearance as argument number 2 |
(termFormat ChineseLanguage PositiveInteger "正整数") | chinese_format.kif 872-872 | |
(termFormat EnglishLanguage PositiveInteger "positive integer") | english_format.kif 946-946 | |
(termFormat FrenchLanguage PositiveInteger "nombre entier positif") | french_format.kif 548-548 | |
(termFormat Hindi PositiveInteger "dhanaatmaka pUrNaanka") | terms-hindi.txt 78-78 | |
(termFormat ItalianLanguage PositiveInteger "NumeroInteroPositivo") | terms-it.txt 81-81 | |
(termFormat JapaneseLanguage PositiveInteger "正の整数") | japanese_format.kif 2233-2233 | |
(termFormat PortugueseLanguage PositiveInteger "Inteiro positivo") | portuguese_format.kif 500-500 | |
(termFormat cb PositiveInteger "makapaniguro tanan") | terms-cb.txt 83-83 | |
(termFormat cz PositiveInteger "positive integer") | terms-cz.txt 115-115 | |
(termFormat ro PositiveInteger "întreg pozitiv") | relations-ro.kif 569-569 | |
(termFormat tg PositiveInteger "positibong numero") | terms-tg.txt 82-82 |
appearance as argument number 3 |
(domain DayFn 1 PositiveInteger) | Merge.kif 8588-8588 | Die Zahl 1 Argument von DayFn ist ein fall von PositiveInteger %n{nicht} |
(domain EditionFn 2 PositiveInteger) | Merge.kif 15509-15509 | Die Zahl 2 Argument von EditionFn ist ein fall von PositiveInteger %n{nicht} |
(domain ListOrderFn 2 PositiveInteger) | Merge.kif 2978-2978 | Die Zahl 2 Argument von ListeOrdnungFn ist ein fall von PositiveInteger %n{nicht} |
(domain LogFn 2 PositiveInteger) | Merge.kif 4976-4976 | Die Zahl 2 Argument von LogFn ist ein fall von PositiveInteger %n{nicht} |
(domain PeriodicalIssueFn 2 PositiveInteger) | Mid-level-ontology.kif 14663-14663 | Die Zahl 2 Argument von PeriodicalIssueFn ist ein fall von PositiveInteger %n{nicht} |
(domain QuarterFn 1 PositiveInteger) | Merge.kif 8968-8968 | Die Zahl 1 Argument von QuarterFn ist ein fall von PositiveInteger %n{nicht} |
(domain SecondFn 1 PositiveInteger) | Merge.kif 8666-8666 | Die Zahl 1 Argument von SecondFn ist ein fall von PositiveInteger %n{nicht} |
(domain SeriesVolumeFn 2 PositiveInteger) | Mid-level-ontology.kif 14618-14618 | Die Zahl 2 Argument von SeriesVolumeFn ist ein fall von PositiveInteger %n{nicht} |
(domain WeekFn 1 PositiveInteger) | Merge.kif 8950-8950 | Die Zahl 1 Argument von WeekFn ist ein fall von PositiveInteger %n{nicht} |
(domain accountNumber 2 PositiveInteger) | FinancialOntology.kif 3440-3440 | Die Zahl 2 Argument von accountNumber ist ein fall von PositiveInteger %n{nicht} |
(domain agriculturalProductTypeByRank 3 PositiveInteger) | Economy.kif 2243-2243 | Die Zahl 3 Argument von agriculturalProductTypeByRank ist ein fall von PositiveInteger %n{nicht} |
(domain atomicNumber 2 PositiveInteger) | Merge.kif 13773-13773 | Die Zahl 2 Argument von atomicNumber ist ein fall von PositiveInteger %n{nicht} |
(domain checkNumber 2 PositiveInteger) | FinancialOntology.kif 3457-3457 | Die Zahl 2 Argument von checkNumber ist ein fall von PositiveInteger %n{nicht} |
(domain dataStreamSlack 2 PositiveInteger) | QoSontology.kif 1209-1209 | Die Zahl 2 Argument von dataStreamSlack ist ein fall von PositiveInteger %n{nicht} |
(domain domain 2 PositiveInteger) | Merge.kif 209-209 | Die Zahl 2 Argument von definitionsbereich ist ein fall von PositiveInteger %n{nicht} |
(domain domainSubclass 2 PositiveInteger) | Merge.kif 231-231 | Die Zahl 2 Argument von definitionsbereichteilkategorie ist ein fall von PositiveInteger %n{nicht} |
(domain electronNumber 2 PositiveInteger) | Mid-level-ontology.kif 21709-21709 | Die Zahl 2 Argument von electronNumber ist ein fall von PositiveInteger %n{nicht} |
(domain exportCommodityTypeByRank 3 PositiveInteger) | Economy.kif 2324-2324 | Die Zahl 3 Argument von exportCommodityTypeByRank ist ein fall von PositiveInteger %n{nicht} |
(domain exportPartnerByRank 3 PositiveInteger) | Economy.kif 2503-2503 | Die Zahl 3 Argument von exportPartnerByRank ist ein fall von PositiveInteger %n{nicht} |
(domain exportPartnerByRankInPeriod 3 PositiveInteger) | Economy.kif 2491-2491 | Die Zahl 3 Argument von exportPartnerByRankInPeriod ist ein fall von PositiveInteger %n{nicht} |
(domain humanCapacity 2 PositiveInteger) | Mid-level-ontology.kif 6700-6700 | Die Zahl 2 Argument von humanCapacity ist ein fall von PositiveInteger %n{nicht} |
(domain importCommodityTypeByRank 3 PositiveInteger) | Economy.kif 2620-2620 | Die Zahl 3 Argument von importCommodityTypeByRank ist ein fall von PositiveInteger %n{nicht} |
(domain importPartnerByRank 3 PositiveInteger) | Economy.kif 2696-2696 | Die Zahl 3 Argument von importPartnerByRank ist ein fall von PositiveInteger %n{nicht} |
(domain importPartnerByRankInPeriod 3 PositiveInteger) | Economy.kif 2684-2684 | Die Zahl 3 Argument von importPartnerByRankInPeriod ist ein fall von PositiveInteger %n{nicht} |
(domain industryRankByOutput 3 PositiveInteger) | Economy.kif 1588-1588 | Die Zahl 3 Argument von industryRankByOutput ist ein fall von PositiveInteger %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |