Class: Vocabulary

A vocabulary is a collection of terms.

URI: sio:Vocabulary

Parents

• is_a: FormalSpecification - A formal specification is a mathematical description of software or hardware that may be used to develop an implementation.

Children

• Terminology - None

Referenced by Class

Attributes

Inherited from FormalSpecification:

• hasCreator _0..1
  • Description: has creator is a relation between an entity and that which created it.
  • Range: Entity

• hasAttribute _0..1

  • Description: has attribute is a relation that associates a entity with an attribute where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.

  • Range: Entity

  • satisfies _0..1

  • Description: satisfies is a relation between an entity and the specification or objective that it conforms to.

  • Range: Description

  • isRelatedTo _0..1
  • Description: A is related to B iff there is some relation between A and B.
  • Range: Entity
  • derivesInto _0..1

  • Description: a derives to b if and only if a or some part thereof is consumed in the formation of b.

  • Range: Object

  • isAnnotationOf _0..1

  • Description: is annotation of is a relation between some textual entity and the entity that it annotates.

  • Range: Entity

Other properties

See also:		FunctionalSpecification