(note TQPARTROW1)
(category general)

(instance ChildrenOfFn UnaryFunction)
(domain ChildrenOfFn 1 Class)
(range ChildrenOfFn List)

(partition ParentClass ChildA ChildB ChildC)

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

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

(answer yes)