Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

kladné celé číslo (PositiveInteger)

An Integer that is greater than zero.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  číslo  
is subclass of
  reálné číslo  
is subclass of
  racionální číslo  
is subclass of
  celé číslo  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  číslo  
is subclass of
  reálné číslo  
is subclass of
  nezáporné reálné číslo  
is subclass of
is subclass of
  nezáporné celé číslo  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  číslo  
is subclass of
  reálné číslo  
is subclass of
  nezáporné reálné číslo  
is subclass of
  kladné reálné číslo  
is subclass of
is subclass of
  kladné celé číslo  

Constrains relations

edition fn  list order fn  log fn  periodical issue fn  series volume fn  domain  domain subclass  path length  valence 

Related WordNet synsets

natural number
the number 1 and any other number obtained by adding 1 to it repeatedly
natural number is kind of (all)...   natural number is kind of...  
See more related synsets on a separate page.

Axiomy (2)

(=>
      (instance ?LIST List)
      (exists
            (?NUMBER1)
            (exists
                  (?ITEM1)
                  (and
                        (not
                              (equal
                                    (ListOrderFn ?LIST ?NUMBER1)
                                    ?ITEM1))
                        (forall
                              (?NUMBER2)
                              (=>
                                    (and
                                          (instance ?NUMBER2 PositiveInteger)
                                          (lessThan ?NUMBER2 ?NUMBER1))
                                    (exists
                                          (?ITEM2)
                                          (equal
                                                (ListOrderFn ?LIST ?NUMBER2)
                                                ?ITEM2))))))))
list3 se rovná "list concatenate fn(list1,list2)" tehdy a jen tehdy pokud pro všechny number1,number2 platí: jestliže number1 je menší než nebo roven "length of list1" a number2 je menší než nebo roven "length of list2" a number1 je instancí třídy kladné celé číslo a number2 je instancí třídy kladné celé číslo, potom "number1th element of list3" se rovná "number1th element of list1" a ""("length of list1"+number2)"th element of list3" se rovná "number2th element of list2". 
(<=>
      (equal
            ?LIST3
            (ListConcatenateFn ?LIST1 ?LIST2))
      (forall
            (?NUMBER1 ?NUMBER2)
            (=>
                  (and
                        (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))))))