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 17409-17410 | |
(instance Possibility AlethicAttribute) | Merge.kif 17408-17408 | Possibility è un' istanza di AttributoAletico |
appearance as argument number 2 |
(termFormat ChineseLanguage Possibility "可能性") | domainEnglishFormat.kif 46808-46808 | |
(termFormat ChineseTraditionalLanguage Possibility "可能性") | domainEnglishFormat.kif 46807-46807 | |
(termFormat EnglishLanguage Possibility "possibility") | domainEnglishFormat.kif 46806-46806 |
consequent |