stanford-oval/wikipedia huggingface dataset:
منطق زمانی
منطق موضعی Łoś > نحو

زبان منطق که اولین بار در Podstawy Analizy Metodologicznej Kanonów Milla (مبانی تجزیه و تحلیل روش شناختی روش‌های میل) منتشر شد عبارت بود از:
عملگرهای منطقی مرتبه اول '¬'، '∧'، '∨'، '→'، '≡'، '∀' و '∃'
اپراتور تحقق U
نماد عملکردی δ
متغیرهای گزاره ای p 1, p 2, p 3 ,. . .
متغیرهایی که لحظه‌های زمانی t 1 ,t 2 ,t 3, را نشان می‌دهند. . .
متغیرهایی که بازه‌های زمانی n 1, n 2, n 3, را نشان می‌دهند. . .
مجموعه ای از اصطلاحات (که با S مشخص می‌شود) به صورت زیر ساخته می‌شود:
متغیرهایی که لحظه‌ها یا بازه‌های زمانی را نشان می‌دهند اصطلاح هستند
اگر  \tau \in S و  \epsilon  یک متغیر بازه زمانی است، پس  \delta (\tau ,\epsilon )\in S
مجموعه ای از فرمول‌ها (که با For مشخص می‌شوند) به صورت زیر ساخته می‌شوند:
تمام فرمول‌های منطقی مرتبه اول معتبر هستند
اگر  \tau \in S و  \phi  پس یک متغیر گزاره ای است  U_{\tau }(\phi )\in For
اگر  \phi \in For ، سپس  \neg \phi \in For
اگر  \phi ,\psi \in For و  \circ \in \{\wedge ,\vee ,\rightarrow ,\equiv \} ، سپس  \phi \circ \psi \in For
اگر  \phi \in For و  Q\in \{\forall ,\exists \} و υ یک متغیر گزاره ای، لحظه ای یا بازه ای است، پس  Q_{\upsilon }\phi \in For
منطق موضعی Łoś > سیستم اصلی آکسیوماتیک

U_{t_{1}}\neg p_{1}\equiv \neg U_{t_{1}}p_{1}
U_{t_{1}}(p_{1}\rightarrow p_{2})\rightarrow (U_{t_{1}}p_{1}\rightarrow U_{t_{1}}p_{2})
U_{t_{1}}((p_{1}\rightarrow p_{2})\rightarrow ((p_{2}\rightarrow p_{3})\rightarrow (p_{1}\rightarrow p_{3})))
U_{t_{1}}(p_{1}\rightarrow (\neg p_{1}\rightarrow p_{2}))
U_{t_{1}}((\neg p_{1}\rightarrow p_{1})\rightarrow p_{1})
\forall _{t_{1}}U_{t_{1}}p_{1}\rightarrow p_{1}
\forall _{t_{1}}\forall _{n_{1}}\exists _{t_{2}}\forall _{p_{1}}(U_{\delta (t_{1},n_{1})}p_{1}\equiv U_{t_{2}}p_{1})
\forall _{t_{1}}\forall _{n_{1}}\exists _{t_{2}}\forall _{p_{1}}(U_{\delta (t_{2},n_{1})}p_{1}\equiv U_{t_{1}}p_{1})
\forall _{t_{1}}\exists _{p_{1}}\forall _{t_{2}}(U_{t_{2}}p_{1}\equiv \forall _{p_{2}}(U_{t_{1}}p_{2}\equiv U_{t_{2}}p_{2}))
منطق زمان قبلی (TL)

