first-order predicate (Q5452202)
Jump to navigation
Jump to search
predicate that takes only individual(s) constants or variables as argument(s)
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | first-order predicate |
predicate that takes only individual(s) constants or variables as argument(s) |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- arwiki المسند من الدرجة الأولى
- enwiki First-order predicate