No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8595-8595 |
Les valeurs retourn�es par MonthFn sont des sous-classes de mois |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 113-113 |
DhuAlHijjah est reli� � l'int�rieur de SUMO � mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9122-9122 |
Avril est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9178-9178 |
Ao�t est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9235-9235 |
Decembre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9084-9084 |
F�vrier est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9070-9070 |
Janvier est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9164-9164 |
Juillet est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9150-9150 |
Juin est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9108-9108 |
Mars est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9136-9136 |
Mai est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9221-9221 |
Novembre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9207-9207 |
Octobre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9192-9192 |
Septembre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1276-1276 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1769-1769 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 954-954 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 489-489 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 493-493 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2638-2638 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 906-906 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 495-495 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 529-529 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 975-975 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |