pyhornedowl.model.DifferentIndividualsAtom

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

DifferentIndividualsAtom(first: IArgumentsecond: IArgument

Documentation not available.

first

second