Necessity
|
|
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 ist ein fall von AlethicAttribute %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Necessity "必要性") | domainEnglishFormat.kif 40061-40061 | |
(termFormat ChineseTraditionalLanguage Necessity "必要性") | domainEnglishFormat.kif 40060-40060 | |
(termFormat EnglishLanguage Necessity "necessity") | domainEnglishFormat.kif 40059-40059 |
antecedent |