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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PositiveInteger
PositiveIntegerعَدَد طَبِيعِي مُوجِب, 1, 10, 100, 1000, 10000, 100000, 1000000, 1000000000, 1000000000000, 11, 12, 120, 13, 14, 144, 15, 16, 17, 1728, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 4, 40, 5, 50, 500, 6, 60, 7, 70, 78, 8, 80, 9, 90, C, Captain_Hicks...

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


(documentation PositiveInteger ChineseLanguage "这是一个大于零的 Integer。") Merge.kif 2056-2056
(documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") Merge.kif 2055-2055
(subclass PositiveInteger NonnegativeInteger) Merge.kif 2053-2053
(subclass PositiveInteger PositiveRealNumber) Merge.kif 2054-2054

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


(termFormat ChineseLanguage PositiveInteger "正整数") chinese_format.kif 872-872
(termFormat EnglishLanguage PositiveInteger "positive integer") english_format.kif 559-559
(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 79-79
(termFormat PortugueseLanguage PositiveInteger "Inteiro positivo") portuguese_format.kif 500-500
(termFormat ar PositiveInteger "عَدَد طَبِيعِي مُوجِب") arabic_format.kif 284-284
(termFormat cb PositiveInteger "makapaniguro tanan") terms-cb.txt 83-83
(termFormat cz PositiveInteger "positive integer") terms-cz.txt 115-115
(termFormat tg PositiveInteger "positibong numero") terms-tg.txt 82-82

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


(domain DayFn 1 PositiveInteger) Merge.kif 8691-8691
(domain EditionFn 2 PositiveInteger) Merge.kif 15566-15566
(domain ListOrderFn 2 PositiveInteger) Merge.kif 3161-3161
(domain LogFn 2 PositiveInteger) Merge.kif 5108-5108
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 12407-12407
(domain QuarterFn 1 PositiveInteger) Merge.kif 8975-8975
(domain SecondFn 1 PositiveInteger) Merge.kif 8781-8781
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 12362-12362
(domain WeekFn 1 PositiveInteger) Merge.kif 8960-8960
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3329-3329
(domain atomicNumber 2 PositiveInteger) Merge.kif 13700-13700
(domain checkNumber 2 PositiveInteger) FinancialOntology.kif 3346-3346
(domain dataStreamSlack 2 PositiveInteger) QoSontology.kif 1188-1188
(domain domain 2 PositiveInteger) Merge.kif 230-230
(domain domainSubclass 2 PositiveInteger) Merge.kif 259-259
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 19439-19439
(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 715-715

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 2058-2060


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