منطق زمان جمله ای معرفی شده در Time and Modality دارای چهار عملگر مودال (غیر حقیقت-عملکردی) است (علاوه بر همه عملگرهای صدق تابعی معمول در منطق گزاره ای مرتبه اول.
پ: «اینطور بود. . " (P مخفف "گذشته" است)
ف: «اینطور خواهد بود. . " (F مخفف "آینده" است)
G: "همیشه همینطور خواهد بود. . "
ح: «همیشه همین‌طور بود. . "
اگر اجازه دهیم π یک مسیر نامتناهی باشد، اینها را می‌توان ترکیب کرد:
\pi \vDash FG\phi  : «در یک نقطه خاص،  \phi  در تمام حالات آینده مسیر صادق است»
\pi \vDash GF\phi  : « \phi  در بی‌نهایت بسیاری از حالات در مسیر درست است»
از P و F می‌توان G و H را تعریف کرد و بالعکس:
{\begin{aligned}F&\equiv \lnot G\lnot \\P&\equiv \lnot H\lnot \end{aligned}}
منطق زمان قبلی (TL) > نحو و معناشناسی

حداقل نحو برای TL با دستور BNF زیر مشخص شده‌است:
\phi ,\psi ::=a\;|\;\bot \;|\;\lnot \phi \;|\;\phi \lor \psi \;|\;G\phi \;|\;H\phi
که در آن a یک فرمول اتمی است.
از مدل‌های کریپکی برای ارزیابی صدق جملات در TL استفاده می‌شود. یک جفت (T, <) از یک مجموعه T و یک رابطه دودویی < روی T (به نام "تقدم") یک قاب نامیده می‌شود. یک مدل با سه‌گانه (T, <, V) یک قاب و تابع V به نام ارزش گذاری داده می‌شود که به هر جفت (a, u) از یک فرمول اتمی و مقدار زمانی مقداری حقیقت را اختصاص می‌دهد. مفهوم " ϕ در یک مدل U =(T, <, V) در زمان u " به اختصار U ⊨ ϕ [u] است. با این نماد،
| بیانیه | … درست زمانی است که |
| --- | --- |
U ⊨ a [u]: V (a, u)=درست است
U ⊨¬ ϕ [u]: نه U ⊨ ϕ [u]
U ⊨(ϕ ∧ ψ)[u]: U ⊨ ϕ [u] و U ⊨ ψ [u]
U ⊨(ϕ ∨ ψ)[u]: U ⊨ ϕ [u] یا U ⊨ ψ [u]
U ⊨(ϕ → ψ)[u]: U ⊨ ψ [u] اگر U ⊨ ϕ [u]
U ⊨G ϕ [u]: U ⊨ ϕ [v] برای همه v با u < v
U ⊨H ϕ [u]: U ⊨ ϕ [v] برای همه v با v < u
با توجه به کلاس F از فریم‌ها، یک جمله ϕ از TL است
با توجه به F معتبر است اگر برای هر مدل U =(T ,<, V) با (T ,<) در F و برای هر u در T, U ⊨ ϕ [u]
اگر یک مدل U =(T ,<, V) با (T ,<) در F وجود داشته باشد به گونه ای که برای برخی از u در T, U ⊨ ϕ [u] با توجه به F قابل رضایت است.
نتیجه یک جمله ψ با توجه به F اگر برای هر مدل U =(T ,<, V) با (T ,<) در F و برای هر u در T, اگر U ⊨ ψ [u]، آنگاه U ⊨ ϕ [u]
بسیاری از جملات فقط برای دسته محدودی از فریم‌ها معتبر هستند. معمول است که کلاس فریم‌ها را به آنهایی که رابطه ای < متعدی، ضد متقارن، انعکاسی، تریکوتومی، غیر انعکاسی، کل، متراکم یا ترکیبی از اینها دارند محدود کنیم.
منطق زمان قبلی (TL) > یک منطق بدیهی حداقلی

برگس منطقی را ترسیم می‌کند که هیچ فرضی در رابطه < ایجاد نمی‌کند، اما بر اساس طرح بدیهی زیر امکان استنتاج‌های معنی دار را می‌دهد:
A where A is a tautology of first-order logic
G(A→B)→(GA→GB)
H(A→B)→(HA→HB)
A→GPA
A→HFA
با قوانین کسر زیر:
با توجه به A → B و A، B را استنباط کنید (modus ponens)
با توجه به توتولوژی A, G A را استنباط کنید
با توجه به توتولوژی A, H A را استنباط کنید
می‌توان قوانین زیر را استخراج کرد:
قانون بکر: با توجه به A → B, T A → T B را استنباط کنید که در آن T یک زمان است، هر دنباله ای که از G, H، F و P ساخته شده باشد.
آینه سازی: با در نظر گرفتن یک قضیه A، گزاره آینه ای آن A § را استنباط کنید، که با جایگزینی G با H (و بنابراین F با P) و بالعکس به دست می‌آید.
دوگانگی: با در نظر گرفتن یک قضیه A، عبارت دوگانه A * را استنباط کنید که از مبادله ∧ با ∨، G با F و H با P به دست می‌آید.
منطق زمان قبلی (TL) > ترجمه به منطق محمول

برگس ترجمه مردیتی را از گزاره‌های TL به گزاره‌هایی در منطق مرتبه اول با یک متغیر آزاد x 0 (نماینده لحظه حال) ارائه می‌کند. این ترجمه M به صورت بازگشتی به صورت زیر تعریف می‌شود:
{\begin{aligned}&M(a)&&=a^{*}x_{0}\\&M(\lnot \phi )&&=\lnot M(\phi )\\&M(\phi \land \psi )&&=M(\phi )\land M(\psi )\\&M({\mathsf {G}}\phi )&&=\forall x_{1}(x_{0}<x_{1}\rightarrow M(A^{+}))\\&M({\mathsf {H}}\phi )&&=\forall x_{1}(x_{1}<x_{0}\rightarrow M(A^{+}))\end{aligned}}
جایی که  A^{+} جمله است  A با تمام شاخص‌های متغیر با ۱ و افزایش یافته‌است  a^{*} یک محمول یک مکان است که توسط  x\mapsto V(a,x) .
عملگرهای زمانی

منطق زمانی دو نوع عملگر دارد: عملگرهای منطقی و عملگرهای مدال. عملگرهای منطقی عملگرهای معمولی با تابع حقیقت هستند ( \neg ,\lor ,\land ,\rightarrow ). عملگرهای مدال مورد استفاده در منطق زمانی خطی و منطق درخت محاسباتی به صورت زیر تعریف می‌شوند.
| متنی> عملگرهای باینری | نمادین> عملگرهای باینری | تعریف> عملگرهای باینری | توضیح> عملگرهای باینری | نمودار>  |
| --- | --- | --- | --- | --- |
| φ U ψ |  \phi ~{\mathcal {U}}~\psi  |  (B\,{\mathcal {U}}\,C)(\phi )=\ (\exists i:C(\phi _{i})\land (\forall j<i:B(\phi _{j}))) | U ntil: ψ در موقعیت فعلی یا آینده باقی می‌ماند و φ باید تا آن موقعیت باقی بماند. در آن موقعیت φ لازم نیست بیشتر نگه دارد. |  |
| φ R ψ |  \phi ~{\mathcal {R}}~\psi  |  (B\,{\mathcal {R}}\,C)(\phi )=\ (\forall i:C(\phi _{i})\lor (\exists j<i:B(\phi _{j}))) | رها شدن R: φ آزاد می‌کند اگر ψ درست باشد تا زمانی که اولین φ که ψ درست است (یا برای همیشه اگر چنین موقعیتی وجود نداشته باشد) را شامل می‌شود. |  |
| عملگرهای Unary | عملگرهای Unary | عملگرهای Unary | عملگرهای Unary |  |
| N φ |  \bigcirc \phi  |  {\mathcal {N}}B(\phi _{i})=B(\phi _{i+1}) | N ext: φ باید در حالت بعدی باقی بماند. (X به صورت مترادف استفاده می‌شود) |  |
| F φ |  \Diamond \phi  |  {\mathcal {F}}B(\phi )=(true\,{\mathcal {U}}\,B)(\phi ) | F uture: φ در نهایت باید نگه داشته شود (جایی در مسیر بعدی). |  |
| G φ |  \Box \phi  |  {\mathcal {G}}B(\phi )=\neg {\mathcal {F}}\neg B(\phi ) | G lobally: φ باید در کل مسیر بعدی باقی بماند. |  |
| A φ |  \forall \phi  |  ({\mathcal {A}}B)(\psi )=\ (\forall \phi :\phi _{0}=\psi \to B(\phi )) | A ll: φ باید در تمام مسیرهایی که از حالت فعلی شروع می‌شوند، حفظ شود. |  |
| E φ |  \exists \phi  |  ({\mathcal {E}}B)(\psi )=\ (\exists \phi :\phi _{0}=\psi \land B(\phi )) | E xists: حداقل یک مسیر وجود دارد که از حالت فعلی شروع می‌شود، جایی که φ برقرار است. |  |
نمادهای جایگزین:
عملگر R گاهی با V نشان داده می‌شود
عملگر W ضعیف است تا زمانی که عملگر:  f\mathbf {W} g برابر است با  f\mathbf {U} g\lor \mathbf {G} f
هر زمان که B(φ) به خوبی شکل گرفته باشد، عملگرهای Unary فرمول‌های خوبی هستند. عملگرهای دودویی هر زمان که B(φ) و C(φ) به خوبی شکل گرفته باشند، فرمول‌های خوبی هستند.
در برخی از منطق‌ها، برخی از عملگرها قابل بیان نیستند. به عنوان مثال، عملگر N را نمی‌توان در منطق زمانی اعمال بیان کرد.
منطق‌های زمانی

منطق‌های زمانی عبارتند از:
برخی از سیستم‌های منطق موضعی
منطق زمانی فاصله (ITL)
منطق زمانی خطی (LTL)
منطق درخت محاسباتی (CTL)
منطق زمانی سیگنال (STL)
منطق زمانی مهر زمانی (TTL)
زبان مشخصات ویژگی (PSL)
CTL* که LTL و CTL را تعمیم می‌دهد
منطق هنسی-میلنر (HML)
مدال μ-حساب که به عنوان یک زیر مجموعه HML و CTL* را شامل می‌شود
منطق زمانی متریک (MTL)
منطق زمانی فاصله متریک (MITL)
منطق زمانی گزاره ای زمان‌بندی شده (TPTL)
منطق زمانی خطی کوتاه (TLTL)
منطق بیش از حد زمانی (HyperLTL)
تغییراتی که ارتباط نزدیکی با منطق زمانی یا زمانی یا زمانی دارد، منطق‌های مودال مبتنی بر «توپولوژی»، «مکان» یا «موقعیت مکانی» هستند.
یادداشت

↑  Vardi 2008, p. 153
1 2 3  Vardi 2008, p. 154
1 2 3 4  Øhrstrøm, Peter (2019). "The Significance of the Contributions of A.N.Prior and Jerzy Łoś in the Early History of Modern Temporal Logic". Logic and Philosophy of Time: Further Themes from Prior, Volume 2 (به انگلیسی).
1 2  Rescher, Nicholas; Garson, James (January 1969). "Topological Logic". The Journal of Symbolic Logic (به انگلیسی). 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812.
↑  "Temporal Logic (Stanford Encyclopedia of Philosophy)". Plato.stanford.edu. Retrieved 2014-07-30.
1 2  Tkaczyk, Marcin; Jarmużek, Tomasz (2019). "Jerzy Łoś Positional Calculus and the Origin of Temporal Logic". Logic and Logical Philosophy (به انگلیسی). 28 (2): 259–276. doi:10.12775/LLP.2018.013. ISSN 2300-9802.
↑  Lawford, M. (2004). "An Introduction to Temporal Logics" (PDF). Department of Computer Science McMaster University.
↑  "Temporal Logic". Stanford Encyclopedia of Philosophy. February 7, 2020. Retrieved April 19, 2022.
1 2  Maler, O. ; Nickovic, D. (2004). "Monitoring temporal properties of continuous signals". doi:10.1007/978-3-540-30206-3_12.
↑  Mehrabian, Mohammadreza; Khayatian, Mohammad; Shrivastava, Aviral; Eidson, John C.; Derler, Patricia; Andrade, Hugo A.; Li-Baboud, Ya-Shian; Griffor, Edward; Weiss, Marc (2017). "Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems". ACM Transactions on Embedded Computing Systems. 16 (5s): 1–20. doi:10.1145/3126510.
↑  Koymans, R. (1990). "Specifying real-time properties with metric temporal logic", Real-Time Systems 2(4): 255–299. doi:10.1007/BF01995674.
↑  Li, Xiao, Cristian-Ioan Vasile, and Calin Belta. "Reinforcement learning with temporal logic rewards." doi:10.1109/IROS.2017.8206234
شین سایمدانگ

| شین سایمدانگ | شین سایمدانگ |
| --- | --- |
زادهٔ: ۲۹ اکتبر ۱۵۰۴ اوجوک‌هون، گانگ‌نونگ، استان گانگوون، پادشاهی چوسان
درگذشت: ۱۷ مهٔ ۱۵۵۱ (۴۶ سال) پاجو، استان گیونگ‌گی، پادشاهی چوسان
ملیت: کره‌ای
پیشه(ها): هنرمند، خوشنویس، شاعر
فرزندان: ۵ پسر از جمله یی ای و ۳ دختر
خانواده: قبیله پیونگ‌سان شین (به واسطه تولد) قبیله دوک‌سو یی (به واسطه ازدواج)
| 0 | 1 |
| --- | --- |
Korean name: Korean name
هانگول: 신사임당
هانجا: 申師任堂
لاتین‌نویسی اصلاح‌شده: Sin Saimdang
مک‌کیون–ریشاور: Sin Saimtang
نام تولد: نام تولد
هانگول: 신인선
هانجا: 申仁善
لاتین‌نویسی اصلاح‌شده: Sin Inseon
مک‌کیون–ریشاور: Sin Insŏn
تصویر شین سایمدانگ بر روی اسکناس ۵۰٬۰۰۰ وونی
شین سایمدانگ (کره‌ای: 신사임당؛ ۲۹ اکتبر ۱۵۰۴ – ۱۷ مه ۱۵۵۱) هنرمند، نویسنده، خوشنویس و شاعر کره‌ای بود که در دوران چوسان زندگی می‌کرد. او در گانگ‌نونگ، استان گانگوون به دنیا آمد. خانهٔ محل تولدش، اوجوک‌هون، که خانهٔ خانواده مادری‌اش نیز بود، تا امروز خوب باقی مانده‌است. او مادر یی ای، محقق کنفسیوس بود. شین سایمدانگ اغلب به عنوان الگویی برای آرمان‌های کنفسیوس‌گرایی شناخته می‌شد و نام مستعار محترمانه‌اش اوجین اومونی (어진 어머니؛ «مادر خردمند») بود. نام واقعی وی شین این سون (کره‌ای: 신인선; هانجا: 申仁善) بود. نام‌های مستعارش سایم، سایمدانگ (사임당, 師任堂)، اینیمدانگ (인임당, 姻姙堂) و ایم‌ساجه (임사재, 姙師齊) بودند.
در فرهنگ عامه

بازی شده توسط گو اون آه در فیلم سال ۱۹۷۸ محقق یول گوک و مادرش شین سایمدانگ
بازی شده توسط کیم یه-ریونگ و جونگ این سون در مجموعه تلویزیونی سال ۲۰۰۳ شبکه ئی‌بی‌اس، تئاتر یوکسا
بازی شده توسط کیم یه-ریونگ در مجموعه تلویزیونی سال ۲۰۰۵ شبکه ئی‌بی‌اس، جامپ
بازی شده توسط لی یونگ ئه و پارک هه سو در مجموعه تلویزیونی سال ۲۰۱۷ شبکه اس‌بی‌اس، سایمدانگ، خاطرات درخشان
برای مطالعهٔ بیشتر

Kim-Renand, Young-Key. Creative Women of Korea: the Fifteenth Through the Twentieth Centuries. M.E. Sharpe, Inc. , 2004.
خورشید مه

National emblem of Argentina and Uruguay
خورشید ماه مه در پرچم آرژانتین، ۱۸۱۸.
خورشید ماه مه در پرچم اروگوئه، ۱۸۳۰.
خورشید ماه مِه یا خورشید مه (به اسپانیایی: Sol de Mayo‎) نمادی ملی در کشورهای آرژانتین و اروگوئه است و در پرچم‌ها و نشان‌های ملی هر دو کشور جای دارد.
تاریخ

به نظر برخی مورخان در آمریکای جنوبی، این تصویر متعلق به اینتی، ایزدبانوی خورشید در دین امپراتوری اینکا بوده است. این ایزدبانو یکی از حامیان امپراتوری اینکا مورد پرستش قرار می‌گرفت و مردم اینکا خورشید را واحد سنجش زمان قرار داده بودند. در اسطوره‌شناسی اینتی فرزند ویراکوچا، ایزد تمدن و شهرنشینی، است.
نام امروزین آن و استفاده از عنوان ماه «مه» در آن در اشاره به انقلاب مه است که در هفته‌ای میان ۱۸ تا ۲۵ مه سال ۱۸۱۰ میلادی، علیه امپراتوری اسپانیا و برای استقلال در جنوب آمریکای لاتین شکل گرفت. افسانه‌ای بیان می‌کند که در آغاز این قیام، مبارزان با درآمدن خورشید از پشت ابرها، پیش‌بینی کردند که سرانجام کار خوشایند خواهد بود.
ویژگی‌ها و خصوصیات

خورشید، معروف به خورشید ماه که، بر روی پول ملی آرژانتین، رئال، از سال ۱۸۱۳ میلادی ضرب شد که این عمل به فرمان مجلس مؤسسان آرژانتین انجام شد. نخستین سکه اسکودو (یک اسکودو/دلار اسپانیایی) نام داشت.
فرم و شکل این خورشید مشابه نشان‌هایی بود که در اروپا به نمادهای شکوه و جلال شناخته می‌شدند. آن علائم مشابه نیز دارای پرتوهای نور موجی و متناوب و با صورتی انسانی بودند ولی اغلب شانزده پرتو از آن‌ها ساطع می‌شد.
قانون مصوب سال ۱۹۷۸ میلادی مشخص کرد که در پرچم آرژانتین بایستی خورشید به رنگ زرد طلایی (amarillo oro), با قطر داخلی ۱۰ سانتی‌متر و قطر خارجی ۲۵ سانتی‌متر (قطر خورشید برابر ۵⁄۶ ارتفاع نوار سفید و صورت خورشید ۲⁄۵ ارتفاعش باشد)، و با ۳۲ پرتو (در هر سو ۱۶ اشعهٔ متقارن و موجی شکل) باشد و بر روی پرچم گلدوزی شود.
جزئیات

در نسخهٔ آرژانتینی، خورشید ماه مه رنگ زرد طلایی دارد و دارای چهره‌ای زنانه و سی و دو اشعه است که متقارن و موجی شکل و نازک‌اند.
در اروگوئه، خورشید ماه مه زرد است با چهرهٔ انسانی و دارای شانزده اشعهٔ مثلثی است که دارای موج‌های متناوبی هستند.
تصویر خورشید مه بر روی نخستین سکهٔ استان‌های متحد ریو د لا پلاتا در سال ۱۸۱۳
اروین سانچس

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 :  
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  Erwin Sánchez Freking
زادروز:  ۱۹ اکتبر ۱۹۶۹ ‏(۵۴ سال)
زادگاه:  سانتا کروس د لا سیرا
قد:  ۱٫۷۴ متر (۵ فوت ۸ ۱⁄۲ اینچ)
پست:  هافبک
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  Oriente Petrolero (manager)
باشگاه‌های جوانان: باشگاه‌های جوانان
۱۹۸۱–۱۹۸۶:  Tahuichi Academy
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۸۷–۱۹۸۸ |  Destroyers |  ۶۷ |  (۲۳) |
| ۱۹۸۸–۱۹۹۰ |  باشگاه فوتبال بولیوار |  ۳۴ |  (۱۳) |
| ۱۹۹۰–۱۹۹۲ |  باشگاه ورزشی بنفیکا |  ۱۵ |  (۱) |
| ۱۹۹۱–۱۹۹۲ |  ← باشگاه ورزشی اشتوریل پرایا (قرضی) |  ۲۸ |  (۸) |
| ۱۹۹۲–۱۹۹۷ |  باشگاه فوتبال بوآویشتا |  ۱۰۵ |  (۲۵) |
| ۱۹۹۷–۱۹۹۹ |  باشگاه ورزشی بنفیکا |  ۲۶ |  (۶) |
| ۱۹۹۸–۱۹۹۹ |  ← باشگاه فوتبال بوآویشتا (قرضی) |  ۲۲ |  (۰) |
| ۱۹۹۹ |  باشگاه فوتبال بنفیکا بی |  ۳ |  (۳) |
| ۲۰۰۰–۲۰۰۴ |  باشگاه فوتبال بوآویشتا |  ۹۲ |  (۱۹) |
| ۲۰۰۴–۲۰۰۵ |  Oriente Petrolero |  ۳۸ |  (۱۰) |
| مجموع |   |  ۴۳۰ |  (۱۰۸) |
تیم ملی: تیم ملی
| ۱۹۸۹–۲۰۰۵ |  تیم ملی فوتبال بولیوی |  ۵۷ |  (۱۵) |
دوران مربیگری: دوران مربیگری
۲۰۰۳–۲۰۰۴:  باشگاه فوتبال بوآویشتا
۲۰۰۶–۲۰۰۹:  تیم ملی فوتبال بولیوی
۲۰۱۲–۲۰۱۳:  Oriente Petrolero
۲۰۱۵:  باشگاه فوتبال بلومینگ
۲۰۱۵–۲۰۱۶:  باشگاه فوتبال بوآویشتا
۲۰۱۸–۲۰۲۰:  باشگاه فوتبال بلومینگ
۲۰۲۰–:  Oriente Petrolero
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
اروین سانچس (اسپانیایی: Erwin Sánchez‎؛ زادهٔ ۱۹ اکتبر ۱۹۶۹) بازیکن سابق و مربی فوتبال اهل بولیوی است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال بوآویشتا، باشگاه فوتبال بنفیکا بی، باشگاه ورزشی اشتوریل پرایا، باشگاه ورزشی بنفیکا، و باشگاه فوتبال بولیوار اشاره کرد.
وی همچنین در تیم ملی فوتبال بولیوی بازی کرده‌است.
تپه وشته ۲

| تپه وشته ۲ | تپه وشته ۲ |
| --- | --- |
نام: تپه وشته ۲
کشور: ایران
استان: استان قزوین
شهرستان: شهرستان قزوین
اطلاعات اثر: اطلاعات اثر
کاربری: تپه
دیرینگی: دوره ساسانیان
دورهٔ ساخت اثر: دوره ساسانیان
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۳۱۹۵
تاریخ ثبت ملی: ۲۵ اسفند ۱۳۷۹
تپه وشته ۲ مربوط به دوره ساسانیان است. در شهرستان قزوین، بخش رودبار شهرستان، روستای وشته واقع شده و این اثر در تاریخ ۲۵ اسفند ۱۳۷۹ با شمارهٔ ثبت ۳۱۹۵ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
ایتوکورتورمیت

| ایتوکورتورمیت Illoqqortoormiut (زبان گرینلندی) Scoresbysund (زبان دانمارکی) | ایتوکورتورمیت Illoqqortoormiut (زبان گرینلندی) Scoresbysund (زبان دانمارکی) |
| --- | --- |
Ittoqqortoormiit: Ittoqqortoormiit
ایتوکورتورمیتLocation within Greenland: ایتوکورتورمیتLocation within Greenland
مختصات: ۷۰°۲۹′۰۷″ شمالی ۲۱°۵۸′۰۰″ غربی﻿ / ﻿۷۰٫۴۸۵۲۸°شمالی ۲۱٫۹۶۶۶۷°غربی﻿ / 70.48528; -21.96667: مختصات: ۷۰°۲۹′۰۷″ شمالی ۲۱°۵۸′۰۰″ غربی﻿ / ﻿۷۰٫۴۸۵۲۸°شمالی ۲۱٫۹۶۶۶۷°غربی﻿ / 70.48528; -21.96667
ایالت:  قلمروی دانمارک
دانمارک:  گرینلند
Municipality:  Sermersooq
تأسیس‌شده: ۱۹۲۵
جمعیت (۲۰۱۳): جمعیت (۲۰۱۳)
 • کل: ۴۵۲
منطقهٔ زمانی: یوتی‌سی ۱:۰۰-
کد پستی: ۳۹۸۰
ایتوکورتورمیت (به لاتین: Ittoqqortoormiit) یک منطقهٔ مسکونی در گرینلند است که در Sermersooq واقع شده‌است. ایتوکورتورمیت ۴۵۲ نفر جمعیت دارد. این جزیره کوچک ایسلندی، واقعاً سبز و باطراوت است در حالیکه در اطراف آن، گرینلند واقعاً سرد و یخبندان است. ایتوکورتورمیت جمعیت بسیار کمی دارد و ماهیگیران و شکارچیان مجبور نیستند طعمه خود را با افراد زیادی شریک شوند.
خواهرخوانده

شهرهای آلبورگ و Dalvík خواهرخوانده‌های ایتوکورتورمیت هستند.
ایجی تویودا

| ایجی تویودا | ایجی تویودا |
| --- | --- |
زادهٔ: ۱۲ سپتامبر ۱۹۱۳ ناگویا، آیچی
درگذشت: ۱۷ سپتامبر ۲۰۱۳ (۱۰۰ سال) تویوتا، آیچی
ملیت: ژاپنی
تحصیلات: دانشگاه توکیو
پیشه(ها): مدیر عامل اجرایی (۱۹۶۷–۱۹۸۱) و رئیس هیئت مدیره (۱۹۸۱–۱۹۹۴) تویوتا
شناخته‌شده برای: بنیانگذاری لکسوس
ایجی تویودا (به ژاپنی: 豊田 英二) (زاده ۱۲ سپتامبر ۱۹۱۳ - درگذشته ۱۷ سپتامبر ۲۰۱۳) کارآفرین، صنعتگر، مهندسی مکانیک و مدیر ارشد اجرایی ژاپنی بود، که در سال ۱۹۸۹ شرکت لکسوس را تأسیس نمود.
وی در فاصله سال‌های ۱۹۶۷ تا ۱۹۸۱ مدیر عامل اجرایی تویوتا بود، همچنین از ۱۹۸۱ تا ۱۹۹۴ نیز ریاست هیئت مدیره این شرکت خودروسازی را برعهده داشت. ساکیشی تویودا بنیانگذار شرکت صنایع تویوتا عموی وی بود و کیشیرو تویودا مؤسس شرکت خودروسازی تویوتا نیز عموزاده ایجی تویودا محسوب می‌شد. وی در ۱۷ سپتامبر ۲۰۱۳ در سن یکصد سالگی، در شهر تویوتا، آیچی درگذشت.
علی الزبیدی (بازیکن فوتبال، زاده ۱۹۸۶)

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Ali Moaedi Al-Zubaidi
زادروز:  ۱۷ دسامبر ۱۹۸۶ ‏(۳۷ سال)
زادگاه:  عربستان سعودی
قد:  ۱٫۸۰ متر (۵ فوت ۱۱ اینچ)
پست:  هافبک
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  Al-Orobah
شمارهٔ پیراهن:  ۱۴
باشگاه‌های جوانان: باشگاه‌های جوانان
:  باشگاه فوتبال الاتحاد
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۸–۲۰۱۳ |  باشگاه فوتبال الاتحاد |  ۲۱ |  (۱) |
| ۲۰۱۳ |  باشگاه فوتبال نجران عربستان سعودی |  ۶ |  (۰) |
| ۲۰۱۳–۲۰۱۴ |  باشگاه فوتبال الفیصلی عربستان سعودی |  ۱۱ |  (۰) |
| ۲۰۱۴–۲۰۱۵ |  Al-Orobah |  ۱۱ |  (۰) |
| ۲۰۱۵–۲۰۱۶ |  باشگاه فوتبال هجر عربستان سعودی |  ۴ |  (۰) |
| ۲۰۱۶– |  Al-Orobah |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
علی الزبیدی (عربی: علي الزبيدي؛ زادهٔ ۱۷ دسامبر ۱۹۸۶) یک ورزشکار اهل عربستان سعودی است.
فرودگاه ایواتو

فرودگاه ایواتو (به انگلیسی: Ivato Airport) (به زبان بومی: Antananarivo-Ivato Airport) یک فرودگاه همگانی و نظامی با کد یاتا TNR است که یک باند فرود آسفالت دارد و طول باند آن ۳۱۰۰ متر است. این فرودگاه در شهر آنتاناناریوو پایتخت کشور ماداگاسکار قرار دارد و در ارتفاع ۱۲۸۰ متری از سطح دریا واقع شده‌است.
شرکت‌های هواپیمایی و مقصدهای پروازی

| شرکت‌های هواپیمایی | مقصدهای پروازی |
| --- | --- |
ایر استرال :  رولاند گرو 
ایر فرانس :  شارل دوگل پاریس 
ایرلینک :  اولیور تامبو 
ایر ماداگاسکار :  اوانی، Antalaha، آراچارت، دزااودزی پاماندزی، بایون گوآنگجو، اولیور تامبو، امبوروی، مارسی پروانس، سر سیوساگور رامگولام، Morondava، شاهزاده سعید ابراهیم، فسن، شارل دوگل پاریس، رولاند گرو، سینت ماریه، Sambava، توئامازینا، تولنارو، Toliara 
 ایر موریشوس :  سر سیوساگور رامگولام 
 ایر سیشل :  سیشل 
 Comores Aviation :  اوانی، شاهزاده سعید ابراهیم 
کورس‌ایر اینترنشنال :  اورلی، رولاند گرو 
 هواپیمایی اتیوپی :  بوول 
 Ewa Air :  دزااودزی پاماندزی 
 Int'Air Îles :  دزااودزی پاماندزی، شاهزاده سعید ابراهیم 
کنیا ایرویز :  جومو کنیاتا 
 لوت پولیش ایرلاینز :  چارتر فصلی: شوپن ورشو 
 ترکیش ایرلاینز :  آتاترک 
^ Turkish Airlines to and from Istanbul makes a stop over in موریس. However, Turkish Airlines has no traffic rights between Antananarivo and Mauritius.
عوده

| عوده | عوده |
| --- | --- |
روستا: روستا
مختصات: ۳۱°۱۶′۵۲″ شمالی ۴۹°۷′۵۲″ شرقی﻿ / ﻿۳۱٫۲۸۱۱۱°شمالی ۴۹٫۱۳۱۱۱°شرقی﻿ / 31.28111; 49.13111: مختصات: ۳۱°۱۶′۵۲″ شمالی ۴۹°۷′۵۲″ شرقی﻿ / ﻿۳۱٫۲۸۱۱۱°شمالی ۴۹٫۱۳۱۱۱°شرقی﻿ / 31.28111; 49.13111
کشور: ایران
استان: خوزستان
شهرستان: اهواز
بخش: بخش مرکزی
دهستان: غیزانیه
جمعیت: ۸۳۵ نفر (سرشماری ۹۵)
عوده، روستایی از توابع بخش مرکزی شهرستان اهواز در استان خوزستان ایران است.
جمعیت

این روستا در دهستان غیزانیه قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۹۵، جمعیت آن ۸۳۵ نفر (۲۵۳خانوار) بوده‌است.
ایجی باندو

ایجی باندو (انگلیسی: Eiji Bandō؛ زادهٔ ۵ آوریل ۱۹۴۰) یک بازیکن بیس‌بال، بازیگر اهل ژاپن است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به گردن اشاره کرد.
مینا الحمانی

| مینا الحمانی | مینا الحمانی |
| --- | --- |
زادهٔ: ۲۹ نوامبر ۱۹۹۳ ‏(۳۰ سال) مادرید، اسپانیا
ملیت: اسپانیایی
پیشه: بازیگر
سال‌های فعالیت: ۲۰۱۴–اکنون
مینا الحمانی (عربی: مينا الحماني؛ زادهٔ ۲۹ نوامبر ۱۹۹۳) بازیگر اهل اسپانیا است. وی از سال ۲۰۱۴ میلادی تاکنون مشغول فعالیت بوده‌است و به خاطر نقشش در مجموعۀ تلویزیونی الیت و مدرسه شبانه‌روزی: کومبرس شناخته شده‌است.همچنین او به عنوان نقش نادیا یک دختر فلسطینی ساکن اسپانیا در سریال نخبه محصول نت‌فلیکس به ایفای نقش پرداخته است
زندگی‌نامه

او در مادرید متولد شده و اصالتی مراکشی دارد
اروین سالادینو

اروین سالادینو (انگلیسی: Irving Saladino؛ زادهٔ ۲۳ ژانویهٔ ۱۹۸۳) ورزشکار دو و میدانی پرش طول اهل پاناما است.
اریک هنشل

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
زادروز:  ۴ اکتبر ۱۹۹۶ ‏(۲۷ سال)
زادگاه:  هیلدس‌هایم
قد:  1.85 m
پست:  مدافع
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  TSV Havelse
شمارهٔ پیراهن:  ۲
باشگاه‌های جوانان: باشگاه‌های جوانان
۰۰۰۰–۲۰۱۲:  باشگاه فوتبال هانوفر ۹۶
۲۰۱۲–۲۰۱۵:  باشگاه فوتبال آینتراخت برانشوایگ
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۵–۲۰۱۸ |  Eintracht Braunschweig II |  ۸۰ |  (۱) |
| ۲۰۱۸–۲۰۲۰ |  باشگاه فوتبال هالشر |  ۱ |  (۰) |
| ۲۰۲۰ |  HSC Hannover |  ۹ |  (۰) |
| ۲۰۲۱– |  TSV Havelse |  ۰ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۹ ژوئن ۲۰۲۱. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۹ ژوئن ۲۰۲۱. 
اریک هنشل (انگلیسی: Erik Henschel؛ زادهٔ ۴ اکتبر ۱۹۹۶) بازیکن فوتبال اهل آلمان است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال آینتراخت برانشوایگ اشاره کرد.
ایان برنان (بازیکن فوتبال)

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
زادروز:  ۲۵ مارس ۱۹۵۳ ‏(۷۱ سال)
زادگاه:  ایزینگتون، کاونتی دورهام
قد:  ۵ فوت ۱۱ اینچ (۱٫۸۰ متر)
پست:  Defender
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۷۳–۱۹۸۰ |  باشگاه فوتبال برنلی |  ۱۷۵ |  (۱۱) |
| ۱۹۸۰–۱۹۸۲ |  باشگاه فوتبال بولتون واندررز |  ۱۷ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
ایان برنان (انگلیسی: Ian Brennan؛ زادهٔ ۲۵ مارس ۱۹۵۳) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال بولتون واندررز و باشگاه فوتبال برنلی اشاره کرد.
درآلوئیه

| درآلوئیه درآلو رابر | درآلوئیه درآلو رابر |
| --- | --- |
روستا: روستا
مختصات: ۲۹°۲۴′۷″ شمالی ۵۷°۷′۱۷″ شرقی﻿ / ﻿۲۹٫۴۰۱۹۴°شمالی ۵۷٫۱۲۱۳۹°شرقی﻿ / 29.40194; 57.12139: مختصات: ۲۹°۲۴′۷″ شمالی ۵۷°۷′۱۷″ شرقی﻿ / ﻿۲۹٫۴۰۱۹۴°شمالی ۵۷٫۱۲۱۳۹°شرقی﻿ / 29.40194; 57.12139
کشور: ایران
استان: کرمان
شهرستان: رابر
بخش: بخش هنزا شهرستان رابر
دهستان: سرمشک
جمعیت: 
درآلوئیه، روستایی از توابع بخش هنزا شهرستان رابر در استان کرمان ایران است.
جمعیت

این روستا در دهستان سرمشک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.