Property Value

BUILDING BLOCK - Property Value

Description

Abstract Concept

A Property Value is an Abstract Entity that is used to characterize Individuals through the Property of Individual relation.

Property Value is the power instance of Property. All its subtypes are instances of Property such as:

- 10 degree celcius;

- Ability to cook (a capability);

- Red;

- 12 kg;

- Top Secret (TS) confidentiality.

- 7/7 availability

Functional Domain: 4D Composite Knowledge Graph

The purpose of the 4D Composite Knowledge Graph is to layer structured spatio-temporal concepts onto the Reflexive Knowledge Graph,

Super Types

Abstract Entity

Power Type

Property

Dictionary

SysFEAT Upper Ontology

Framework Mapping

UFO - A - Endurant : Intrinsic Moment
UFO - A - Endurant : Moment
UFO - A - Endurant : Quality

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 Property	[1..1]	Property	Property Value
Holonymy Relation	[*..0]	First Order Entity	First Order Entity	Abstract Relationship Holonymy Relation is a directional whole-to-part Relation (often called Composition) between First Order Entitys, where the source First Order Entity (the whole) incorporates the target First Order Entity as one of its constituent parts.In accordance with principles of Compositionality, Holonymy Relation is not simply the inverse of Meronymy Relation. In many cases, the target part is an independant First Order Entity which exists conceptually and often physically without requiring knowledge of, or containing an inherent reference to, its parent whole.The embedding of a part within its whole involves a form of nesting (see Nesting Relation and Aggregate Block). It is important to note, however, that nesting does not inherently imply holonymy.Example:
Meronymy Relation	[*..0]	First Order Entity	First Order Entity	Abstract Relationship Meronymy Relation is a directional part-to-whole Meronymy Relation between First Order Entitys, where the source First Order Entity (the part) is defined has being part of a larger whole First Order Entity.In accordance with principles of Compositionality, Meronymy Relation is not simply the inverse of Holonymy Relation. In some cases, the whole First Order Entity is not inherently defined by some its parts. Location (Located at) and period relationships are such Meronymy Relations.Example:- William Shakespeare is born in Stratford-upon-Avon, but the Stratford-upon-Avon geo-location is not inherently defined by William Shakespeare. It is defined by its geophysical containers: Continent-Europe, Landmass-Great Britain.- William Shakespeare is born in 1564, but the year 1564 is not inherently defined by the birth of William Shakespeare. It is defined by its position in the Gregorian calendar and contains countless other global events.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: b85efd0868df48b1.agda

File: b85efd0868df48b1.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.