subclass-of?

Das Prädikat subclass-of? kann nur innerhalb der Constraints in der Ontologie verwendet werden.

Der Aufruf (subclass-of? class1 class2) wertet zu t oder nil aus. Dabei müssen class1 und class2 zwei Symbole sein. Der Wert des Aufrufs ist genau dann t, wenn entweder die beiden Symbole identisch sind, oder zuerst der Name einer Subklasse und dann der Name einer Superklasse angegeben wurde.

> (subclass-of? (quote Thing) (quote Thing))
t

> (subclass-of? (quote AbstractThing) (quote Thing))
t

> (subclass-of? (quote Thing) (quote AbstractThing))
nil