Back
Add Comment
Topics
Vote
Results
first-order predicate
predicate that takes only individual(s) constants or variables as argument(s)
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous