menu
Tatoeba
language
Registrati Accedi
language Italiano
menu
Tatoeba

chevron_right Registrati

chevron_right Accedi

Esplora

chevron_right Mostra frase casuale

chevron_right Esplora le frasi in base alla lingua

chevron_right Esplora le frasi in base all'elenco

chevron_right Esplora le frasi in base all'etichetta

chevron_right Esplora le frasi in base all'audio

Comunità

chevron_right Bacheca

chevron_right Elenco di tutti i membri

chevron_right Lingue dei membri

chevron_right Madrelingua

search
clear
swap_horiz
search

Frase n° 477359

info_outline Metadati
warning
La tua frase non è stata aggiunta perché la seguente esiste già.
Frase #{{vm.sentence.id}} — appartiene a {{vm.sentence.user.username}} Frase #{{vm.sentence.id}}
{{vm.sentence.furigana.info_message}} {{vm.sentence.text}}
star Questa frase appartiene ad un madrelingua.
warning Questa frase non è affidabile.
content_copy Copia la frase info Vai alla pagina della frase
subdirectory_arrow_right
warning
{{transcription.info_message}}
Traduzioni
Separa questa traduzione link Rendi una traduzione diretta chevron_right
{{translation.furigana.info_message}} {{translation.text}} La frase esistente #{{::translation.id}} è stata aggiunta come traduzione.
edit Modifica questa traduzione
warning Questa frase non è affidabile.
content_copy Copia la frase info Vai alla pagina della frase
subdirectory_arrow_right
warning
{{transcription.info_message}}
Traduzioni delle traduzioni
Separa questa traduzione link Rendi una traduzione diretta chevron_right
{{translation.furigana.info_message}} {{translation.text}} La frase esistente #{{::translation.id}} è stata aggiunta come traduzione.
edit Modifica questa traduzione
warning Questa frase non è affidabile.
content_copy Copia la frase info Vai alla pagina della frase
subdirectory_arrow_right
warning
{{transcription.info_message}}
{{vm.expandableIcon}} {{vm.sentence.expandLabel}} Meno traduzioni

Commenti

nancy nancy 13 settembre 2013 13 settembre 2013 03:39:04 UTC flag Segnala link Permalink

is this a sentence?

Pfirsichbaeumchen Pfirsichbaeumchen 13 settembre 2013 13 settembre 2013 03:44:59 UTC flag Segnala 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 settembre 2013 13 settembre 2013 03:54:12 UTC flag Segnala link Permalink

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

Pfirsichbaeumchen Pfirsichbaeumchen 13 settembre 2013 13 settembre 2013 03:59:31 UTC flag Segnala 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 settembre 2013 13 settembre 2013 04:10:43 UTC flag Segnala link Permalink

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

hayastan hayastan 27 febbraio 2014 27 febbraio 2014 01:34:10 UTC flag Segnala link Permalink

Flag?

kblakes kblakes 27 febbraio 2014 27 febbraio 2014 15:25:31 UTC flag Segnala 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.

Metadati

close

Elenchi

Testo della frase

Licenza: CC BY 2.0 FR

Cronologia

Questa frase è l'originale e non è stata ricavata tramite traduzione.

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

aggiunta da kblakes, il 24 agosto 2010

collegata da kblakes, il 24 agosto 2010

collegata da al_ex_an_der, il 17 novembre 2011

collegata da al_ex_an_der, il 17 novembre 2011

collegata da Thanuir, il 2 settembre 2019

collegata da Thanuir, il 2 settembre 2019

collegata da Thanuir, il 16 ottobre 2019

collegata da Thanuir, il 16 ottobre 2019

collegata da Thanuir, il 7 novembre 2019

collegata da Thanuir, il 7 novembre 2019

collegata da Thanuir, il 7 novembre 2019

collegata da Thanuir, il 7 novembre 2019