Possibility
|
|
appearance as argument number 1 |
(documentation Possibility ChineseLanguage "这是指应用于有可能出现 Proposition 的属性,即是 它起码会在一个世界上实现。") | chinese_format.kif 3889-3890 | |
(documentation Possibility EnglishLanguage "Attribute that applies to Propositions that are possible, i.e. true in at least one possible world.") | Merge.kif 17480-17481 | |
(instance Possibility AlethicAttribute) | Merge.kif 17479-17479 | Possibility は 真理属性 の instance では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Possibility "可能性") | domainEnglishFormat.kif 46810-46810 | |
(termFormat ChineseTraditionalLanguage Possibility "可能性") | domainEnglishFormat.kif 46809-46809 | |
(termFormat EnglishLanguage Possibility "possibility") | domainEnglishFormat.kif 46808-46808 |
consequent |