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 17484-17485 | |
(instance Necessity AlethicAttribute) | Merge.kif 17483-17483 | Necessity is an instance of alethic attribute |
appearance as argument number 2 |
(termFormat ChineseLanguage Necessity "必要性") | domainEnglishFormat.kif 40097-40097 | |
(termFormat ChineseTraditionalLanguage Necessity "必要性") | domainEnglishFormat.kif 40096-40096 | |
(termFormat EnglishLanguage Necessity "necessity") | domainEnglishFormat.kif 40095-40095 |
antecedent |