Necessity(necessity) | ![]() | essential, fatal, fateful, ineluctable, inescapable, inevitable, inevitably, must, necessarily, necessary, necessity, needfully, needs, of_necessity, prerequisite, requirement, requisite, unavoidable, unnecessary, unneeded |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3891-3892 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17588-17589 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17587-17587 | Necessity is an instance of alethic attribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40072-40072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40071-40071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40070-40070 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17591-17593 | The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17595-17597 |
|
consequent |
![]() |
![]() |
![]() |