No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17483-17483 |
Necessity is an instance of alethic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17479-17479 |
Possibility is an instance of alethic attribute |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1245-1245 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1711-1711 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 923-923 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 457-457 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 460-460 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2607-2607 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 875-875 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 496-496 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 944-944 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 461-461 |
|