is_incident# is_incident(k, obj1, obj2)# Return True if obj1 and obj2 are incident to each other in the diagram.
