isa [Relation]


Purpose

The isa relation is a generalized subsumption predicate. It can be used to determine whether an object instantiates a given concept, or whether a concept or relation specializes some other concept or relation.

Syntax

isa object concept

Domain

The object argument is an instance, concept, or relation which may instantiate or specialize concept.

Range

The concept argument is a concept or relation.

Examples

(ask (isa Man Person)) ==> T 
(ask (isa Joe Man)) ==> T 
(ask (isa Joe Person)) ==> T

See Also

Last modified: Jun 1 1995