Interpreted Predicates and Functors
Interpreted Predicates
- Start with $ or are non-alphanumeric
- $true and $false
- = and !=
Interpreted Functors
- Distinct objects
- Written in "double quotes"
- Interpreted as the domain elements in the "double quotes"s
- Numbers
- Interpreted as themselves (as domain elements)
- Known to be unequal, e.g., "Apple" != "Microsoft" and
1 != 2
System predicates and functors
- Start with $$
- For predicates and functors interpreted by specific systems
- Not controlled by TPTP language