predicate

related words
semantics
analytic
negation
conditional
abstraction
semantic
schema
relational
ordinal
generalization
permutation
implicit
countable
irrational
inference
quantifier
parse
paradigm
associative
recursive
related documents
First-order logic
Prolog
Μ-recursive function
Frame problem
Raven paradox
Original proof of Gödel's completeness theorem
Copula (linguistics)
Relational model
Axiom schema of specification
Logic programming
XPath 1.0
Combinatory logic
Truth
Existence
Resource Description Framework
Lambda calculus
Syllogism
Loglan
Proposition
Gödel's incompleteness theorems
related topics
{math, number, function}
{language, word, form}
{theory, work, human}
{law, state, case}
{company, market, business}
{game, team, player}
{war, force, army}
{country, population, people}
{woman, child, man}
{black, white, people}
{work, book, publish}
{son, year, death}
{style, bgcolor, rowspan}
{rate, high, increase}
{group, member, jewish}
{@card@, make, design}
{government, party, election}
{god, call, give}
{service, military, aircraft}
{specie, animal, plant}