Also known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).