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