stanford-oval/wikipedia huggingface dataset:
اوبرد

| اوبرد | اوبرد |
| --- | --- |
کمون: کمون
A view of Aubord: A view of Aubord
  نشان:   نشان
اوبردنمایش نقشه فرانسهاوبردنمایش نقشه اکسیتنی: اوبردنمایش نقشه فرانسهاوبردنمایش نقشه اکسیتنی
مختصات: ۴۳°۴۵′۲۸″شمالی ۴°۱۸′۴۷″شرقی﻿ / ﻿۴۳٫۷۵۷۸°شمالی ۴٫۳۱۳۱°شرقی﻿ / 43.7578; 4.3131: مختصات: ۴۳°۴۵′۲۸″شمالی ۴°۱۸′۴۷″شرقی﻿ / ﻿۴۳٫۷۵۷۸°شمالی ۴٫۳۱۳۱°شرقی﻿ / 43.7578; 4.3131
کشور: فرانسه
ناحیه: اکسیتنی
دپارتمان: گار
بخش: Nîmes
کانتون: Vauvert
کمون: CC Petite Camargue
حکومت: حکومت
 • شهردار(۲۰۲۰–۲۰۲۶) : André Brundu
مساحت۱: ۹٫۴۲ کیلومتر مربع (۳٫۶۴ مایل مربع)
جمعیت (ژانویه ۲۰۱۸)۲: ۲٬۳۶۷
 • تراکم: ۲۵۰/کیلومتر مربع (۶۵۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان اروپای مرکزی)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد آماری/کد پستی: ۳۰۰۲۰ /۳۰۶۲۰
ارتفاع: ۱۷–۶۴ متر (۵۶–۲۱۰ فوت)  (avg. ۱۴ متر یا ۴۶ فوت)
۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲: ۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲
اوبرد (به فرانسوی: Aubord) یک کمون در فرانسه است که در گار واقع شده‌است. اوبرد ۹٫۴۲ کیلومتر مربع مساحت دارد ۱۴ متر بالاتر از سطح دریا واقع شده‌است.
مطله، اریحا

| مطله، اریحا المطلة | مطله، اریحا المطلة |
| --- | --- |
روستا: روستا
کشور:  سوریه
استان: استان ادلب
منطقه: منطقه اریحا
ناحیه: ناحیه محمبل
جمعیت (۲۰۰۴): جمعیت (۲۰۰۴)
 • کل: ۴۷۸
منطقهٔ زمانی: یوتی‌سی +۲ (زمان اروپای شرقی)
 • تابستانی (DST): یوتی‌سی +۳ (ساعت تابستانی اروپای شرقی)
City Qrya Pcode: C4317
مطله (به عربی: المطلة) یک روستا در سوریه است که در ناحیه محمبل واقع شده‌است. مطله ۴۷۸ نفر جمعیت دارد.
ریچارد برادفورد (هنرپیشه)

| ریچارد برادفورد | ریچارد برادفورد |
| --- | --- |
زادهٔ: ۱۰ نوامبر ۱۹۳۴
درگذشت: درگذشته ۲۲ مارس ۲۰۱۶
ریچارد برادفورد (انگلیسی: Richard Bradford؛ زادهٔ ۱۰ نوامبر ۱۹۳۴ درگذشته ۲۲ مارس ۲۰۱۶) هنرپیشه اهل ایالات متحده آمریکا است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به تسخیرناپذیران، شهر گمشده، گمشده، امور داخلی، مردی از مزرعه‌های بهشتی، فقط بلیط، گردن کلفت، میانگین فصل و آب بندهای میسوری اشاره کرد.
منتیش (شهرستان قوچقار)

| منتیش Мантыш | منتیش Мантыш |
| --- | --- |
منتیش: منتیش
مختصات: ۴۲°۱۲′۷″ شمالی ۷۵°۱۴′۴۱″ شرقی﻿ / ﻿۴۲٫۲۰۱۹۴°شمالی ۷۵٫۲۴۴۷۲°شرقی﻿ / 42.20194; 75.24472: مختصات: ۴۲°۱۲′۷″ شمالی ۷۵°۱۴′۴۱″ شرقی﻿ / ﻿۴۲٫۲۰۱۹۴°شمالی ۷۵٫۲۴۴۷۲°شرقی﻿ / 42.20194; 75.24472
کشور: قرقیزستان
منطقه: منطقه نارین
منطقه: شهرستان قوچقار
ارتفاع: ۲۲۱۵ متر (۷۲۶۷ فوت)
جمعیت (۲۰۰۹): جمعیت (۲۰۰۹)
 • کل: ۶۲۲
منطقهٔ زمانی: UTC +5
منتیش (به قرقیزی: Мантыш، مانتىش) یک منطقهٔ مسکونی در قرقیزستان است که در شهرستان قوچقار واقع شده‌است. منتیش ۶۲۲ نفر جمعیت دارد و ۲٬۲۱۵ متر بالاتر از سطح دریا واقع شده‌است.
وینود کسلا

