No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8595-8595 |
Os valores retornados por MonthFn sao as sub-classes de Mes |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 113-113 |
DhuAlHijjah e' relacionado internamente por SUMO a Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9122-9122 |
Abril e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9178-9178 |
Agosto e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9235-9235 |
Dezembro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9084-9084 |
Fevereiro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9070-9070 |
Janeiro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9164-9164 |
Julho e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9150-9150 |
June e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9108-9108 |
Marco e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9136-9136 |
Maio e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9221-9221 |
Novembro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9207-9207 |
Outubro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9192-9192 |
Setembro e' uma sub-classe de Mes |
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 |