(note TQROW-BUILTIN)
(category general)

(partition ParentClass ChildA ChildB ChildC)

(=>
  (partition ?C @ROW)
  (equal (ChildrenOfFn ?C) (ListFn @ROW)))

(query
  (equal
    (ChildrenOfFn ParentClass)
    (ListFn ChildA ChildB ChildC)))

(answer yes)