menu
Tatoeba
 language
Browse expand_more
Show random sentence
Browse by language
Browse by list
Browse by tag
Browse audio
Community expand_more
Wall
List of all members
Languages of members
Native speakers
Register Log in
language English
menu
Tatoeba

chevron_right Register

chevron_right Log in

Browse

chevron_right Show random sentence

chevron_right Browse by language

chevron_right Browse by list

chevron_right Browse by tag

chevron_right Browse audio

Community

chevron_right Wall

chevron_right List of all members

chevron_right Languages of members

chevron_right Native speakers

search
HelpAdvanced search
clear
swap_horiz
search
keyboard_arrow_left previous random next keyboard_arrow_right
Language for previous, next or random sentence
arrow_forward

Sentence #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}} Sentence #{{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

Comments

 nancy nancy September 13, 2013 September 13, 2013 at 3:39:04 AM UTC flag Report link Permalink

is this a sentence?

Pfirsichbaeumchen Pfirsichbaeumchen September 13, 2013 September 13, 2013 at 3:44:59 AM 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 September 13, 2013 September 13, 2013 at 3:54:12 AM UTC flag Report link Permalink

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

Pfirsichbaeumchen Pfirsichbaeumchen September 13, 2013 September 13, 2013 at 3:59:31 AM 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 September 13, 2013 September 13, 2013 at 4:10:43 AM UTC flag Report link Permalink

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

hayastan hayastan February 27, 2014 February 27, 2014 at 1:34:10 AM UTC flag Report link Permalink

Flag?

kblakes kblakes February 27, 2014 February 27, 2014 at 3:25:31 PM 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

Tags

View all tags

Lists

Sentence text

License: CC BY 2.0 FR

Logs

This sentence is original and was not derived from translation.

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

added by kblakes, August 24, 2010
➜ #477360Somebody loves everyone.

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

linked by JeNNeR, September 14, 2011
➜ #1243583Ĉiun amas iu.

linked by al_ex_an_der, November 17, 2011
➜ #1243585Ĉiun iu amas.

linked by al_ex_an_der, November 17, 2011
➜ #4218041Joku rakastaa kaikkia.

linked by Thanuir, September 2, 2019
➜ #8158900On olemassa joku, joka rakastaa kaikkia.

linked by Thanuir, September 2, 2019
➜ #8258623On olemassa jokin, joka rakastaa kaikkia.

linked by Thanuir, October 16, 2019
➜ #8258624Jokin rakastaa kaikkia.

linked by Thanuir, October 16, 2019
➜ #8308139Jokin rakastaa jokaista.

linked by Thanuir, November 7, 2019
➜ #8308141On olemassa jokin, joka rakastaa jokaista.

linked by Thanuir, November 7, 2019
➜ #8308143On olemassa joku, joka rakastaa jokaista.

linked by Thanuir, November 7, 2019
➜ #8308144Joku rakastaa jokaista.

linked by Thanuir, November 7, 2019