subconcept-p [Macro]
Purpose
The subconcept-p macro is the basic Loom subsumption test for classified concepts.
Syntax
subconcept-p concept1 concept2 &key cant-be-equal-p
Arguments
The concept1 and concept2 arguments are classified concepts or relations.
If the cant-be-equal-p argument is t, Loom does not perform an equality test on the two concepts when determining whether one specializes the other.
Value
The subconcept-p macro returns t if concept1 and concept2 are identical, or if concept1 lies directly or indirectly below concept2 in the subsumption hierarchy.
Examples
(subconcept-p (fc Bachelor) (fc Bachelor)) ==> T
(subconcept-p (fc Bachelor) (fc Man)) ==> T
(subconcept-p (fc Bachelor) (fc Thing) :cant-be-equal-p t) ==> T
(subconcept-p (fr daughter) (fr child)) ==> T
(subconcept-p (fc Integer) (fc Non-Loom-Thing)) ==> T
(subconcept-p (fc Dog-Cat) (fc Incoherent)) ==> T
See Also
Last modified: Jun 1 1995