Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PositiveInteger

 Sigma KEE - PositiveInteger
PositiveInteger(positive integer)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, D...

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


(subclass PositiveInteger NonnegativeInteger) Merge.kif 2098-2098 Positive integer is a subclass of nonnegative integer
(subclass PositiveInteger PositiveRealNumber) Merge.kif 2099-2099 Positive integer is a subclass of positive real number
(documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") Merge.kif 2101-2101 Positive integer is a subclass of positive real number

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


(termFormat EnglishLanguage PositiveInteger "positive integer") english_format.kif 950-950

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


(domain domain 2 PositiveInteger) Merge.kif 203-203 The number 2 argument of domain is an instance of positive integer
(domain domainSubclass 2 PositiveInteger) Merge.kif 225-225 The number 2 argument of domain subclass is an instance of positive integer
(domain valence 2 PositiveInteger) Merge.kif 354-354 The number 2 argument of valence is an instance of positive integer
(domain ListOrderFn 2 PositiveInteger) Merge.kif 3089-3089 The number 2 argument of list order is an instance of positive integer
(domain LogFn 2 PositiveInteger) Merge.kif 5088-5088 The number 2 argument of log is an instance of positive integer
(domain pathLength 2 PositiveInteger) Merge.kif 6032-6032 The number 2 argument of path length is an instance of positive integer
(domain DayFn 1 PositiveInteger) Merge.kif 8790-8790 The number 1 argument of day is an instance of positive integer
(domain SecondFn 1 PositiveInteger) Merge.kif 8868-8868 The number 1 argument of second is an instance of positive integer
(domain WeekFn 1 PositiveInteger) Merge.kif 9152-9152 The number 1 argument of week fn is an instance of positive integer
(domain QuarterFn 1 PositiveInteger) Merge.kif 9170-9170 The number 1 argument of quarter fn is an instance of positive integer
(domain atomicNumber 2 PositiveInteger) Merge.kif 14082-14082 The number 2 argument of atomic number is an instance of positive integer
(domain EditionFn 2 PositiveInteger) Merge.kif 15793-15793 The number 2 argument of edition is an instance of positive integer
(domain humanCapacity 2 PositiveInteger) Mid-level-ontology.kif 7788-7788 The number 2 argument of human capacity is an instance of positive integer
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 16223-16223 The number 2 argument of series volume is an instance of positive integer
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 16268-16268 The number 2 argument of periodical issue is an instance of positive integer
(domain protonNumber 2 PositiveInteger) Mid-level-ontology.kif 23957-23957 The number 2 argument of proton number is an instance of positive integer
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 23980-23980 The number 2 argument of electron number is an instance of positive integer
(domain numberOfCustomers 1 PositiveInteger) Dining.kif 729-729 The number 1 argument of number of customers is an instance of positive integer
(domain industryRankByOutput 3 PositiveInteger) Economy.kif 1708-1708 The number 3 argument of industry rank by output is an instance of positive integer
(domain agriculturalProductTypeByRank 3 PositiveInteger) Economy.kif 2478-2478 The number 3 argument of agricultural product type by rank is an instance of positive integer
(domain exportCommodityTypeByRank 3 PositiveInteger) Economy.kif 2559-2559 The number 3 argument of export commodity type by rank is an instance of positive integer
(domain exportPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2726-2726 The number 3 argument of export partner by rank in period is an instance of positive integer
(domain exportPartnerByRank 3 PositiveInteger) Economy.kif 2738-2738 The number 3 argument of export partner by rank is an instance of positive integer
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2952-2952 The number 3 argument of import commodity type by rank is an instance of positive integer
(domain importPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 3016-3016 The number 3 argument of import partner by rank in period is an instance of positive integer

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?X PositiveInteger)
    (greaterThan ?X 0))		 Merge.kif 2103-2105 If X is an instance of positive integer, then X is greater than 0
(=>
    (and
        (equal ?LIST3
            (ListConcatenateFn ?LIST1 ?LIST2))
        (not
            (equal ?LIST1 NullList))
        (not
            (equal ?LIST2 NullList))
        (lessThanOrEqualTo ?NUMBER1
            (ListLengthFn ?LIST1))
        (lessThanOrEqualTo ?NUMBER2
            (ListLengthFn ?LIST2))
        (instance ?NUMBER1 PositiveInteger)
        (instance ?NUMBER2 PositiveInteger))
    (and
        (equal
            (ListOrderFn ?LIST3 ?NUMBER1)
            (ListOrderFn ?LIST1 ?NUMBER1))
        (equal
            (ListOrderFn ?LIST3
                (AdditionFn
                    (ListLengthFn ?LIST1) ?NUMBER2))
            (ListOrderFn ?LIST2 ?NUMBER2))))		 Merge.kif 3194-3213 If All of the following hold: (1) equal X, the list composed of Y, and Z (2) equal Y and null list (3) equal Z and null list (4) W is less than or equal to length of Y (5) V is less than or equal to length of Z (6) W is an instance of positive integer (7) V is an instance of positive integer, then equal U element of X and U element of Y and equal (length of Y and V)th element of X and T element of Z
(=>
    (and
        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING1 AccessingWebPage)
        (instance ?ACCESSING2 AccessingWebPage)
        (agent ?ACCESSING1 ?USER)
        (agent ?ACCESSING2 ?USER)
        (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 799-817 If All of the following hold: (1) X is the list of items viewed by Y (2) Z is an instance of accessing web page (3) W is an instance of accessing web page (4) Y is an agent of Z (5) Y is an agent of W (6) V is an instance of positive integer (7) U is an instance of positive integer (8) equal T element of X and Z (9) equal S element of X and W (10) V is greater than U, then the time of existence of W happens earlier than the time of existence of Z


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners