set (Q1652): Difference between revisions

@@ Property / subclass of @@
+class
@@ Property / subclass of: class / rank @@
+Normal rank
@@ Property / subclass of @@
+class
@@ Property / subclass of: class / rank @@
+Deprecated rank
@@ Property / subclass of: class / qualifier @@
+reason for deprecated rank: conflation
@@ Property / subclass of @@
+formalization
@@ Property / subclass of: formalization / rank @@
+Normal rank
@@ Property / subclass of: formalization / qualifier @@
+of: extension
@@ Property / subclass of @@
+multiset
@@ Property / subclass of: multiset / rank @@
+Normal rank
@@ Property / has part(s) @@
+element
@@ Property / has part(s): element / rank @@
+Normal rank
@@ Property / Commons category @@
+Sets (mathematics)
@@ Property / Commons category: Sets (mathematics) / rank @@
+Normal rank
@@ Property / BNCF Thesaurus ID @@
@@ Property / BNCF Thesaurus ID: 5501 / rank @@
+Normal rank
@@ Property / BNCF Thesaurus ID: 5501 / qualifier @@
+subject named as: Insiemi
@@ Property / BNCF Thesaurus ID: 5501 / reference @@
+stated in: National Central Library of Florence
@@ Property / Freebase ID @@
+/m/06mpr
@@ Property / Freebase ID: /m/06mpr / rank @@
+Normal rank
@@ Property / Freebase ID: /m/06mpr / reference @@
+stated in: Freebase Data Dumps
publication date: 28 October 2013Timestamp +2013-10-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-10-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / GND ID @@
+4038613-2
@@ Property / GND ID: 4038613-2 / rank @@
+Normal rank
@@ Property / GND ID: 4038613-2 / reference @@
+imported from Wikimedia project: German Wikipedia
@@ Property / instance of @@
+metaclass
@@ Property / instance of: metaclass / rank @@
+Normal rank
@@ Property / instance of @@
+mathematical concept
@@ Property / instance of: mathematical concept / rank @@
+Normal rank
@@ Property / image @@
+Example of a set.svg
@@ Property / image: Example of a set.svg / rank @@
+Normal rank
@@ Property / PSH ID @@
@@ Property / PSH ID: 7132 / rank @@
+Normal rank
@@ Property / uses @@
+property
@@ Property / uses: property / rank @@
+Normal rank
@@ Property / MathWorld ID @@
+Set
@@ Property / MathWorld ID: Set / rank @@
+Normal rank
@@ Property / MathWorld ID: Set / qualifier @@
+subject named as: Set
@@ Property / MathWorld ID: Set / reference @@
+imported from Wikimedia project: Spanish Wikipedia
@@ Property / has cause @@
+extensional definition
@@ Property / has cause: extensional definition / rank @@
+Normal rank
@@ Property / has cause @@
+intensional definition
@@ Property / has cause: intensional definition / rank @@
+Normal rank
@@ Property / properties for this type @@
+cardinality of this set
@@ Property / properties for this type: cardinality of this set / rank @@
+Normal rank
@@ Property / properties for this type @@
+disjoint union of
@@ Property / properties for this type: disjoint union of / rank @@
+Normal rank
@@ Property / properties for this type @@
+union of
@@ Property / properties for this type: union of / rank @@
+Normal rank
@@ Property / properties for this type @@
+has part(s) of the class
@@ Property / properties for this type: has part(s) of the class / rank @@
+Normal rank
@@ Property / used by @@
+set operation
@@ Property / used by: set operation / rank @@
+Normal rank
@@ Property / BabelNet ID @@
+00070697n
@@ Property / BabelNet ID: 00070697n / rank @@
+Normal rank
@@ Property / BabelNet ID: 00070697n / reference @@
+stated in: BabelNet
@@ Property / OpenMath ID @@
+set1#set
@@ Property / OpenMath ID: set1#set / rank @@
+Normal rank
@@ Property / different from @@
+group
@@ Property / different from: group / rank @@
+Normal rank
@@ Property / different from @@
+class
@@ Property / different from: class / rank @@
+Normal rank
@@ Property / different from @@
+set
@@ Property / different from: set / rank @@
+Normal rank
@@ Property / Encyclopædia Britannica Online ID @@
+topic/set-mathematics-and-logic
+Normal rank
+subject named as: set
@@ Property / studied in @@
+set theory
@@ Property / studied in: set theory / rank @@
+Normal rank
@@ Property / OmegaWiki Defined Meaning @@
@@ Property / OmegaWiki Defined Meaning: 6966 / rank @@
+Normal rank
@@ Property / Arabic Ontology ID @@
@@ Property / Arabic Ontology ID: 293236 / rank @@
+Normal rank
@@ Property / nLab ID @@
+set
@@ Property / nLab ID: set / rank @@
+Normal rank
@@ Property / KBpedia ID @@
+Set-Mathematical
@@ Property / KBpedia ID: Set-Mathematical / rank @@
+Normal rank
@@ Property / KBpedia ID: Set-Mathematical / reference @@
+stated in: KBpedia
retrieved: 9 July 2020Timestamp +2020-07-09T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2020-07-09T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / defining formula @@
+ $\forall x:(x\in S)\veebar \neg (x\in S)$ 
\forall x : (x \in S) \veebar \neg (x \in S)
@@ Property / defining formula: $\forall x:(x\in S)\veebar \neg (x\in S)$ / rank @@
+Normal rank
@@ Property / in defining formula @@
+ $S$ 
S
@@ Property / in defining formula: $S$ / rank @@
+Normal rank
@@ Property / in defining formula: $S$ / qualifier @@
+symbol represents: set
@@ Property / in defining formula @@
+ $\veebar$ 
\veebar
@@ Property / in defining formula: $\veebar$ / rank @@
+Normal rank
@@ Property / in defining formula: $\veebar$ / qualifier @@
+symbol represents: exclusive or
@@ Property / in defining formula @@
+ $\forall$ 
\forall
@@ Property / in defining formula: $\forall$ / rank @@
+Normal rank
@@ Property / in defining formula: $\forall$ / qualifier @@
+symbol represents: universal quantification
@@ Property / in defining formula @@
+ $x$ 
x
@@ Property / in defining formula: $x$ / rank @@
+Normal rank
@@ Property / in defining formula: $x$ / qualifier @@
+symbol represents: element
@@ Property / in defining formula @@
+ $\in$ 
\in
@@ Property / in defining formula: $\in$ / rank @@
+Normal rank
@@ Property / in defining formula: $\in$ / qualifier @@
+symbol represents: is an element of
@@ Property / IEV number @@
+-01-02
@@ Property / IEV number: 102-01-02 / rank @@
+Normal rank
@@ Property / WordNet 3.1 Synset ID @@
+08016141-n
@@ Property / WordNet 3.1 Synset ID: 08016141-n / rank @@
+Normal rank
@@ Property / WordNet 3.1 Synset ID: 08016141-n / reference @@
+stated in: GF WordNet
@@ Property / Store norske leksikon ID @@
+mengde_-_matematikk
@@ Property / Store norske leksikon ID: mengde_-_matematikk / rank @@
+Normal rank
@@ Property / Den Store Danske ID @@
+mængde
@@ Property / Den Store Danske ID: mængde / rank @@
+Normal rank
@@ Property / NL CR AUT ID @@
+ph122926
@@ Property / NL CR AUT ID: ph122926 / rank @@
+Normal rank
@@ Property / NL CR AUT ID: ph122926 / qualifier @@
+subject named as: množiny
@@ Property / on focus list of Wikimedia project @@
+Wikipedia:Vital articles/Level/4
+Normal rank
+point in time: 31 October 2022Timestamp +2022-10-31T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2022-10-31T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / YSO ID @@
@@ Property / YSO ID: 12530 / rank @@
+Normal rank
@@ Property / YSO ID: 12530 / reference @@
+stated in: YSO-Wikidata mapping project
retrieved: 3 February 2023Timestamp +2023-02-03T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2023-02-03T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / said to be the same as @@
+class
@@ Property / said to be the same as: class / rank @@
+Normal rank
@@ Property / Treccani Vocabulary ID @@
+insieme
@@ Property / Treccani Vocabulary ID: insieme / rank @@
+Normal rank
@@ Property / Treccani Vocabulary ID: insieme / qualifier @@
+subject named as: insième
@@ Property / Treccani ID @@
+insieme
@@ Property / Treccani ID: insieme / rank @@
+Normal rank
@@ Property / Treccani ID: insieme / qualifier @@
+subject named as: insieme
@@ Property / De Agostini ID @@
+insième+(matematica)
@@ Property / De Agostini ID: insième+(matematica) / rank @@
+Normal rank
@@ Property / De Agostini ID: insième+(matematica) / qualifier @@
+subject named as: insième
@@ Property / NicoNicoPedia ID @@
+集合
@@ Property / NicoNicoPedia ID: 集合 / rank @@
+Normal rank
@@ Property / Namuwiki ID @@
+집합
@@ Property / Namuwiki ID: 집합 / rank @@
+Normal rank
@@ Property / Great Russian Encyclopedia portal ID @@
+mnozhestvo-v-matematike-2af36e
+Normal rank
@@ Property / ProofWiki ID @@
+Definition:Set
@@ Property / ProofWiki ID: Definition:Set / rank @@
+Normal rank
@@ Property / Brilliant Wiki ID @@
+sets-problem-solving
@@ Property / Brilliant Wiki ID: sets-problem-solving / rank @@
+Normal rank
@@ Property / Brilliant Wiki ID @@
+sets
@@ Property / Brilliant Wiki ID: sets / rank @@
+Normal rank
@@ Property / Vikidia article ID @@
+fr:Ensemble
@@ Property / Vikidia article ID: fr:Ensemble / rank @@
+Normal rank