Difference between revisions of "Edu:Type"

From IAOA Wiki
(Created page with " == Type == # "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this...")
(No difference)

Revision as of 03:26, 11 November 2019

Type

  1. "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this meaning, it should not be a term for ontological modeling.
    • (different definition of "type" at the concept level. (entry specification suggested from Richard D.)
  1. Unique name assumption - Note: This is not a 'term' and has a fairly clear interpretation. Hence need not be in the this lexicon.
Retrieved from "https://wiki.iaoa.org/index.php?title=Edu:Type&oldid=170"