menu
Tatoeba
 language
Прагляд expand_more
Show random sentence
Прагляд па мовах
Прагляд спісаў
Прагляд па цэтліках
Прагляд аўдыёзапісаў
Community expand_more
Сцяна
List of all members
Languages of members
Native speakers
Рэгістрацыя Уваход
language Беларуская
menu
Tatoeba

chevron_right Рэгістрацыя

chevron_right Уваход

Прагляд

chevron_right Show random sentence

chevron_right Прагляд па мовах

chevron_right Прагляд спісаў

chevron_right Прагляд па цэтліках

chevron_right Прагляд аўдыёзапісаў

Community

chevron_right Сцяна

chevron_right List of all members

chevron_right Languages of members

chevron_right Native speakers

search
ДапамогаAdvanced search
clear
swap_horiz
search
keyboard_arrow_left папярэдні выпадковы наступны keyboard_arrow_right
Мова для папярэдняга, наступнага ці выпадковага сказу
arrow_forward

Сказ №477359

info_outline Metadata
warning
Your sentence was not added because the following already exists.
unfold_more Show unreviewed transcriptions unfold_less Hide unreviewed transcriptions
Sentence #{{vm.sentence.id}} — belongs to {{vm.sentence.user.username}} Сказ #{{vm.sentence.id}}
{{vm.sentence.furigana.info_message}} {{vm.sentence.text}}
star This sentence belongs to a native speaker.
warning This sentence is not reliable.
content_copy Copy sentence info Go to sentence page
subdirectory_arrow_right
warning
{{transcription.info_message}}
Translations
Unlink this translation link Make into direct translation chevron_right
{{translation.furigana.info_message}} {{translation.text}} Existing sentence #{{::translation.id}} has been added as a translation.
edit Edit this translation
warning This sentence is not reliable.
content_copy Copy sentence info Go to sentence page
subdirectory_arrow_right
warning
{{transcription.info_message}}
Translations of translations
Unlink this translation link Make into direct translation chevron_right
{{translation.furigana.info_message}} {{translation.text}} Existing sentence #{{::translation.id}} has been added as a translation.
edit Edit this translation
warning This sentence is not reliable.
content_copy Copy sentence info Go to sentence page
subdirectory_arrow_right
warning
{{transcription.info_message}}
{{vm.expandableIcon}} {{vm.sentence.expandLabel}} Fewer translations

Каментарыі

 nancy nancy 13 верасня 2013 г. 13 верасня 2013 г. у 03:39:04 UTC flag Report link Permalink

is this a sentence?

Pfirsichbaeumchen Pfirsichbaeumchen 13 верасня 2013 г. 13 верасня 2013 г. у 03:44:59 UTC flag Report link Permalink

At least it makes sense: There exists Y such that for all X the following holds true: Y loves X. That’s how mathematicians think. ☺

nancy nancy 13 верасня 2013 г. 13 верасня 2013 г. у 03:54:12 UTC flag Report link Permalink

Yeah ^-^
With all that parentheses and question marks I din't realize it.

Pfirsichbaeumchen Pfirsichbaeumchen 13 верасня 2013 г. 13 верасня 2013 г. у 03:59:31 UTC flag Report link Permalink

It seems the question mark is used before variables, and ‘loves’ seems to be interpreted as a relation, cf. [#2054005]. ☺

nancy nancy 13 верасня 2013 г. 13 верасня 2013 г. у 04:10:43 UTC flag Report link Permalink

Thank you, Pfirsichbaeumchen.
I think I got it now. ☺

hayastan hayastan 27 лютага 2014 г. 27 лютага 2014 г. у 01:34:10 UTC flag Report link Permalink

Flag?

kblakes kblakes 27 лютага 2014 г. 27 лютага 2014 г. у 15:25:31 UTC flag Report link Permalink

The flag shown is for the language CycL, which is the logic language in which the Cyc Artificial Intelligence's knowledge base is represented.

Metadata

close

Цэтлікі

Паглядзець усе цэтлікі

Lists

Sentence text

License: CC BY 2.0 FR

Журналы

This sentence is original and was not derived from translation.

(thereExists ?Y (forAll ?X (loves ?Y ?X)))

added by kblakes, 24 жніўня 2010 г.
➜ #477360Somebody loves everyone.

linked by kblakes, 24 жніўня 2010 г.
➜ #1104098У кожної людини є хтось, хто її кохає.

linked by JeNNeR, 14 верасня 2011 г.
➜ #1243583Ĉiun amas iu.

linked by al_ex_an_der, 17 лістапада 2011 г.
➜ #1243585Ĉiun iu amas.

linked by al_ex_an_der, 17 лістапада 2011 г.
➜ #4218041Joku rakastaa kaikkia.

linked by Thanuir, 2 верасня 2019 г.
➜ #8158900On olemassa joku, joka rakastaa kaikkia.

linked by Thanuir, 2 верасня 2019 г.
➜ #8258623On olemassa jokin, joka rakastaa kaikkia.

linked by Thanuir, 16 кастрычніка 2019 г.
➜ #8258624Jokin rakastaa kaikkia.

linked by Thanuir, 16 кастрычніка 2019 г.
➜ #8308139Jokin rakastaa jokaista.

linked by Thanuir, 7 лістапада 2019 г.
➜ #8308141On olemassa jokin, joka rakastaa jokaista.

linked by Thanuir, 7 лістапада 2019 г.
➜ #8308143On olemassa joku, joka rakastaa jokaista.

linked by Thanuir, 7 лістапада 2019 г.
➜ #8308144Joku rakastaa jokaista.

linked by Thanuir, 7 лістапада 2019 г.