No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8573-8573 |
The values returned by month are subclasses of month |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 113-113 |
Dhu al hijjah is internally related to month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9100-9100 |
April is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9156-9156 |
August is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9213-9213 |
December is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9062-9062 |
February is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9048-9048 |
January is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9142-9142 |
July is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9128-9128 |
June is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9086-9086 |
March is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9114-9114 |
May is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9199-9199 |
November is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9185-9185 |
October is a subclass of month |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9170-9170 |
September is a subclass of month |
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 |