ProbabilityAttribute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3915-3916 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17520-17522 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17519-17519 | 子類 概率屬性 and ObjectiveNorm |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17524-17524 | 例 容易 and 概率屬性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17533-17533 | 例 較不可能 and 概率屬性 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47486-47486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47485-47485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47484-47484 |