stanford-oval/wikipedia huggingface dataset:
سنگ‌چین حجره‌ای

مقطع عرضی میزهو
سنگ‌چین حجره‌ای (انگلیسی: Chambered cairn) یادمانی تدفینی است که عموماً در دوران نوسنگی ساخته می‌شد و شامل اتاقکی (معمولاً سنگی) بود که با سنگ‌چینی محصور می‌شد. بعضی سنگ‌چین‌های حجره‌ای گور معبری هم هستند. این سنگ‌چین‌ها در سراسر بریتانیا و ایرلند، به ویژه در اسکاتلند یافت می‌شوند. سنگ‌چین حجره‌ای معمولاً از گور صندوقی بزرگ‌تر است.
موتور عباس قنبرزهی

| موتور عباس قنبرزهی | موتور عباس قنبرزهی |
| --- | --- |
روستا: روستا
مختصات: : مختصات: 
کشور: ایران
استان: سیستان و بلوچستان
شهرستان: زاهدان
بخش: نصرت‌آباد
دهستان: دومک
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
موتور عباس قنبرزهی یا حاجی غلام روستایی در دهستان دومک بخش نصرت‌آباد شهرستان زاهدان استان سیستان و بلوچستان ایران است.
جمعیت

بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این روستا کمتر از ۳ خانوار بوده‌است.
| جمعیت تاریخی> سال | جمعیت تاریخی> جمعیت | جمعیت تاریخی> ±% |
| --- | --- | --- |
| ۱۳۸۵ | ۲۹ | —     |
| ۱۳۹۰ | * | —     |
| ۱۳۹۵ | * | —     |
مگر من چه کار کرده‌ام که مستحق این باشم؟

| 0 | 1 |
| --- | --- |
توسعه‌دهنده(ها): اکوایر
ناشر(ها): 
سکو(ها): پلی‌استیشن همراه
تاریخ(های) انتشار: 
ژانر(ها): استراتژی هم‌زمان
حالت(ها): تک‌نفره
رسانه: 1 یوام‌دی، توزیع دیجیتال
هجوم مقدس به تنهایی، آدم بد!مگر من چکار کرده‌ام که مستحق این باشم؟
(Yuusha no Kuse Ni Namaikida, 勇者のくせになまいきだ) یک بازی استراتژی هم‌زمان برای پلی‌استیشن همراه است.
این بازی توسط مجله دنیای بازی به عنوان هشتمین بازی بدنام(نام نادرست) انتخاب شد.
ریسونگ (چین)

| ریسونگ (چین) 日松乡 | ریسونگ (چین) 日松乡 |
| --- | --- |
دهستان‌های جمهوری خلق چین: دهستان‌های جمهوری خلق چین
ریسونگ (چین): ریسونگ (چین)
RisongLocation in Tibet: RisongLocation in Tibet
مختصات: ۳۳°۱۱′۳۷″ شمالی ۷۹°۴۹′۲۲″ شرقی﻿ / ﻿۳۳٫۱۹۳۶۱°شمالی ۷۹٫۸۲۲۷۸°شرقی﻿ / 33.19361; 79.82278: مختصات: ۳۳°۱۱′۳۷″ شمالی ۷۹°۴۹′۲۲″ شرقی﻿ / ﻿۳۳٫۱۹۳۶۱°شمالی ۷۹٫۸۲۲۷۸°شرقی﻿ / 33.19361; 79.82278
کشور: People's Republic of China
مناطق خودمختار چین: منطقه خودمختار تبت
ولایت‌های چین: Ngari
شهرستان‌های جمهوری خلق چین: شهرستان روتوگ
ارتفاع: ۴٬۳۳۵ متر (۱۴۲۲۲ فوت)
منطقهٔ زمانی: یوتی‌سی +۸ (زمان چین)
ریسونگ (به لاتین: Risong Township) یک دهستان‌های جمهوری خلق چین در چین است که در شهرستان روتوگ واقع شده‌است.
 ریسونگ   ۴٬۳۳۵ متر بالاتر از سطح دریا واقع شده‌است.
موزه هنر های

