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 17435-17436 | |
(instance Necessity AlethicAttribute) | Merge.kif 17434-17434 | Necessity est une instance de alethic attribute |
appearance as argument number 2 |
(termFormat ChineseLanguage Necessity "必要性") | domainEnglishFormat.kif 40059-40059 | |
(termFormat ChineseTraditionalLanguage Necessity "必要性") | domainEnglishFormat.kif 40058-40058 | |
(termFormat EnglishLanguage Necessity "necessity") | domainEnglishFormat.kif 40057-40057 |
antecedent |