existential generalization (Q5420356)
inference rule that infers “there exists an A that is B” from “A is B”
- existential rules
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | existential generalization |
inference rule that infers “there exists an A that is B” from “A is B” |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- enwiki Existential generalization
- eswiki Generalización existencial
- jawiki 存在汎化
- ptwiki Generalização existencial
- srwiki Егзистенциона генерализација
- zhwiki 存在概括