|
|
   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 8610-8610 | Die Zahl 1 Argument von DayFn ist ein fall von PositiveInteger %n{nicht} |
| (domain EditionFn 2 PositiveInteger) | Merge.kif 15531-15531 | 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 14662-14662 | Die Zahl 2 Argument von PeriodicalIssueFn ist ein fall von PositiveInteger %n{nicht} |
| (domain QuarterFn 1 PositiveInteger) | Merge.kif 8990-8990 | Die Zahl 1 Argument von QuarterFn ist ein fall von PositiveInteger %n{nicht} |
| (domain SecondFn 1 PositiveInteger) | Merge.kif 8688-8688 | Die Zahl 1 Argument von SecondFn ist ein fall von PositiveInteger %n{nicht} |
| (domain SeriesVolumeFn 2 PositiveInteger) | Mid-level-ontology.kif 14617-14617 | Die Zahl 2 Argument von SeriesVolumeFn ist ein fall von PositiveInteger %n{nicht} |
| (domain WeekFn 1 PositiveInteger) | Merge.kif 8972-8972 | 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 13795-13795 | 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 21708-21708 | 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 6699-6699 | 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 |
|
|
|
|
|