racer.lisp

RACER-USER> (signature :atomic-concepts (A C a1 a2)
		       :roles (h))
; No value
RACER-USER> (equivalent a1 (and (some h A) (all h C)))
A1
RACER-USER> (equivalent a2 (some h C))
A2
RACER-USER> (concept-subsumes? a1 a2)
NIL
RACER-USER> (concept-subsumes? a2 a1)
T
RACER-USER> (concept-descendants a1)
((*BOTTOM* BOTTOM))
RACER-USER> (concept-descendants a2)
((*BOTTOM* BOTTOM) (A1))