is this a sentence?
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. ☺
Yeah ^-^
With all that parentheses and question marks I din't realize it.
It seems the question mark is used before variables, and ‘loves’ seems to be interpreted as a relation, cf. [#2054005]. ☺
Thank you, Pfirsichbaeumchen.
I think I got it now. ☺
Flag?
The flag shown is for the language CycL, which is the logic language in which the Cyc Artificial Intelligence's knowledge base is represented.
Etiketler
Tüm etiketleri gösterListeler
Sentence text
License: CC BY 2.0 FRKayıtlar
Bu cümle özgündür ve başka bir cümleden çevrilmemiştir.
kblakes ekledi, 24 Ağustos 2010 tarihinde
kblakes bağladı, 24 Ağustos 2010 tarihinde
JeNNeR bağladı, 14 Eylül 2011 tarihinde
al_ex_an_der bağladı, 17 Kasım 2011 tarihinde
al_ex_an_der bağladı, 17 Kasım 2011 tarihinde
Thanuir bağladı, 2 Eylül 2019 tarihinde
Thanuir bağladı, 2 Eylül 2019 tarihinde
Thanuir bağladı, 16 Ekim 2019 tarihinde
Thanuir bağladı, 16 Ekim 2019 tarihinde
Thanuir bağladı, 7 Kasım 2019 tarihinde
Thanuir bağladı, 7 Kasım 2019 tarihinde
Thanuir bağladı, 7 Kasım 2019 tarihinde
Thanuir bağladı, 7 Kasım 2019 tarihinde