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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 PositiveInteger PositiveRealNumber) Merge.kif 2067-2067

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


(termFormat ChineseLanguage PositiveInteger "正整数") chinese_format.kif 872-872
(termFormat EnglishLanguage PositiveInteger "positive integer") english_format.kif 559-559

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


(domain DayFn 1 PositiveInteger) Merge.kif 8708-8708
(domain EditionFn 2 PositiveInteger) Merge.kif 15624-15624
(domain ListOrderFn 2 PositiveInteger) Merge.kif 3174-3174
(domain LogFn 2 PositiveInteger) Merge.kif 5121-5121
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 12407-12407
(domain QuarterFn 1 PositiveInteger) Merge.kif 9000-9000
(domain SecondFn 1 PositiveInteger) Merge.kif 8798-8798
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 12362-12362
(domain WeekFn 1 PositiveInteger) Merge.kif 8983-8983
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3329-3329
(domain atomicNumber 2 PositiveInteger) Merge.kif 13758-13758
(domain checkNumber 2 PositiveInteger) FinancialOntology.kif 3346-3346
(domain dataStreamSlack 2 PositiveInteger) QoSontology.kif 1204-1204
(domain domain 2 PositiveInteger) Merge.kif 230-230
(domain domainSubclass 2 PositiveInteger) Merge.kif 259-259
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 19497-19497
(domain exportCommodityTypeByRank 3 PositiveInteger) Economy.kif 2328-2328
(domain exportPartnerByRank 3 PositiveInteger) Economy.kif 2506-2506
(domain exportPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2494-2494
(domain humanCapacity 2 PositiveInteger) Mid-level-ontology.kif 6334-6334
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2623-2623
(domain importPartnerByRank 3 PositiveInteger) Economy.kif 2699-2699
(domain importPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2687-2687
(domain industryRankByOutput 3 PositiveInteger) Economy.kif 1592-1592
(domain maximumReplications 2 PositiveInteger) QoSontology.kif 730-730

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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