pyhornedowl.model.DifferentIndividualsAtom

class pyhornedowl.model.DifferentIndividualsAtom(first, second)

DifferentIndividualsAtom(first: IArgumentsecond: IArgument