contextual Attributes occurring in antecedent of a given conditional registration , , , contextual Attributes occurring positively in antecedent of a given conditional registration , , , contextual Attributes occurring negatively in antecedent of a given conditional registration , , , or the same filtering Notation which is antonymous , classifying Article of the argument selecting Library items in which occurs at least one constructor from given article the same filtering Functor which is associative the same filtering Predicate which is asymmetric (or !) contextual Constructors occurring in a term whose adjectives are registered or contextual Constructors occurring in a type with which adjectives are registred or or contextual Theorems used in proofs of given theorem or scheme or correctness conditions of given registration contextual Attributes registered in given registration , , , contextual Attributes occurring positively in given registration , , , contextual Attributes occurring negatively in given registration , , , the same filtering Functor which is commutative the same filtering Predicate which is connected contextual Attributes occurring in consequent of a given conditional registration , , , contextual Attributes occurring positively in consequent of a given conditional registration , , , contextual Attributes occurring negatively in consequent of a given conditional registration , , , or converting Constructor denoted by given notation or definendum of given definiens , Copies of given constructor if original , * Definientia of given constractor selecting Library items in which occurs given constructor or its copy , , the same filtering Functor which is idempotent the same filtering Functor which is involution the same filtering Predicate which is irreflexive selecting Library items in which occurs given constructor , , Origin of given constructor , the same filtering Functor which is projective Origin and its copies of given constructor , selecting Constructors which occur in given item the same filtering Predicate which is reflexive the same filtering Predicate which is symmetric the same filtering Notation which is synonymous the same filtering Predicate which is transitive classifying Vocabulary (article) of the argument Operation Arguments Result Kind Description Examples See also The word refers to last query result. the number of subqueries the maximal number of subqueries with the same item in answer (Q1,...,Qn) fuzzy MIN-count (Q1,...,Qn) all items which are in at least MIN answers of subqueries and at most in MAX Query/keyword meaning , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Resource Abbreviation Subresources Examples Comments Resource Abbreviation Super-resource Examples Comments