pyhornedowl.model.DifferentIndividualsAtom

class pyhornedowl.model.DifferentIndividualsAtom(first: IArgument, second: IArgument)
first
second