🌐EnglishEnglishEspañolPortuguês中文日本語EntityQ5420356· pop 6· linked from 49 articlesexistential generalizationAlso known as existential rulesinference rule that infers “there exists an A that is B” from “A is B”Available in 6 languagesEspañol中文日本語PortuguêsSerbianvia Wikidata sitelinks · CC0Connectionsfirst-order logicEntityexistential quantificationEntityCategoriesPredicate logicRules of inference