| 0 | 1 |
| --- | --- |
موقعیت در Atlanta Midtown: موقعیت در Atlanta Midtown
بنیان‌گذاری: 1905
مکان: 1280 Peachtree Street NE آتلانتا
مختصات: ۳۳°۴۷′۲۶″شمالی ۸۴°۲۳′۰۷″غربی﻿ / ﻿۳۳٫۷۹۰۵۱°شمالی ۸۴٫۳۸۵۱۷°غربی﻿ / 33.79051; -84.38517
گونه: موزه هنری
مدیر: رندال سوفالک (۲۰۱۵-)
دسترسی به ترابری همگانی: Arts Center station
وبگاه: www.high.org
موزه هنر های (انگلیسی: High Museum of Art) (در محاوره دِ‌های)، که در آتلانتا قرار دارد، موزه‌ای برجسته در جنوب‌شرقی ایالات متحده آمریکا است. موزه‌های بخشی از مرکز هنری وودراف است. در سال ۲۰۱۰ ۵۰۹٬۰۰۰ بازدیدکننده داشت و در رتبه ۵۹ بازدید از موزه‌های هنری قرار گرفت.
پدیا (اندیمشک)

| پدیا (روستا) | پدیا (روستا) |
| --- | --- |
روستا: روستا
پدیا (روستا): پدیا (روستا)
مختصات: ۳۲°۵۵′۰۰″ شمالی ۴۸°۲۱′۰۰″ شرقی﻿ / ﻿۳۲٫۹۱۶۶۷°شمالی ۴۸٫۳۵۰۰۰°شرقی﻿ / 32.91667; 48.35000: مختصات: ۳۲°۵۵′۰۰″ شمالی ۴۸°۲۱′۰۰″ شرقی﻿ / ﻿۳۲٫۹۱۶۶۷°شمالی ۴۸٫۳۵۰۰۰°شرقی﻿ / 32.91667; 48.35000
کشور:  ایران
استان: استان خوزستان
شهرستان: شهرستان اندیمشک
بخش: بخش الوار گرمسیری
دهستان: دهستان قیلاب
جمعیت (۲۰۰۶): جمعیت (۲۰۰۶)
 • کل: ۷۸
منطقهٔ زمانی: یوتی‌سی +۳:۳۰ (ساعت رسمی ایران)
 • تابستانی (DST): یوتی‌سی +۴:۳۰ (ساعت رسمی ایران)
پدیا یک روستا در ایران است که در دهستان قیلاب واقع شده‌است. پدیا ۷۸ نفر جمعیت دارد.
موش‌های سرباریک

| موش‌های سرباریک محدودهٔ زمانی: Recent | موش‌های سرباریک محدودهٔ زمانی: Recent |
| --- | --- |
پرونده:Stenocephalemys albipessss.jpg: پرونده:Stenocephalemys albipessss.jpg
موش‌های سرباریک، Stenocephalemys: موش‌های سرباریک، Stenocephalemys
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
زیرشاخه:: مهره‌داران
فروشاخه:: آرواره‌داران
بالارده:: چهاراندامان
رده:: پستانداران
راسته:: جوندگان
زیرراسته:: موش‌شکلان
بالاخانواده:: موش‌واران
تیره:: موشان
موش‌های سرباریک (نام علمی: Stenocephalemys) نام یک سرده از زیرخانواده نیاموشان است.
گونه‌ها

موش پاسفید اتیوپی (Stenocephalemys albipes)
موش سرباریک اتیوپی (Stenocephalemys albocaudata)
موش سرباریک دم‌خاکستری (Stenocephalemys griseicauda)
موش روپ (Stenocephalemys ruppi)
سنجدو

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

بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۵۷ نفر (۱۹ خانوار) بوده است.
لیسی اسپرینگ، آلاباما

| لیسی اسپرینگ، آلاباما | لیسی اسپرینگ، آلاباما |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
لیسی اسپرینگ، آلاباماLocation in Alabama.: لیسی اسپرینگ، آلاباماLocation in Alabama.
مختصات: ۳۴°۳۲′۰۳″ شمالی ۸۶°۳۶′۱۵″ غربی﻿ / ﻿۳۴٫۵۳۴۱۷°شمالی ۸۶٫۶۰۴۱۷°غربی﻿ / 34.53417; -86.60417: مختصات: ۳۴°۳۲′۰۳″ شمالی ۸۶°۳۶′۱۵″ غربی﻿ / ﻿۳۴٫۵۳۴۱۷°شمالی ۸۶٫۶۰۴۱۷°غربی﻿ / 34.53417; -86.60417
کشور: ایالات متحده آمریکا
ایالت آمریکا: آلاباما
شهرستان: شهرستان مورگان، آلاباما
ارتفاع: ۷۰۹ فوت (۲۱۶ متر)
منطقهٔ زمانی: یوتی‌سی -۶ (منطقه زمانی مرکزی)
 • تابستانی (DST): یوتی‌سی -۵ (CDT)
