Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveInteger

Sigma KEE - PositiveInteger
PositiveInteger(正整数)

appearance as argument number 1
-------------------------


(documentation PositiveInteger ChineseLanguage "这是一个大于零的 Integer。") Merge.kif 2069-2069
(documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") Merge.kif 2068-2068
(subclass PositiveInteger NonnegativeInteger) Merge.kif 2066-2066 正整数非负整数subclass
(subclass PositiveInteger PositiveRealNumber) Merge.kif 2067-2067 正整数正实数subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PositiveInteger "正整数") chinese_format.kif 872-872 termFormat ChineseLanguage, 正整数 and "正整数"
(termFormat EnglishLanguage PositiveInteger "positive integer") english_format.kif 677-677 termFormat EnglishLanguage, 正整数 and "positive integer"
(termFormat JapaneseLanguage PositiveInteger "正の整数") english_format.kif 678-678 termFormat JapaneseLanguage, 正整数 and "正の整数"

appearance as argument number 3
-------------------------


(domain DayFn 1 PositiveInteger) Merge.kif 8708-8708 日函数 的 1 数量 是 正整数instance
(domain EditionFn 2 PositiveInteger) Merge.kif 15624-15624 版本函数 的 2 数量 是 正整数instance
(domain ListOrderFn 2 PositiveInteger) Merge.kif 3174-3174 找出表列顺序的函数 的 2 数量 是 正整数instance
(domain LogFn 2 PositiveInteger) Merge.kif 5121-5121 对数函数 的 2 数量 是 正整数instance
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 12407-12407 期刊编号函数 的 2 数量 是 正整数instance
(domain QuarterFn 1 PositiveInteger) Merge.kif 9000-9000 QuarterFn 的 1 数量 是 正整数instance
(domain SecondFn 1 PositiveInteger) Merge.kif 8798-8798 秒函数 的 1 数量 是 正整数instance
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 12362-12362 系列编号函数 的 2 数量 是 正整数instance
(domain WeekFn 1 PositiveInteger) Merge.kif 8983-8983 WeekFn 的 1 数量 是 正整数instance
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3329-3329 accountNumber 的 2 数量 是 正整数instance
(domain atomicNumber 2 PositiveInteger) Merge.kif 13758-13758 atomicNumber 的 2 数量 是 正整数instance
(domain checkNumber 2 PositiveInteger) FinancialOntology.kif 3346-3346 checkNumber 的 2 数量 是 正整数instance
(domain dataStreamSlack 2 PositiveInteger) QoSontology.kif 1204-1204 dataStreamSlack 的 2 数量 是 正整数instance
(domain domain 2 PositiveInteger) Merge.kif 230-230 定义域 的 2 数量 是 正整数instance
(domain domainSubclass 2 PositiveInteger) Merge.kif 259-259 子类别的定义域 的 2 数量 是 正整数instance
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 19497-19497 electronNumber 的 2 数量 是 正整数instance
(domain exportCommodityTypeByRank 3 PositiveInteger) Economy.kif 2328-2328 exportCommodityTypeByRank 的 3 数量 是 正整数instance
(domain exportPartnerByRank 3 PositiveInteger) Economy.kif 2506-2506 exportPartnerByRank 的 3 数量 是 正整数instance
(domain exportPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2494-2494 exportPartnerByRankInPeriod 的 3 数量 是 正整数instance
(domain humanCapacity 2 PositiveInteger) Mid-level-ontology.kif 6334-6334 humanCapacity 的 2 数量 是 正整数instance
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2623-2623 importCommodityTypeByRank 的 3 数量 是 正整数instance
(domain importPartnerByRank 3 PositiveInteger) Economy.kif 2699-2699 importPartnerByRank 的 3 数量 是 正整数instance
(domain importPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2687-2687 importPartnerByRankInPeriod 的 3 数量 是 正整数instance
(domain industryRankByOutput 3 PositiveInteger) Economy.kif 1592-1592 industryRankByOutput 的 3 数量 是 正整数instance
(domain maximumReplications 2 PositiveInteger) QoSontology.kif 730-730 maximumReplications 的 2 数量 是 正整数instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING1 AccessingWebPage)
        (instance ?ACCESSING2 AccessingWebPage)
        (instance ?INDEX1 PositiveInteger)
        (instance ?INDEX2 PositiveInteger)
        (equal
            (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1)
        (equal
            (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2)
        (greaterThan ?INDEX1 ?INDEX2))
    (earlier
        (WhenFn ?ACCESSING2)
        (WhenFn ?ACCESSING1)))
UXExperimentalTerms.kif 989-1005
(=>
    (instance ?X PositiveInteger)
    (greaterThan ?X 0))
Merge.kif 2071-2073


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners