user-defined [Property]

Purpose

The {user-defined} predicate tests whether a given concept or relation was defined by the user rather than by Loom.

Syntax

user-defined object

Argument

The object argument is a concept or relation.

Value

The user-defined predicate returns t if object was defined by the user.

Remarks

Concepts and relations in the Loom upper structure are marked user-defined.

Examples

(defconcept A :implies B) 
(ask (user-defined A)) ==> T 
(ask (user-defined A&B)) ==> NIL 
(retrieve ?x (:and (Meta-Concept ?x) (user-defined ?x))) ==> 
    (|C|A |C|B |C|CONCEPT |R|> \ldots)