No TPTP formula. May not be expressible in strict first order. |
Media.kif 530-530 |
子類 AscensionThursday and Thursday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 621-621 |
子類 USThanksgivingDay and Thursday |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9075-9075 |
successorClass Wednesday and Thursday |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1293-1293 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1803-1803 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 971-971 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2655-2655 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 923-923 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 512-512 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 546-546 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 992-992 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 511-511 |
|