زیپ‌کد: ۳۵۷۵۴
کد منطقه: 256
شماره GNIS: ۱۵۱۹۷۳
لیسی اسپرینگ (به انگلیسی: Lacey's Spring) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در آلاباما واقع شده‌است. لیسی اسپرینگ ۲۱۶ متر بالاتر از سطح دریا واقع شده‌است.
پایگاه نیروی هوایی لیتل راک

| پایگاه نیروی هوایی لیتل راک | پایگاه نیروی هوایی لیتل راک |
| --- | --- |
یاتا: ندارد ایکائو: ندارد: یاتا: ندارد ایکائو: ندارد
خلاصه: خلاصه
مکان:  ایالات متحده آمریکا
بکار رفته در: ۱۹۵۵-تاکنون
مختصات: ۳۴°۵۵′۰۱″ شمالی ۰۹۲°۰۸′۴۷″ غربی﻿ / ﻿۳۴٫۹۱۶۹۴°شمالی ۹۲٫۱۴۶۳۹°غربی﻿ / 34.91694; -92.14639﻿ (Little Rock AFB)
پایگاه نیروی هوایی لیتل راک (به انگلیسی: Little Rock Air Force Base) یک فرودگاه است . این فرودگاه در کشور ایالات متحده آمریکا قرار دارد .
پرادا

با پراودا اشتباه نشود.
| 0 | 1 |
| --- | --- |
نوع: خصوصی
ISIN: IT0003874101 
بنا نهاده: ۱۹۱۳
دفتر مرکزی: میلان
افراد کلیدی: میوچا پرادا
محصولات: پوشاک, لوازم آرایشی, محصولات فشن, جواهر, عطر, مشروب, تلفن همراه, ساعت مچی, شراب
درآمد: ۳٫۵۹ میلیارد (۲۰۱۳)
پرادا (به ایتالیایی: Prada) برند تخصصی مُد ایتالیایی برای کالاهای لوکس مردانه و زنانه است. پرادا تولیدکننده عینک، چرم، کفش، چمدان و کیف دستی می‌باشد  که به وسیله ماریو پرادا و برادرش در سال ۱۹۱۳ میلادی تأسیس شده‌است. دفتر مرکزی پرادا در میلان ایتالیا می‌باشد .
دفتر مرکزی پرادا هم‌اکنون در یکی از پایتخت‌های مد جهان، شهر میلان قرار دارد. این برند بیش از ۲۵۰ فروشگاه در سرتاسر جهان دارد. و میوچیا پرادا (Miuccia Prada) در پست ریاست شرکت فعالیت می‌کند.
یک بوتیک پرادا در میلان ایتالیا
یک فروشگاه پرادا در رم ایتالیا
بوتیک‌های پرادا

پرادا در شهرهای زیر نمایندگی دارد.
آمریکای شمالی
آتلانتا
نیویورک
لوس آنجلس
شیکاگو
سان فرانسیسکو
سن دیه گو
لاس وگاس
و ...
اروپا
میلان
رم
فلورانس
ونیز
پاریس
مسکو
وین
مونیخ
آمستردام
هارلم
مادرید
استانبول
و ...
آسیا و اقیانوسیه
توکیو
قطر
سئول
هنگ کنگ
سیدنی
ملبورن
گوشی موبایل ال جی با مارک پرادا
سکه‌شناسی

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

معمولاً این کار به سختی انجام می‌شود.
سکه‌شناس در کار خود مراحل زیر را در پیش رو دارد:
سکه‌یابی: روش یافتن سکه‌ها معمولاً روشی باستان‌شناسی‌است. به این ترتیب که در کاوش‌های باستان‌شناسی، گاه تعدادی سکه یا ابزارهای پولی نیز به دست می‌آید. همچنین امکان دارد به هنگام مرمت یا تخریب آثار باستانی یا کاوش‌های غیررسمی، سکه‌هایی به دست آید. این سکه‌ها، عموماً به موزه یا مراکز تحقیقاتی برده می‌شود. سکه‌شناس خود به تنهایی به حفاری نمی‌پردازد، بلکه از نتیجه کار حفار بهره می‌گیرد.
تطهیر سکه: سکه‌ها قدیمی برای مدتی دراز در زیرزمین یا در صندوق‌ها، در فضاهایی کثیف باقی‌مانده‌اند؛ بنابراین این سکه‌ها می‌بایست تطهیر و پاک‌سازی بشوند. این تطهیر با ابزاری انجام می‌پذیرد که به سکه آسیبی وارد نگردد.
تشخیص سکه: در این زمان، سکه‌شناس کار تخصصی خود را آغاز می‌کند و با بهره‌گیری از دانش‌هایی چون باستان‌شناسی و زبان‌شناسی، سکه‌ها را از دیدگاه تاریخی و جغرافیایی شناسایی می‌کند. او از فهرست سکه‌های شناسایی شده و دیگر تحقیقات دیگران استفاده می‌کند.
طبقه‌بندی سکه: سکه‌های شناسایی‌شده بر اساس دیدگاه‌های تاریخی، جغرافیایی و دودمانی طبقه‌بندی می‌گردند. در ثبت مشخصات سکه اطلاعاتی چون دوره ضرب سکه، حاکم ضرب‌کننده، جنس، وزن، مشخصات ویژه، قطر دایره سکه، زمان ضرب سکه، مکان ضرب سکه، متن رو و پشت سکه جمع‌آوری می‌گردد.
انتشار: نتایج کار سکه‌شناس پس از طبقه‌بندی به صورت فهرست منتشر می‌گردد تا تاریخ‌شناسان و محققان و دیگر سکه‌شناسان از آن بهره ببرند.
برازجان (سرچهان)

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

بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۲۱۵ نفر (۶۱ خانوار) بوده است.
منطق پویا (منطق وجهی)

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

منطق وجهی با عمگرهای وجهی شناخته می‌شود:  \Box p (جعبه  p) ادعا می‌کند که  p الزاماً صحیح است، و  \Diamond p (لوزی  p) ادعا می‌کند که  p احتمالاً صحیح است. منطق پویا این دو را با ارتباط هر عمل(به انگلیسی: action) که نماد  {\displaystyle a\,\!} دارد به عملگرهای وجهی  [a] و  \langle a\rangle  گسترش داده‌است، در نتیجه منطق پویا یک منطق چند-وجهی است. معنی  [a]p آن است که «بعد از انجام عمل  {\displaystyle a\,\!} لازم است که  p برقرار باشد»، یعنی  {\displaystyle a\,\!} «باید سبب وقوع»  p شود. معنی  \langle a\rangle p آن است که «بعد انجام عمل  {\displaystyle a\,\!}، ممکن است که  p برقرار باشد» یعنی « {\displaystyle a\,\!} می‌تواند سبب وقوع  p شود». این عملگرها توسط این رابطه باهم مرتبط اند:  {\displaystyle [a]p\equiv \neg \langle a\rangle \neg p\,\!} و  \langle a\rangle p\equiv \neg [a]\neg p\,\!. این رابطه مشابه رابطه بین سورهای عمومی ( {\displaystyle \forall \,\!}) و سور وجودی ( \exists \,\!) است.
منطق پویا این امکان را فراهم می‌کند که «عمل‌های ترکیبی» را از عمل‌های کوچکتر بسازیم. درحالیکه می‌توان از عملگرهای کنترلی اصلی هر زبان برنامه‌نویسی برای این هدف می‌توان استفاده کرد، عبارت باقاعده ی کلینی (Kleene) یک انطباق مناسب به منطق وجهی می‌باشند.
اگر عمل‌های  {\displaystyle a\,\!} و  {\displaystyle b\,\!} به ما داده شوند:
عمل ترکیبی  {\displaystyle a\cup b\,\!}، یا انتخاب، که توسط  a+b\,\! یا  a|b\,\! نیز نوشته می‌شوند، توسط اجرای یکی از  {\displaystyle a\,\!} یا  {\displaystyle b\,\!} اجرا می‌گردند.
عمل ترکیبی  {\displaystyle a{\mathbin {;}}b\,\!}، یا ترتیب، توسط اجرای اول  {\displaystyle a\,\!} و سپس  {\displaystyle b\,\!} اجرا می‌گردد.
عمل ترکیبی  {\displaystyle a{*}\,\!}، یا تکرار، توسط اجرای  {\displaystyle a\,\!} صفر یا بیشتر بار اجرا می‌گردد.
عمل ثابت  {\displaystyle 0\,\!} یا  BLOCK هیچ کاری انجام نمی‌دهد و تمام هم نمی‌شود.
عمل ثابت  1\,\! یا SKIP یا NOP، که توسط  {\displaystyle 0{*}\,\!} قابل تعریف است، کاری انجام نمی‌دهد، ولی خاتمه یافته‌است.
اصول موضوعی

این عملگرها در منطق پویا به این صورت اصل موضوعی‌بندی می‌گردند. اگر یک اصل‌بندی مناسب برای منطق وجهی به ما داده شده باشد، که شامل این اصول برای عملگرهای وجهی مثل اصل ذکر شده در بالا  [a]p\equiv \neg \langle a\rangle \neg p\,\! و دو قاعدهٔ استنتاج وضع مقدم ( {\displaystyle \vdash p} و  {\displaystyle \vdash p\to q} دلالت دارد بر  {\displaystyle \vdash q\,}) و ضرورت داشتن ( \vdash p دلالت دارد بر  {\displaystyle \vdash [a]p\,}) است، آنوقت:
A1.  [0]p\,\!
A2.  [1]p\equiv p\,\!
A3.  [a\cup b]p\equiv [a]p\land [b]p\,\!
A4.  [a{\mathbin {;}}b]p\equiv [a][b]p\,\!
A5.  [a*]p\equiv p\land [a][a*]p\,\!
A6.  p\land [a*](p\to [a]p)\to [a*]p\,\!
اصل A1 این قول خالی را می‌دهد که موقعی که BLOCK تمام می‌شود،  p برقرار است، حتی اگر  p گزارهٔ false باشد. از این رو BLOCK وجود عمل «ابدیت قابل دست یافتن نیست» را انتزاعی می‌کند.
اصل A2 می‌گوید که NOP به صورت تابع همانی روی گزاره‌ها عمل می‌کند، یعنی این عملگر  p را به خودش تبدیل می‌کند.
اصل A3 می‌گوید اگر انجام یکی از  {\displaystyle a\,\!} یا  {\displaystyle b\,\!} باید سبب وقوع  p شود، آنوقت  {\displaystyle a\,\!} باید سبب وقوع  p شود و به صورت مشابه برای  {\displaystyle b\,\!} و بالعکس.
اصل A4 می‌گوید اگر انجام  {\displaystyle a\,\!} و سپس انجام  {\displaystyle b\,\!} باید سبب وقوع  p شود، آنوقت  {\displaystyle a\,\!} باید سبب وقوع وضعیتی شود که در آن  {\displaystyle b\,\!} باید سبب وقوع  p شود.
A5 یک نتیجه آشکار از اعمال A2، A3 و A4 به معادله  {\displaystyle a{*}=1\cup a{\mathbin {;}}a{*}\,\!} از جبر کلینی است.
A6 ادعا می‌کند که اگر  p هم‌اکنون برقرار باشد، و مهم نباشد که ما چند بار  {\displaystyle a\,\!} را انجام داده‌ایم، آنوقت صحت  p بعد از آن اجرا مستلزم صحت آن، بعد از یک اجرای اضافی  {\displaystyle a\,\!} است، در این صورت  p باید صحیح بماند بدون توجه به اینکه ما چند بار  {\displaystyle a\,\!} را اجرا کرده‌ایم. A6 به عنوان استقرای ریاضی شناخته می‌شود، که در آن عمل n := n+1 از افزایش n، توسط عمل اختیاری  {\displaystyle a\,\!} تعمیم یافته‌است.
لیتل بولینگتون

منطقه مسکونی در انگلستان
| لیتل بولینگتون | لیتل بولینگتون |
| --- | --- |
 مسافرخانه روستای لیتل بولینگتون:  مسافرخانه روستای لیتل بولینگتون
لیتل بولینگتونلیتل بولینگتون نمایش داده شده در  the بریتانیا: لیتل بولینگتونلیتل بولینگتون نمایش داده شده در  the بریتانیا
جمعیت: ۱۶۲ 
مرجع شبکه OS: SJ728867 
محله مدنی: لیتل بولینگتون
مناطق انگلستان: چشر شرقی
شهرستان تشریفاتی: چشر
کشور: انگلستان
کشور مستقل: بریتانیا
پست شهر: آلترینکهام
کدپستی منطقه: WA14
کد تلفن: ۰۱۶۱
مجلس انگلستان: تاتون
 فهرست مکان‌‌ها بریتانیا انگلستان  ۵۳°۲۲′۳۴″شمالی ۲°۲۴′۳۲″غربی﻿ / ﻿۵۳٫۳۷۶°شمالی ۲٫۴۰۹°غربی﻿ / 53.376; -2.409:  فهرست مکان‌‌ها بریتانیا انگلستان  ۵۳°۲۲′۳۴″شمالی ۲°۲۴′۳۲″غربی﻿ / ﻿۵۳٫۳۷۶°شمالی ۲٫۴۰۹°غربی﻿ / 53.376; -2.409
لیتل بولینگتون (به انگلیسی: Little Bollington) یک محله مدنی و روستا در بریتانیا است که در چشر شرقی واقع شده‌است. لیتل بولینگتون ۱۶۲ نفر جمعیت دارد.
ریچی لویتیس

ریچی لویتیس (انگلیسی: Ricci Luyties؛ زادهٔ ۱۴ مهٔ ۱۹۶۲) بازیکن والیبال اهل ایالات متحده آمریکا بود.
لیخنس

| لیخنس | لیخنس |
| --- | --- |
لیخنس، Lychnis: لیخنس، Lychnis
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: گیاهان
راسته:: میخک‌سانان
تیره:: میخکیان
سرده:: Lychnis
لیخنس(نام علمی: Lychnis) نام یک سرده از تیره میخکیان است.
پایگاه نیروی هوایی مک‌دیل

| پایگاه نیروی هوایی مک‌دیل | پایگاه نیروی هوایی مک‌دیل |
| --- | --- |
یاتا: ندارد ایکائو: ندارد: یاتا: ندارد ایکائو: ندارد
خلاصه: خلاصه
نوع فرودگاه: پایگاه نیروی هوایی
شهر بکار رفته: تمپا، فلوریدا
مکان:  ایالات متحده آمریکا
بکار رفته در: ۱۹۴۱-تاکنون
مختصات: ۲۷°۵۰′۵۸″ شمالی ۰۸۲°۳۱′۱۶″ غربی﻿ / ﻿۲۷٫۸۴۹۴۴°شمالی ۸۲٫۵۲۱۱۱°غربی﻿ / 27.84944; -82.52111﻿ (MacDill AFB)
پایگاه نیروی هوایی مک‌دیل (به انگلیسی: MacDill Air Force Base) یک فرودگاه پایگاه نیروی هوایی است . این فرودگاه در شهر تمپا، فلوریدا کشور ایالات متحده آمریکا قرار دارد .
پراتوریوم

پراتوریوم (praetorium) در اصل اشاره به چادر یک ژنرال در داخل یک کاستروم (اردوگاه) رومی دارد، و از عنوان پرایتور که یک کلانتر (روم) را مشخص می‌کرد، گرفته شده بود.
پرتابه ضدزره با کفشک جدا شونده

پرتابه ضدزره با کفشک جدا شونده سوئدی ۳۷ میلی‌متری برای اسلحه ضد تانک بوفورز (Bofors) از سال ۱۹۴۹.
جسم سمت چپ پرتابه را با کفشک، جسم وسط پرتابه را بدون کفشک و جسم سمت راست، هسته تنگستن پرتابه را نشان می‌دهد.
پرتابه ضدزره با کفشک جدا شونده (انگلیسی: Armour-piercing discarding sabot) (به اختصار APDS) نوعی پرتابه انرژی جنبشی تثبیت شده با چرخش برای جنگ‌افزار ضدزره است. هر پرتابه از یک گلوله زیر کالیبر مجهز به یک کفشک تشکیل شده‌است. ترکیبی از یک پرتابه با کالیبر سبک‌تر با یک بارِ پیشرانه کالیبر کامل، که امکان افزایش سرعت دهانه را در مقایسه با گلوله‌های کالیبر کامل فراهم می‌کند و عملکرد نفوذ در زره را افزایش می‌دهد. گلوله‌های ضدزره با کفشک جدا شونده برای افزایش بیشتر قابلیت‌های نفوذ در زره، معمولاً دارای یک هستهٔ سخت ساخته شده از تنگستن یا مواد سخت و متراکم دیگر هستند.
ساختار

پرتابه ضدزره با کفشک جدا شونده با هسته تنگستن برای یک توپ ضدتانک ۷۶٫۲ میلی‌متری
شکل پرتابه ضدزره با کفشک جدا شونده
نموداری که عملکرد یک کفشک «دوکی شکل» جداشونده را روی یک پرتابه ضد زره یا کفشک جدا شونده (APDS) را نشان می‌دهد.
یک پرتابه مدرن نفوذگر میله بلند (LRP) ضد زره با باله تثبیت کننده و کفشک جدا شونده (APFSDS) در حال جداشدن از کفشک دابل-رمپ.
مکندگان

| مکندگان محدودهٔ زمانی: Middle Eocene تا امروزه  PreЄ Є O S D C P T J K Pg N      | مکندگان محدودهٔ زمانی: Middle Eocene تا امروزه  PreЄ Є O S D C P T J K Pg N      |
| --- | --- |
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: پرتوبالگان
راسته:: کپورماهی‌شکلان
زیرراسته:: Cobitoidea
تیره:: مکندگان  Cope, 1871
سرده: سرده
 متن را ببینید.:  متن را ببینید.
مَکَندگان (Catostomidae) خانواده‌ای از ماهیان از راسته کپورماهی‌شکلان هستند. ۸۰ گونه ماهی آب شیرین در این خانواده وجود دارد. مکندگان در آمریکای شمالی، شرق مرکزی چین، و شرق سیبری زندگی می‌کنند. این ماهیان گوشت خوش‌خوراکی ندارند و کمتر شکار می‌شوند. در برخی مناطق از مکندگان به عنوان هدف شکار از طریق ماهی‌گیری با نیزه استفاده می‌شود.
سود-اوبانگی

| سود-اوبانگی | سود-اوبانگی |
| --- | --- |
استان‌های جمهوری دموکراتیک کنگو: استان‌های جمهوری دموکراتیک کنگو
سود-اوبانگی: سود-اوبانگی
Zongo on the Ubangi river (اوت ۱۹۸۵): Zongo on the Ubangi river (اوت ۱۹۸۵)
مختصات: ۳°۱۵′ شمالی ۱۹°۴۶′ شرقی﻿ / ﻿۳٫۲۵۰°شمالی ۱۹٫۷۶۷°شرقی﻿ / 3.250; 19.767: مختصات: ۳°۱۵′ شمالی ۱۹°۴۶′ شرقی﻿ / ﻿۳٫۲۵۰°شمالی ۱۹٫۷۶۷°شرقی﻿ / 3.250; 19.767
کشور:  جمهوری دموکراتیک کنگو
تأسیس‌شده: ۲۰۱۵ (۲۰۱۵)
همنام: رود اوبانگی
پایتخت: جیمنا
حکومت: حکومت
 • Governor: Jean Claude Mabenze
مساحت: مساحت
 • کل: ۵۱۶۴۸ کیلومتر مربع (۱۹۹۴۱ مایل مربع)
جمعیت (2005 est.): جمعیت (2005 est.)
 • کل: ۲۷۴۴۳۴۵
 • تراکم: ۵۳/کیلومتر مربع (۱۴۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (West Africa Time)
Official language: زبان فرانسوی، زبان لینگالایی
سود-اوبانگی (به لاتین: Sud-Ubangi) یک منطقهٔ مسکونی در جمهوری دموکراتیک کنگو است که در Équateur واقع شده‌است. سود-اوبانگی ۵۱٬۶۴۸ کیلومتر مربع مساحت و ۲٬۷۴۴٬۳۴۵ نفر جمعیت دارد.
موسوریکاتی

| موسوریکاتی | موسوریکاتی |
| --- | --- |
موسوریکاتیLocation in Bangladesh: موسوریکاتیLocation in Bangladesh
مختصات: ۲۲°۱۳′ شمالی ۹۰°۲۳′ شرقی﻿ / ﻿۲۲٫۲۱۷°شمالی ۹۰٫۳۸۳°شرقی﻿ / 22.217; 90.383: مختصات: ۲۲°۱۳′ شمالی ۹۰°۲۳′ شرقی﻿ / ﻿۲۲٫۲۱۷°شمالی ۹۰٫۳۸۳°شرقی﻿ / 22.217; 90.383
کشور:  بنگلادش
استان‌های بنگلادش: استان باریسال
فهرست ناحیه‌های بنگلادش: ناحیه برگونه
منطقهٔ زمانی: یوتی‌سی +۶ (زمان استاندارد بنگلادش)
موسوریکاتی (به لاتین: Musurikati) یک منطقهٔ مسکونی در بنگلادش است که در ناحیه برگونه واقع شده‌است.
ریسه

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

این نوع از ریسه، بعد از تشکیل میخ رخنه و نفوذ به بافت ریشه توسط قارچ، تولید می‌شوند. معمولاً دارای رشد محدودی هستند که پس از تشکیل به صورت بین سلولی و درون‌سلولی در داخل بافت
ریشه رشد می‌کنند.
ریسه‌های برون‌ریشه‌ای

این نوع از ریسه‌ها از نظر ریخت‌شناسی و عملکرد متنوع هستند و شامل ریسه‌های کلنیزه‌کننده، جذب‌کننده مواد غذایی و تولیدکننده هاگ هستند. یکی از عملکردهای اساسی آنها کلنیزه نمودن سایر بخش‌های یک ریشه، ریشه‌های گیاهان یک گونه و گیاهان گونه‌های دیگر در خاک است.
لیندا کیساباکا

| لیندا کیساباکا | لیندا کیساباکا |
| --- | --- |
زادهٔ: ۹ آوریل ۱۹۶۹ ووپرتال
ملیت: آلمان
لیندا کیساباکا (آلمانی: Linda Kisabaka؛ زادهٔ ۹ آوریل ۱۹۶۹) دونده نیمه‌استقامت زن اهل آلمان بود.
زانکت آگستین

| Sankt Augustin | Sankt Augustin |
| --- | --- |
  نشان:   نشان
کشور: آلمان
ایالت: نوردراین-وستفالن
منطقه اداری: Köln
ناحیه: Rhein-Sieg-Kreis
تقسیمات: ۸
حکومت: حکومت
 • شهردار: Klaus Schumacher (CDU)
مساحت: مساحت
 • کل: ۳۴٫۲۲ کیلومتر مربع (۱۳٫۲۱ مایل مربع)
ارتفاع: ۶۵ متر (۲۱۳ فوت)
جمعیت (۲۰۰۶-۱۲-۳۱): جمعیت (۲۰۰۶-۱۲-۳۱)
 • کل: ۵۶۲۱۶
 • تراکم: ۱۶۰۰/کیلومتر مربع (۴۳۰۰/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: ۵۳۷۵۷
کدهای شماره‌گیری: ۰۲۲۴۱
پلاک خودرو: SU
وبگاه: www.sankt-augustin.de
شهر زانکت آگستین (به آلمانی: Sankt Augustin) در ایالت نوردراین-وستفالن در کشور آلمان واقع شده‌است.
برج مطبوعاتی منطقه ویژه شنژن

| برج مطبوعاتی منطقه ویژه شنژن | برج مطبوعاتی منطقه ویژه شنژن |
| --- | --- |
fa (in English: Expected satiety): fa
اطلاعات کلی: اطلاعات کلی
گونه: اداری
موقعیت: فوتیان، شنژن، گوانگ‌دونگ، چین
مختصات: ۲۲°۳۲′۳۷″شمالی ۱۱۴°۰۲′۲۵″شرقی﻿ / ﻿۲۲٫۵۴۳۵°شمالی ۱۱۴٫۰۴۰۴°شرقی﻿ / 22.5435; 114.0404
پایان: ۱۹۹۸
بلندی: بلندی
معماری: ۸۵۳ فوت (۲۶۰ متر)
جزئیات فنی: جزئیات فنی
شمار طبقات: ۴۷ طبقه
منابع: منابع
برج مطبوعاتی منطقه ویژه شنژن (انگلیسی: Shenzhen Special Zone Press Tower) ساختمان اداری ۴۷ طبقه مستقر در شهر فوتیان، شنژن، گوانگ‌دونگ، چین است، که در سال ۱۹۹۸ احداث گردید.
پایگاه نیروی هوایی ماکسول

| پایگاه نیروی هوایی ماکسول | پایگاه نیروی هوایی ماکسول |
| --- | --- |
یاتا: ندارد ایکائو: ندارد: یاتا: ندارد ایکائو: ندارد
خلاصه: خلاصه
شهر بکار رفته: مونتگمری
مکان:  ایالات متحده آمریکا
بکار رفته در: ۱۹۱۰-تاکنون
مختصات: ۳۲°۲۲′۴۵″ شمالی ۰۸۶°۲۱′۴۵″ غربی﻿ / ﻿۳۲٫۳۷۹۱۷°شمالی ۸۶٫۳۶۲۵۰°غربی﻿ / 32.37917; -86.36250﻿ (Maxwell AFB)
پایگاه نیروی هوایی ماکسول (به انگلیسی: Maxwell Air Force Base) یک فرودگاه است . این فرودگاه در شهر مونتگمری کشور ایالات متحده آمریکا قرار دارد .
مونه‌تادا هوساکا

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  مونه‌تادا هوساکا
زادروز:  ۱۲ مهٔ ۱۹۷۳ ‏(۵۱ سال)
زادگاه:  استان آکیتا، ژاپن
پست:  مهاجم
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۹۲–۱۹۹۴ |  باشگاه فوتبال جف یونایتد چیبا |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
مونه‌تادا هوساکا (ژاپنی: 保坂 宗匡؛ زادهٔ ۱۲ مهٔ ۱۹۷۳) یک بازیکن فوتبال اهل ژاپن است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال جف یونایتد چیبا اشاره کرد.
سوسماران راستین

| سوسماران راستین محدودهٔ زمانی: الیگوسن–تاکنون ۲۴ تا ۰ میلیون سال پیش  PreЄ Є O S D C P T J K Pg N      | سوسماران راستین محدودهٔ زمانی: الیگوسن–تاکنون ۲۴ تا ۰ میلیون سال پیش  PreЄ Є O S D C P T J K Pg N      |
| --- | --- |
لاسرتا، Lacertidae: لاسرتا، Lacertidae
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
بالاشاخه:: دوم‌دهانیان
شاخه:: طنابداران
زیرشاخه:: مهره‌داران
فروشاخه:: آرواره‌داران
بالارده:: چهاراندامان
رده:: خزندگان
بالاراسته:: پولک‌خزندگان
راسته:: پولک‌داران
سوسماران راستین (به لاتین: Lacertidae) نام یک تیره از راسته پولک‌داران است. این خانواده دربرگیرندۀ گروههایی از سوسماران مانند سوسمار (Lizard)، لاسرتا (Lacerta) و ارمیاس (Recerunner) است.