Extended Open Multilingual Wordnet 1.3

Results for « 述語論理 » (jpn)

述語論理

predicate calculus, functional calculus

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）

Update Language Selection
Select All/None

Language Selection

Afar	Afrikaans	Akan	Albanian	Albanian
Amharic	Old English (ca. 450-1100)	Arabic	Egyptian Arabic	Assamese
Asturian	Azerbaijani	Bambara	Belarusian	Bengali
Tibetan	Bosnian	Breton	Bulgarian	Bulgarian
Catalan	Czech	Cherokee	Chinese (simplified)	Cornish
Welsh	Danish	German	Dzongkha	Greek
English	Esperanto	Estonian	Basque	Ewe
Faroese	Farsi	Finnish	French	Western Frisian
Fulah	Friulian	Scottish Gaelic	Irish	Galician
Manx	Ancient Greek (to 1453)	Gujarati	Haitian	Hausa
Serbo-Croatian	Hebrew	Hindi	Croatian	Croatian
Hungarian	Armenian	Igbo	Ido	Sichuan Yi
Interlingua	Indonesian	Icelandic	Italian	Jere
Japanese	Kalaallisut	Kannada	Georgian	Kazakh
Central Khmer	Kikuyu	Kinyarwanda	Kirghiz	Korean
Kurdish	Lao	Latin	Latvian	Lingala
Lithuanian	Latgalian	Luxembourgish	Luba-Katanga	Ganda
Malayalam	Marathi	Macedonian	Malagasy	Maltese
Mongolian	Maori	Burmese	Min Nan Chinese	Navajo
South Ndebele	North Ndebele	Nepali (macrolanguage)	Dutch	Nynorsk
Bokmål	Occitan (post 1500)	Oriya (macrolanguage)	Oromo	Panjabi
Polish	Polish	Portuguese	Pushto	Chinese (traditional)
Romansh	Romanian	Rundi	Macedo-Romanian	Russian
Sango	Sanskrit	Sicilian	Sinhala	Slovak
Slovene	Slovene	Northern Sami	Shona	Somali
Southern Sotho	Spanish	Sardinian	Serbian	Swati
Swahili (macrolanguage)	Swedish	Tamil	Tatar	Telugu
Tajik	Tagalog	Thai	Tigrinya	Tonga (Tonga Islands)
Tswana	Tsonga	Turkmen	Turkish	Ukrainian
Urdu	Uzbek	Venda	Vietnamese	Volapük
Xhosa	Yiddish	Yoruba	Yue Chinese	Malaysian
Zulu

Update Language Selection

(0.00165 seconds)

More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>