Uploaded image for project: 'Norma+'
  1. NOR-30

Objectified Unaries now cause duplicate names

    Details

    • Type: Bug
    • Status: Done
    • Priority: Low
    • Resolution: Done
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: SourceForge
    • Labels:
      None

      Description

      Reported By: cjheath
      Created: 2007-08-07 01:22:50
      Description: The ValueType that is now created for a unary fact type clashes with the name of the objectification. Try to enter for example Terry's model "Death objectifies (Person(Name) is dead)" - the objectification is done so that a cause-of-death fact type can be added. this worked ok in the previous CTP because there was no implicit ValueType. It doesn't seem possible to rename either of the duplicates.

        Attachments

          Issue links

            Activity

              People

              • Assignee:
                admin Ken Evans
                Reporter:
                bill.tutt Bill Tutt
              • Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: