Automatically checking off "Transitive" #1270
Description
Hi, it seems Transitive isn't automatically checked off for isMilderThan, even though I've declared it the inverse of isSpicierThan AND isSpicierThan is transitive AND any inverse of a transitive property must also be transitive? Is there any reason for that? If the reasoner does know the inference, it might be a nice idea to highlight the Transitive checkbox with yellow like all other inferences? Thanks!