Elementary Property

PROPERTY - Elementary Property

Description	Abstract Concept An Elementary Property is a Property than cannot be further decomposed.
External references	ISO 15926 - Property
Super Types	Property (from partition: Structural Partition of Property)
Power Type	Elementary Property Type
Dictionary	SysFEAT Upper Ontology

RELATIONSHIPS

Simple Graph Graph & Inheritance Table

Simple Graph

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Graph & Hierarchy

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Relationship Table

Relationship	Cardinality	Target Entity	Source Entity	Description
PowerTyped by Elementary Property Type	[1..1]	Elementary Property Type	Elementary Property
Property Classification	[1..1]	Property Type	Property	Abstract Relationship Property Classification is a classification of Propertys by Property Types.
Specialized Property	[*..0]	Property	Property	Abstract Relationship Specialization relationship between Property(ies).
Class of Holonymy	[*..0]	First Order Class	First Order Class	Class of Holonymy is the powertype of Holonymy Relation.
Class of Meronymy	[*..0]	First Order Class	First Order Class	Class of Meronymy is the powerType of Meronymy Relation.
Reference Relation	[*..0]	Entity	Entity	Abstract Relationship A Reference Relation is a Relation that points at a target Entity which is not in the Lexical Scope of its source Entity.
Existential Dependency	[1..1]	Entity	Entity	Abstract Relationship An Existential Dependency relationship is a Relation where the source Entitys existence depends on the existence of the target Entity.The cardinality of the set of targetted Entity is [1..1].
Existential Independence	[*..0]	Entity	Entity	Abstract Relationship An Existential Independence relation is a Relation that specifies that the existence of the source Entity doesnt depend on the existence of its target Entity.The cardinality of set of targetted Entity is [0..*].

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 3e525f966ab05bd8.agda

File: 3e525f966ab05bd8.rdf

SEMANTIC TAXONOMY

Sub-Types Super-Types

SUB-TYPES

Click node rectangle to collapse/expand one level. Click triangle for full recursive collapse/expand. Double-click on a node to open its URL. Hover for description.