| وینود کسلا | وینود کسلا |
| --- | --- |
زادهٔ: ۲۸ ژانویهٔ ۱۹۵۵ ‏(۶۹ سال) دهلی، هند
محل تحصیل: آی‌آی‌تی دهلی دانشگاه کارنگی ملون مدرسه عالی کسب و کار استنفورد
پیشه(ها): سرمایه‌گذار خطرپذیر، Khosla Ventures
همسر: نیرو کسلا
فرزندان: Nina, Anu, Vani and Neal
وینود کسلا (گرمکهی: ਵਿਨੋਦ ਖੋਸਲਾ) (زاده ۱۹۵۵) میلیاردر تاجر و سرمایه‌دار کارآفرین هندی-آمریکایی است. او یکی از بنیان‌گذاران سان مایکروسیستمز بود و در اوایل دهه ۱۹۸۰ اولین مدیر عامل ارشد و رئیس آن بود. در ۲۰۰۴ شرکت خود کسلا ونچرز را تشکیل داد که بر سرمایه‌گذاری ونچر در بخش‌های مختلف فناوری، مهمتر از همه بر فناوری پاک متمرکز است. در سال ۲۰۱۴، «فوربز» او را در زمره ۴۰۰ فرد ثروتمند ایالات متحده قرار داد. در سال ۲۰۲۰، او در فهرست ۴۰۰ فوربز شماره ۳۵۳ قرار گرفت.
اوبردورف ام هوخگ

| Oberdorf am Hochegg | Oberdorf am Hochegg |
| --- | --- |
Oberdorf am Hocheggموقعیت در اتریش: Oberdorf am Hocheggموقعیت در اتریش
مختصات: ۴۶°۵۹′۰۰″ شمالی ۱۵°۴۳′۰۰″ شرقی﻿ / ﻿۴۶٫۹۸۳۳۳°شمالی ۱۵٫۷۱۶۶۷°شرقی﻿ / 46.98333; 15.71667: مختصات: ۴۶°۵۹′۰۰″ شمالی ۱۵°۴۳′۰۰″ شرقی﻿ / ﻿۴۶٫۹۸۳۳۳°شمالی ۱۵٫۷۱۶۶۷°شرقی﻿ / 46.98333; 15.71667
کشور: اتریش
ایالت: اشتایرمارک
ناحیه: Südoststeiermark
حکومت: حکومت
 • شهردار: Richard Wurzinger (SPÖ)
مساحت: مساحت
 • کل: ۱۲٫۵۷ کیلومتر مربع (۴٫۸۵ مایل مربع)
