| 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 |
|
|
| (documentation Necessity ChineseLanguage "这是指应用于必须出现 Proposition 的属性，即是 它在所有的世界上都会实现。") | chinese_format.kif 3891-3892 | |
| (documentation Necessity EnglishLanguage "Attribute that applies to Propositions that are necessary, i.e. true in every possible world.") | Merge.kif 16187-16188 | |
| (instance Necessity AlethicAttribute) | Merge.kif 16186-16186 | Necessity is an instance of alethic attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Necessity "必要性") | domainEnglishFormat.kif 39955-39955 | |
| (termFormat ChineseTraditionalLanguage Necessity "必要性") | domainEnglishFormat.kif 39954-39954 | |
| (termFormat EnglishLanguage Necessity "necessity") | domainEnglishFormat.kif 39953-39953 |
| antecedent |
|
|
|
|
|