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

element (element)

(element entity set) is true just in case entity is contained in the Set set. An Entity can be an element of another Entity only if the latter is a Set.

Ontologie

SUMO / SET/CLASS-THEORY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  binární predikát  
is instance of
nesymetrická relace
is instance of
netranzitivní relace
is instance of
is instance of
  element  

Superrelation(s)

instance
is subrelation of
  element  

Související termín(y)

back fn  cardinality fn  front fn  principal host fn  probability fn  skin fn  arc weight  attribute  authors  before or equal  causes  causes subclass  citizen  closed on  completely fills  connected  contains information  cooccur  copy  crosses  date  decreases likelihood  developmental form  disjoint  distributes  documentation  duration  earlier  editor  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  fills  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  immediate instance  immediate subclass  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  inverse  irreflexive on  larger  less than  less than or equal to  manner  material  measure  meets temporally  member  modal attribute  overlaps temporally  parent  partial ordering on  partially fills  partly located  path length  penetrates  possesses  precondition  prevents  proper part  properly fills  property  publishes  range  range subclass  realization  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  surface  temporal part  time  total ordering on  trichotomizing on  uses  valence  version 

Typy argumentů

element(entita, množina)

Axiomy (4)

member je internally related to element. 
(relatedInternalConcept member element)
(=>
      (subset ?SUBSET ?SET)
      (forall
            (?ELEMENT)
            (=>
                  (element ?ELEMENT ?SUBSET)
                  (element ?ELEMENT ?SET))))
Jestliže pro všechny element platí: element je an element of set1 tehdy a jen tehdy pokud element je an element of set2, potom set1 se rovná set2. 
(=>
      (forall
            (?ELEMENT)
            (<=>
                  (element ?ELEMENT ?SET1)
                  (element ?ELEMENT ?SET2)))
      (equal ?SET1 ?SET2))
Neexistuje element tak, že element je an element of null set. 
(not
      (exists
            (?ELEMENT)
            (element ?ELEMENT NullSet)))