ارتفاع: ۳۵۰ متر (۱۱۵۰ فوت)
جمعیت (۱۱ دی ۱۳۹۴): جمعیت (۱۱ دی ۱۳۹۴)
 • کل: ۷۲۵
 • تراکم: ۵۸/کیلومتر مربع (۱۵۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (CET)
 • تابستانی (DST): یوتی‌سی +۲ (CEST)
کدهای پستی: ۸۳۲۴
پیش‌شماره‌ها: +۴۳ ۳۱۱۵
پلاک خودرو: FB
وبگاه: www.oberdorf-hochegg.steiermark.at
اوبردورف ام هوخگ (به آلمانی: Oberdorf am Hochegg) یک منطقهٔ مسکونی در اتریش است که در زودوست‌اشتایرمارک واقع شده‌است. اوبردورف ام هوخگ ۱۲٫۵۷ کیلومتر مربع مساحت دارد ۳۵۰ متر بالاتر از سطح دریا واقع شده‌است.
زولتسهایم (راینلاند-فالتس)

| زولتسهایم (راینلاند-فالتس)  | زولتسهایم (راینلاند-فالتس)  |
| --- | --- |
  نشان:   نشان
کشور: آلمان
ایالت: راینلاند-فالتس
ناحیه: Alzey-Worms
انجمن شهرداری: Wörrstadt
حکومت: حکومت
 • شهردار: Gudrun Kayser
مساحت: مساحت
 • کل: ۶٫۰۷ کیلومتر مربع (۲٫۳۴ مایل مربع)
ارتفاع: ۱۴۹ متر (۴۸۹ فوت)
جمعیت (۲۰۰۶-۱۲-۳۱): جمعیت (۲۰۰۶-۱۲-۳۱)
 • کل: ۱۰۷۳
 • تراکم: ۱۸۰/کیلومتر مربع (۴۶۰/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: ۵۵۲۸۶
کدهای شماره‌گیری: ۰۶۷۳۲
پلاک خودرو: AZ
وبگاه: www.sulzheim-rhh.de
زولتسهایم (به آلمانی: Sulzheim) یک شهر در آلمان است که در آلزی-ورمز واقع شده‌است. زولتسهایم ۱٬۰۷۳ نفر جمعیت دارد.
قاضی نعمان

ابوحنیفه محمد بن نعمان مشهور به قاضی نعمان بنیانگذار فقه اسماعیلی است.
تولد

تاریخ تولدش دقیقاً مشخص نیست اما با توجه به قرائن حدود ۲۹۳ ه‍.ق متولد شده است.
خانواده

تبار قاضی نعمان اهل سنت بوده اند که بعدا به تشیع اسماعیلی گرویده اند.
علمای شیعی معاصر

وی با ابن بابویه و کلینی معاصر بوده است.
آثار

او آثار فراوانی دارد که بعضی از مهم‌ترین آنها عبارتند از:
دعائم الاسلام(که یک نسخه مدوّن فقه اسماعیلی به شمار می رود.)،
افتتاح الدعوة،
المجالس و المسایرات و المواقف و التوقیعات،
شرح الاخبار فی فضائل الائمة الاطهار،
تأویل الدعائم.
درگذشت

درگذشت قاضی نعمان در سال 363 ق بوده است.
دگوا

| دگوا Дегва | دگوا Дегва |
| --- | --- |
Selo: Selo
دگوانمایش نقشه داغستاندگوانمایش نقشه روسیه: دگوانمایش نقشه داغستاندگوانمایش نقشه روسیه
مختصات: ۴۲°۲۴′ شمالی ۴۷°۳۲′ شرقی﻿ / ﻿۴۲٫۴۰۰°شمالی ۴۷٫۵۳۳°شرقی﻿ / 42.400; 47.533: مختصات: ۴۲°۲۴′ شمالی ۴۷°۳۲′ شرقی﻿ / ﻿۴۲٫۴۰۰°شمالی ۴۷٫۵۳۳°شرقی﻿ / 42.400; 47.533
کشور: روسیه
ناحیه‌های فدرال روسیه: داغستان
شهر: شهرستان سرگوکالینسکی
منطقهٔ زمانی: یوتی‌سی +۳:۰۰
دگوا (به لاتین: Degva) یک منطقهٔ مسکونی در روسیه است که در داغستان واقع شده‌است.
مستکان (صومای شمالی)

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

این روستا در دهستان صومای شمالی قرار داشته و بر اساس سرشماری سال ۱۳۸۵ جمعیت آن ۵۷۵ نفر (۱۱۶ خانوار)
بوده‌است.
دونالد بی (کشتی یدک‌کش)

| 0 | 1 |
| --- | --- |
پیشینه: پیشینه
مالک: 
آغاز کار::  ۱۹۲۳
مشخصات اصلی: مشخصات اصلی
گنجایش::  ۵۱ GRT
وزن::  ۱۰۸ تن بزرگ (۱۱۰ تن)
درازا::  ۹۹ فوت (۳۰ متر)
پهنا::  ۱۸ فوت (۵٫۵ متر)
آبخور::  ۳۲ اینچ (۰٫۸ متر)
دونالد بی (کشتی یدک‌کش) (به انگلیسی: Donald B. (towboat)) یک کشتی است که طول آن ۹۹ فوت (۳۰ متر) می‌باشد.
زبان ادومی

| ادومی | ادومی |
| --- | --- |
منطقه: جنوب غرب اردن و جنوب اسرائیل.
دوره: نیمه نخست هزاره نخست پیش از میلاد
تبار: آفروآسیایی  سامیسامی مرکزیسامی شمال‌غربیکنعانیادومی
کدهای زبان: کدهای زبان
ایزو ۳–۶۳۹: xdm
فهرست لینگوییست: xdm
گلاتولوگ: edom1234
ادومی یک زبان کنعانی از شاخه سامی شمال‌غربی بود که در پادشاهی ادوم در جنوب غرب اردن و بخش‌هایی از اسرائیل در هزاره اول و دوم پیش از میلاد رایج بود. این زبان امروزه منقرض شده و اطلاعات اندکی از آن باقی‌است.
ویتکوویتسه (ناحیه سمیلی)

| ویتکوویتسه (ناحیه سمیلی) | ویتکوویتسه (ناحیه سمیلی) |
| --- | --- |
شهر و روستا: شهر و روستا
مختصات: ۵۰°۴۲′۲۲″شمالی ۱۵°۳۲′۰۶″شرقی﻿ / ﻿۵۰٫۷۰۶۱°شمالی ۱۵٫۵۳۵°شرقی﻿ / 50.7061; 15.535: مختصات: ۵۰°۴۲′۲۲″شمالی ۱۵°۳۲′۰۶″شرقی﻿ / ﻿۵۰٫۷۰۶۱°شمالی ۱۵٫۵۳۵°شرقی﻿ / 50.7061; 15.535
کشور:  جمهوری چک
منطقه: منطقه لیبرتس
ناحیه: Semily District
منطقهٔ زمانی: یوتی‌سی +۱ (CET)
 • تابستانی (DST): یوتی‌سی +۲ (CEST)
ویتکوویتسه (به چکی: Vítkovice) یک منطقهٔ مسکونی در جمهوری چک است که در ناحیه سمیلی واقع شده‌است.
امامزاده زید (تهران)

| امامزاده زید | امامزاده زید |
| --- | --- |
ایوان اصلی بنای امامزاده: ایوان اصلی بنای امامزاده
نام: امامزاده زید
کشور: ایران
استان: استان تهران
شهرستان: تهران
اطلاعات اثر: اطلاعات اثر
نوع بنا: امامزاده
کاربری: مذهبی
کاربری کنونی: زیارتگاه
دیرینگی: دوران‌های تاریخی پس از اسلام
دورهٔ ساخت اثر: دوران‌های تاریخی پس از اسلام
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۲۵۹
تاریخ ثبت ملی: ۳۰ خرداد ۱۳۱۵
اطلاعات بازدید: اطلاعات بازدید
امکان بازدید: دارد
با امامزاده زید (جنوب غرب تهران) اشتباه نشود.
امامزاده زید مربوط به دوران‌های تاریخی پس از اسلام است و در تهران، محله بازار ـ انتهای جنوبی بازار بزازان واقع شده‌است. این اثر در تاریخ ۳۰ خرداد ۱۳۱۵ با شمارهٔ ثبت ۲۵۹ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده‌است. آرامگاه لطفعلی خان زند در کنار این آرامگاه قرار دارد.
مدفونین در محوطه بارگاه

لطفعلی‌خان زند
همچنین سلطان حسن میرزا پسر سلطان محمد خدابنده و برادر شاه عباس کبیر و نوه شاه تهماسب توسط فرستاده عمویش (شاه اسماعیل دوم) بنام کوسه علیقلی در تاریخ ۲۱ جمادی الاول ۹۸۵ ه ق (۲۵ مرداد ۹۵۶ شمسی) با طناب خفه شد و جنازه او در امامزاده زید تهران دفن شد.
نگارخانه

صحن
آینه کاری
ضریح
اتاق آرامگاه لطفعلی خان
قبر لطفعلی خان
امامزاده زید ۱۳۸۰ بازار تهران
گنبد امامزاده زید
نمای داخلی گنبد
زمان خورشیدی

در سیاراتی مانند زمین که حرکتی پسرونده دارند، روز نجومی کوتاه‌تر از روز خورشیدی است. در زمان ۱، خورشید و ستارگان هر دو در بالای سر قرار می‌گیرند. در زمان ۲، سیاره ۳۶۰ درجه چرخیده و دوباره ستارگان در بالای سر قرار گرفته‌اند (از ۱ به ۲ = یک روز نجومی). اما تا مدت کمی بعد یعنی تا زمان ۳ خورشید دوباره در بالای سر قرار نمی‌گیرد (از ۱ به ۳ = یک روز خورشیدی). به زبان ساده‌تر از زمان ۱ تا زمان ۲ زمین یک دور کامل می‌چرخد. اما بخاطر زاویه مورد نیاز برای بازگشت به حالت ۱ از زمان ۱ تا زمان ۳ طول می‌کشد که دوباره به زمان ظهر بازگردیم.
زمان خورشیدی (به انگلیسی: Solar time) زمانی است که به وسیلهٔ حرکت ظاهری خورشید اندازه‌گیری می‌شود. یکای این اندازه‌گیری شبانه‌روز است که درحقیقت بر پایه تناوب حرکت وضعی زمین با توجه به خورشید و کهن‌ترین روش اندازه‌گیری برای بشر بوده‌است. زمان خورشیدی دوگونه ظاهری (حقیقی یا متغیر) و متوسط (میانگین یا استاندارد یا رسمی) است.
این زمان را به روش‌های گوناگونی می‌توان اندازه گرفت. برای نمونه موقعیت ظاهری خورشید در کره آسمان (کره‌ای فرضی است که با زمین هم‌مرکز است و شعاع بسیار زیادی دارد). زمان‌های محلی را نیز می‌توان با طول جغرافیایی بدست آورد.
زمان خورشیدی متوسط

زمانی است که بر اساس سرعت متوسط جابه‌جایی خورشید در آسمان سنجیده می‌شود، به‌طوری‌که به جای خورشید، جابه‌جایی خورشید متوسط در نظر گرفته می‌شود که سرعتی ثابت دارد و بر خلاف زمان خورشیدی ظاهری، نسبت به ساعت اتمی بین‌المللی ثابت می‌ماند.
زمان خورشیدی متوسط یا استاندارد، میانگینی را بر پایه کره آسمان از طول یک روز نشان می‌دهد که در همه فصل‌های سال ثابت است.
بدلیل شتاب جزر و مدی بین زمین و ماه این مقدار میانگین، در هر سده یک چهارم هزارم ثانیه افزایش می‌یابد. (ماه شتاب زمین را کندتر و زمین شتاب ماه را زیادتر می‌کند) اختلاف بین زمان خورشیدی ظاهری و زمان خورشیدی متوسط را معادله زمان می‌گویند.
قلعه مورد

| قلعه مورد | قلعه مورد |
| --- | --- |
روستا: روستا
قلعه موردموقعیت در ایراننمایش نقشه ایرانقلعه موردقلعه مورد (استان فارس)نمایش نقشه استان فارس: قلعه موردموقعیت در ایراننمایش نقشه ایرانقلعه موردقلعه مورد (استان فارس)نمایش نقشه استان فارس
مختصات: ۳۰°۲۶′ شمالی ۵۱°۲۳′ شرقی﻿ / ﻿۳۰٫۴۳۳°شمالی ۵۱٫۳۸۳°شرقی﻿ / 30.433; 51.383: مختصات: ۳۰°۲۶′ شمالی ۵۱°۲۳′ شرقی﻿ / ﻿۳۰٫۴۳۳°شمالی ۵۱٫۳۸۳°شرقی﻿ / 30.433; 51.383
کشور: ایران
استان: فارس
شهرستان: رستم
بخش: بخش سورنا
دهستان: قلعه مورد-پشتکوه رستم(جلیل )
بنیان‌گذاری: ساخت قلعه به زمان ساسانیان بر میگردد.
جمعیت: ۱۶۲ نفر (سرشماری ۹۵)
قلعه مورد، روستایی از توابع بخش سورنا شهرستان رستم در استان فارس ایران است.
جمعیت

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

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

منطق مرتبه‌اول (به انگلیسی: First-order logic) مجموعه‌ای از سیستم‌های صوری است که به آن منطق محمولات یا منطق گزاره‌ای (Predicate logic)، منطق سوری (به انگلیسی: quantificational logic)، یا حساب گزاره‌ای مرتبه اول (به انگلیسی: first-order predicate calculus) نیز گفته می‌شود و در ریاضیات، فلسفه، زبان‌شناسی، و علوم رایانه کاربرد دارد. در منطق مرتبه اول بر خلاف منطق گزاره‌ای می‌توان از متغیرهای سور داده شده روی اشیاء غیرمنطقی استفاده کرد؛ برای مثال می‌توان جمله‌ای مانند «یک x وجود دارد که x سقراط است و x انسان است» داشت که در آن «وجود دارد» سور و «x» متغیر است.
یک «نظریه» دربارهٔ یک موضوع معمولاً شامل یک «منطق مرتبه اول» همراه با یک «دامنه سخن» که روی آن متغیرهای سوری امکان تغییر دارند، تعداد محدودی «تابع» که دامنهٔ آن به خودش است، تعداد محدودی «گزاره» ی تعریف شده روی آن دامنه، و مجموعه‌ای از «اصول موضوعی» که در مورد آن اشیا برقرار است، می‌باشد.
صفت «مرتبه اول» منطق مرتبه اول را از «منطق‌های مرتبه بالاتر» مجزا می‌سازد که در آن گزاره‌هایی وجود دارد که «آرگومان‌هایی به صورت گزاره یا تابع» دارند، یا «سورهای گزاره‌ای» دارند یا اینکه در آن‌ها «سورهای تابعی» وجود دارد. در نظریه‌های مرتبه اول، گزاره‌ها معمولاً با مجموعه‌ها مرتبط‌اند. در حالی که در نظریه‌های سطح بالاتر، گزاره‌ها به صورت مجموعه ای از مجموعه‌ها تفسیر می‌شوند.
سیستم‌های استنتاجی مختلفی برای منطق مرتبه اول وجود دارد؛ که این سیستم‌ها هم استوارند (همهٔ جمله‌های قابل اثبات در همهٔ مدل‌ها صحیح اند) و هم کامل‌اند (همهٔ جمله‌های صحیح در همهٔ مدل‌ها قابل اثبات‌اند). تلاش زیادی روی اثبات قضیهٔ خودکار در منطق مرتبه اول انجام شده‌است. منطق مرتبه اول، نظریه‌های فرامنطقی زیادی را برآورده می‌کند، و این کار قابلیت تحلیل در نظریه برهان را برای آن فراهم می‌کند: مثل نظریهٔ لوونهایم-اسکولم و نظریه فشردگی.
فهرست کوه‌های استان سمنان (۱)

فهرست کوه‌های استان سمنان (۱)، فهرستی دارای نام‌ها و مختصات کوه‌های شهرستان‌های گرمسار، آرادان و سرخهٔ استان سمنان ایران است، که از پایگاه ملی نام‌های جغرافیایی ایران در خرداد ۱۳۹۷ دریافت شده‌اند.
همچنین ببینید: فهرست کوه‌های شهرستان‌های مهدی‌شهر، سمنان و دامغان و فهرست کوه‌های شهرستان‌های شاهرود و میامی
عکس

حبله‌رود و راه‌آهن شمال؛ میان ایستگاه‌های بن‌کوه و کبوتردره،  از کوهپایهٔ سیاوند ۷ آبان ۱۳۹۶
خط‌الرأس شمشیرکوه (پایین) ۶ آذر ۱۳۸۷
مریدا (ایالت)

| {{{name}}} State Estado Bolivarano de Mérida | {{{name}}} State Estado Bolivarano de Mérida |
| --- | --- |
ایالت: ایالت
  پرچمنشان:   پرچمنشان
سرود: [[{{{name}}} State Anthem]]: سرود: [[{{{name}}} State Anthem]]
موقعیت در داخل ونزوئلا: موقعیت در داخل ونزوئلا
کشور:  ونزوئلا
مرکز: مریدا (ونزوئلا)
حکومت: حکومت
 • فرماندار: Alexis Ramírez (2012&ndash;present) (PSUV)
مساحت: مساحت
 • کل: ۱۱٬۳۰۰ کیلومتر مربع (۴۴۰۰ مایل مربع)
 • رتبه: 15th
 : 1.23% از ونزوئلا
جمعیت (سرشماری ۲۰۱۱): جمعیت (سرشماری ۲۰۱۱)
 • کل: ۸۲۸٬۵۹۲
 • رتبه: 14th
 • تراکم: ۷۳/کیلومتر مربع (۱۹۰/مایل مربع)
 : 3,1% از ونزوئلا
منطقهٔ زمانی: یوتی‌سی ۴:۳۰-
کد ایزو ۳۱۶۶: ISO 3166-2:VE
Emblematic tree: Bucare ceibo (Erythrina poeppigiana)
وبگاه: www.merida.com.ve
ایالت مریدا (به اسپانیایی: Mérida)  یکی از ایالت‌های ۲۳گانهٔ ونزوئلا است که در بخش غربی این کشور واقع شده‌است.
مرکز این ایالت، شهر مریدا است.
خصوصیات

ایالت مریدا ۱۱٬۳۰۰ کیلومترمربع مساحت و ۸۲۸٬۵۹۲ نفر جمعیت دارد.
ویلی پارک را اداره می‌کند

| ویلی پارک را اداره می‌کند | ویلی پارک را اداره می‌کند |
| --- | --- |
کارگردان: هال روچ
تهیه‌کننده: هال روچ
بازیگران: هارولد لوید
موسیقی: موسیقی انتخابی از آثار پیوتر ایلیچ چایکوفسکی، گابریل فوره، یوهان سباستیان باخ و ریشارد واگنر
فیلم‌بردار: والتر لاندین
تاریخ‌های انتشار:  فوریه ۱۹۱۵ (۱۹۱۵-02)  
کشور: ایالات متحده آمریکا
زبان: صامت (با میان‌نویس انگلیسی)
ویلی پارک را اداره می‌کند (انگلیسی: Willie Runs the Park) یک فیلم کمدی صامت کوتاه به کارگردانی هال روچ است که در سال ۱۹۱۵ منتشر شد. از بازیگران این فیلم می‌توان به هارولد لوید، جین نواک و روی استوارت اشاره کرد.
دگه مشکی

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

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

| ویلی وانکا و کارخانه شکلات‌سازی | ویلی وانکا و کارخانه شکلات‌سازی |
| --- | --- |
کارگردان: مل استوارت
تهیه‌کننده: دیوید ال. ولپر
فیلمنامه‌نویس: رولد دال دیوید سلتزر
بر پایه: چارلی و کارخانه شکلات‌سازی اثر رولد دال
بازیگران: جین وایلدر جک آلبرتسون پیتر اوستروم جولی داون کول دنیس نیکرسن اد پک گونتر مسنر روی کینیر
موسیقی:  لسلی بریکوس  آنتونی نیولی 
فیلم‌بردار: آرتور ایبتسون
تدوین‌گر: دیوید ساکسون
شرکت تولید: دیوید ال. ولپر پیکچرز
توزیع‌کننده: پارامونت پیکچرز
تاریخ‌های انتشار:  ۳۰ ژوئن ۱۹۷۱ (۱۹۷۱-۰۶-۳۰) (آمریکا)  ۱۲ اوت ۱۹۷۱ (۱۹۷۱-۰۸-۱۲) (بریتانیا)  
مدت زمان: ۹۹ دقیقه
کشور:  آمریکا بریتانیا آلمان  
زبان: انگلیسی 
هزینهٔ فیلم: ۳ میلیون دلار
فروش گیشه:  ۴ میلیون دلار (۱۹۷۱)  ۲۱ میلیون دلار (پخش دوباره ۱۹۹۶) 
ویلی وانکا و کارخانه شکلات‌سازی (انگلیسی: Willy Wonka & the Chocolate Factory) فیلمی در ژانر فانتزی و موزیکال به کارگردانی مل استوارت است که در سال ۱۹۷۱ منتشر شد. از بازیگران آن می‌توان به جین وایلدر، جک آلبرتسون و روی کینیر اشاره کرد.
قلعه‌پایان

برای روستایی با این نام، قلعه‌پایان (گلوگاه) را ببینید.
| قلعه پایان | قلعه پایان |
| --- | --- |
نام: قلعه پایان
کشور: ایران
استان: استان مازندران
شهرستان: شهرستان گلوگاه
اطلاعات اثر: اطلاعات اثر
کاربری: قلعه
دیرینگی: دوره ساسانیان
دورهٔ ساخت اثر: دوره ساسانیان، دوران‌های تاریخی پس از اسلام
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۲۰۲۸۱
تاریخ ثبت ملی: ۲۷ آبان ۱۳۸۶
قلعه پایان مربوط به اواخر دوره ساسانیان - سده‌های اولیه دوران‌های تاریخی پس از اسلام است و در شهرستان گلوگاه، بخش کلباد، دهستان کلباد، جنوب روستای قلعه پایان واقع شده و این اثر در تاریخ ۲۷ آبان ۱۳۸۶ با شمارهٔ ثبت ۲۰۲۸۱ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
مسئله فانارگ

مسئله فانارگ (به انگلیسی: Funarg Problem)
کلمه فانارگ (به انگلیسی: Funarg) کوتاه شده عبارت Functional Argument می‌باشد. در علوم کامپیوتر مسئلهٔ فانارگ به پیچیدگی نحوهٔ پیاده‌سازی توابع کلاس اول توسط زبان‌های برنامه‌سازی اشاره دارد. در واقع در این توابع از یک حافظهٔ پشته ای برای پیاده‌سازی توابع استفاده می‌شود.
در واقع پیچیدگی مسئلهٔ فانارگ زمانی رخ می‌دهد که بدنهٔ یک تابع تودرتو به صورت مستقیم به شناسه‌های توابع تعریفی اشاره کند. برای برطرف کردن این پیچیدگی توسط زبان‌های برنامه‌نویسی دو راهکار وجود دارد که عبارتند از: حذف این نوع ارجاع و استفاده از تابع‌هایی تحت عنوان بستار (به انگلیسی: Closure).
دو گونهٔ مختلف از مسئلهٔ فانارگ عبارتند از: مسئلهٔ فانارگ رو به بالا (به انگلیسی: Upward Funarg) و مسئلهٔ فانارگ رو به پایین (به انگلیسی: Downward Funarg).
مسئلهٔ فانارگ رو به بالا

مسئلهٔ فانارگ رو به بالا زمانی اتفاق می‌افتد که از تابع فراخوانی شده به تابع اصلی بازگردیم. به عبارت دیگر زمانی که تابع فراخوانی شده در خروجی، یک تابع دیگر را بازگرداند این مسئلهٔ رخ می‌دهد. در حالت عادی زمانی که یک تابع فراخوانی می‌شود، پارامترها و متغیرهای محلی تابع فراخوانی شده در داده ساختاری پشته‌ای که به آن چارچوب پشته ای (Stack Frame) نیز گفته می‌شود، ذخیره می‌گردد. علاوه بر این باید آدرس محلی تابع فراخوانی کننده نیز در قسمتی از پشته ذخیره شود تا بعد از اتمام تابع فراخوانی شده، تابع فراخوانی کننده بتواند اجرای خود را ادامه بدهد. در این حالت مسئلهٔ فانارگ رو به بالا زمانی رخ می‌دهد که تابع فراخوانی شده تابعی را به عنوان آرگمان خروجی خود بازگرداند. در نتیجه نباید داده‌های تابع فراخوانی شده از پشته برداشته شوند، زیرا ممکن است در ادامه توسط تابع بازگردانده شده مورد استفاده قرار بگیرند.
مسئلهٔ فانارگ رو به بالا > راه حل‌های مسئلهٔ فانارگ رو به بالا

راه حل اول: استفاده از داده ساختار هرم(به انگلیسی: Heap) به جای پشته
در صورت استفاده از داده ساختار هرمی می‌توان از امکانات زباله روبی (Garbage Collection) و مرجع شماری (Reference Counting) بهره برد. با این کار هر زمان که داده‌های داخل پشته مورد استفاده قرار نگیرند توسط این امکانات حذف می‌شوند. از معایب این روش این می‌باشد که با توجه به سرعت پایینتر هرم، کارایی برنامه با نرخ بسیار زیادی کاهش می‌یابد.
راه حل دوم: کامپایلر ترکیبی (Hybrid)
راه حل دوم استفاده از کامپایلرهای ترکیبی می‌باشد که می‌توانند از بین پشته و هرم بهترین داده ساختار را برای ذخیره داده‌های تابع انتخاب نمایند.
راه حل سوم: انتقال متغیرها به داخل بستار
راه حل دیگری که می‌توان از آن استفاده کرد انتقال دادن متغیرها به داخل تابع بستار در زمان تعریف آن می‌باشد. بهترین کارایی این روش زمانی است که بدانیم متغیرهای تابع همواره مقداری ثابت را دارند. زیرا با این روش نمی‌توان مقدار یک متغیر را بین توابع به اشتراک گذاشت. برخی از زبان‌های برنامه‌نویسی مانند PHP این امکان را می‌دهند که برنامه‌نویس به صورت مستقیم متغیرهای بستار را با توابعی مانند()use تعیین کند.
مسئلهٔ فانارگ رو به پایین

مسئلهٔ فانارگ رو به پایین زمانی رخ می‌دهد که یک تابع به عنوان آرگمان ورودی به تابعی دیگر داده شود در نتیجه تابع انتقال داده شده دراین عمل در لحظه اجرا نمی‌شود. باتوجه به اینکه وجود فانارگ رو به پایین در تابع ایجاد کننده آن قابل تشخیص است، همچنان می‌توان از داده ساختار پشته برای پیاده‌سازی آن استفاده کرد. وجود مسئلهٔ فانارگ رو به پایین دلالت دارد بر وجود داده ساختار درختی ای از توابع بستار و چارچوب‌های پشته‌ای که مورد استفاده واقع شده‌اند.
کاربردهای عملی

با بررسی زبان‌های برنامه‌نویسی مختلف می‌توان فهمید که همواره پیاده‌سازی فانارگ رو به بالا دشوارتر از فانارگ رو به پایین بوده‌است. در ادامه به بررسی برخی از زبان‌های برنامه‌نویسی در این زمینه می‌پردازیم:
زبان برنامه‌نویسی  پاسکال: در زبان پاسکال این امکان وجود دارد که یک تابع به عنوان آرگمان ورودی به تابع دیگر داده شود اما امکان بازگرداندن تابع توسط تابع دیگر وجود ندارد. این یعنی برای پیاده‌سازی زبان پاسکال نیاز به برطرف کردن فانارگ رو به بالا وجود ندارد و تنها باید فانارگ رو به پایین پیاده شود.
زبان برنامه‌نویسی اوبرون: در این زبان برنامه‌نویسی هر دو امکان ارجاع تابع و بازگرداندن تابع وجود دارد اما این توابع نمی‌توانند توابعی تودرتو باشند.
زبان برنامه‌نویسی  سی: در زبان برنامه‌نویسی سی از رخداد مسئلهٔ فانارگ به کلی جلوگیری شده‌است. کمپانی اپل یک ساختار نحوی‌ای برای زبان سی ارائه کرده‌است که از طریق انتقال خودکار بستار از داده‌ساختار پشته‌ای به هرمی، بتواند مسئلهٔ فانارگ رو به بالا را پشتیبانی کند.
زبان برنامه‌نویسی  جاوا:در زبان برنامه‌نویسی جاوا با استفاده از کلیدواژه Final در Inner Class این مفهوم پشتیبانی شده‌است.
زبان‌های برنامه‌نویسی سی‌شارپ و  دی: در این زبان‌های برنامه‌نویسی از لامبدا(Lambda) برای پیاده‌سازی بستارها استفاده می‌کنند.
زولرتین

| زولرتین | زولرتین |
| --- | --- |
نام‌گذاری آیوپاک1-Phenyl-4-[2-(tetrazol-5-yl)ethyl]piperazine: نام‌گذاری آیوپاک1-Phenyl-4-[2-(tetrazol-5-yl)ethyl]piperazine
شناساگرها: شناساگرها
شماره ثبت سی‌ای‌اس: ۴۰۰۴-۹۴-۸ Y
پاب‌کم: ۲۳۶۶۹
کم‌اسپایدر: ۲۲۱۳۱
UNII: EMD433OT6A Y
جی‌مول-تصاویر سه بعدی: Image 1
 SMILES C1CN(CCN1CCC2=NNN=N2)C3=CC=CC=C3 :  SMILES C1CN(CCN1CCC2=NNN=N2)C3=CC=CC=C3 
 InChI InChI=1S/C13H18N6/c1-2-4-12(5-3-1)19-10-8-18(9-11-19)7-6-13-14-16-17-15-13/h1-5H,6-11H2,(H,۱۴٬۱۵٬۱۶٬۱۷) Key: XTTHMUYLNLEJRS-UHFFFAOYSA-NInChI=1/C13H18N6/c1-2-4-12(5-3-1)19-10-8-18(9-11-19)7-6-13-14-16-17-15-13/h1-5H,6-11H2,(H,۱۴٬۱۵٬۱۶٬۱۷) Key: XTTHMUYLNLEJRS-UHFFFAOYAE :  InChI InChI=1S/C13H18N6/c1-2-4-12(5-3-1)19-10-8-18(9-11-19)7-6-13-14-16-17-15-13/h1-5H,6-11H2,(H,۱۴٬۱۵٬۱۶٬۱۷) Key: XTTHMUYLNLEJRS-UHFFFAOYSA-NInChI=1/C13H18N6/c1-2-4-12(5-3-1)19-10-8-18(9-11-19)7-6-13-14-16-17-15-13/h1-5H,6-11H2,(H,۱۴٬۱۵٬۱۶٬۱۷) Key: XTTHMUYLNLEJRS-UHFFFAOYAE 
خصوصیات: خصوصیات
فرمول مولکولی: C13H18N۶
جرم مولی: ۲۵۸٫۳۲ g mol−1
به استثنای جایی که اشاره شده‌است در غیر این صورت، داده‌ها برای مواد به وضعیت استانداردشان داده شده‌اند (در 25 °C (۷۷ °F)، ۱۰۰ kPa): به استثنای جایی که اشاره شده‌است در غیر این صورت، داده‌ها برای مواد به وضعیت استانداردشان داده شده‌اند (در 25 °C (۷۷ °F)، ۱۰۰ kPa)
Infobox references: Infobox references
:   
زولرتین (انگلیسی: Zolertine) یک آنتاگونیست گیرنده آدرنرژیک آلفا-۱ است.