No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8573-8573 |
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 9100-9100 |
Avril est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9156-9156 |
Ao�t est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9213-9213 |
Decembre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9062-9062 |
F�vrier est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9048-9048 |
Janvier est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9142-9142 |
Juillet est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9128-9128 |
Juin est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9086-9086 |
Mars est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9114-9114 |
Mai est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9199-9199 |
Novembre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9185-9185 |
Octobre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9170-9170 |
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 |