Simple Knowledge base Browser - ClosedWorldPredicate

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - ClosedWorldPredicate

KB Term:

ClosedWorldPredicate

Relationships
Parents	Predicate	A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(predicate arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is predicate arg_2' or `a predicate of arg_1 is arg_2'.