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


s__documentation(s__PositiveInteger,s__ChineseLanguage,'这是一个大于零的 Integer。')

Merge.kif 2056-2056
s__documentation(s__PositiveInteger,s__EnglishLanguage,'An Integer that is greater than zero.')

Merge.kif 2055-2055
s__subclass(s__PositiveInteger,s__NonnegativeInteger)

Merge.kif 2053-2053
s__subclass(s__PositiveInteger,s__PositiveRealNumber)

Merge.kif 2054-2054

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


s__termFormat(s__ChineseLanguage,s__PositiveInteger,'正整数')

chinese_format.kif 872-872
s__termFormat(s__EnglishLanguage,s__PositiveInteger,'positive integer')

english_format.kif 559-559
s__termFormat(s__FrenchLanguage,s__PositiveInteger,'nombre entier positif')

french_format.kif 548-548
s__termFormat(s__Hindi,s__PositiveInteger,'dhanaatmaka pUrNaanka')

terms-hindi.txt 78-78
s__termFormat(s__ItalianLanguage,s__PositiveInteger,'NumeroInteroPositivo')

terms-it.txt 79-79
s__termFormat(s__PortugueseLanguage,s__PositiveInteger,'Inteiro positivo')

portuguese_format.kif 500-500
s__termFormat(s__ar__m,s__PositiveInteger,'عَدَد طَبِيعِي مُوجِب')

arabic_format.kif 284-284
s__termFormat(s__cb__m,s__PositiveInteger,'makapaniguro tanan')

terms-cb.txt 83-83
s__termFormat(s__cz__m,s__PositiveInteger,'positive integer')

terms-cz.txt 115-115
s__termFormat(s__tg__m,s__PositiveInteger,'positibong numero')

terms-tg.txt 82-82

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


s__domain(s__DayFn__m,1,s__PositiveInteger)

Merge.kif 8691-8691
s__domain(s__EditionFn__m,2,s__PositiveInteger)

Merge.kif 15566-15566
s__domain(s__ListOrderFn__m,2,s__PositiveInteger)

Merge.kif 3161-3161
s__domain(s__LogFn__m,2,s__PositiveInteger)

Merge.kif 5108-5108
s__domain(s__PeriodicalIssueFn__m,2,s__PositiveInteger)

Mid-level-ontology.kif 12407-12407
s__domain(s__QuarterFn__m,1,s__PositiveInteger)

Merge.kif 8975-8975
s__domain(s__SecondFn__m,1,s__PositiveInteger)

Merge.kif 8781-8781
s__domain(s__SeriesVolumeFn__m,2,s__PositiveInteger)

Mid-level-ontology.kif 12362-12362
s__domain(s__WeekFn__m,1,s__PositiveInteger)

Merge.kif 8960-8960
s__domain(s__accountNumber__m,2,s__PositiveInteger)

FinancialOntology.kif 3329-3329
s__domain(s__atomicNumber__m,2,s__PositiveInteger)

Merge.kif 13700-13700
s__domain(s__checkNumber__m,2,s__PositiveInteger)

FinancialOntology.kif 3346-3346
s__domain(s__dataStreamSlack__m,2,s__PositiveInteger)

QoSontology.kif 1188-1188
s__domain(s__domain__m,2,s__PositiveInteger)

Merge.kif 230-230
s__domain(s__domainSubclass__m,2,s__PositiveInteger)

Merge.kif 259-259
s__domain(s__electronNumber__m,2,s__PositiveInteger)

Mid-level-ontology.kif 19439-19439
s__domain(s__exportCommodityTypeByRank__m,3,s__PositiveInteger)

Economy.kif 2328-2328
s__domain(s__exportPartnerByRank__m,3,s__PositiveInteger)

Economy.kif 2506-2506
s__domain(s__exportPartnerByRankInPeriod__m,3,s__PositiveInteger)

Economy.kif 2494-2494
s__domain(s__humanCapacity__m,2,s__PositiveInteger)

Mid-level-ontology.kif 6334-6334
s__domain(s__importCommodityTypeByRank__m,3,s__PositiveInteger)

Economy.kif 2623-2623
s__domain(s__importPartnerByRank__m,3,s__PositiveInteger)

Economy.kif 2699-2699
s__domain(s__importPartnerByRankInPeriod__m,3,s__PositiveInteger)

Economy.kif 2687-2687
s__domain(s__industryRankByOutput__m,3,s__PositiveInteger)

Economy.kif 1592-1592
s__domain(s__maximumReplications__m,2,s__PositiveInteger)

QoSontology.kif 715-715

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__USER,V__LIST,V__ACCESSING1,V__ACCESSING2,V__INDEX1,V__INDEX2] :
   ((s__viewedItemList(V__USER,V__LIST)
     &
     s__instance(V__ACCESSING1,s__AccessingWebPage) &
     s__instance(V__ACCESSING2,s__AccessingWebPage) &
     s__instance(V__INDEX1,s__PositiveInteger) &
     s__instance(V__INDEX2,s__PositiveInteger) &
     (s__ListOrderFn(V__LIST,V__INDEX1)
     = V__ACCESSING1)
   &
   (s__ListOrderFn(V__LIST,V__INDEX2)
   = V__ACCESSING2)
&
s__greaterThan(V__INDEX1,V__INDEX2))
=>
s__earlier(s__WhenFn(V__ACCESSING2)
,s__WhenFn(V__ACCESSING1)))
)

UXExperimentalTerms.kif 989-1005
( ! [V__X] :
   (s__instance(V__X,s__PositiveInteger) =>
     s__greaterThan(V__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