# Informative Types of Relations between Concepts

## Article excerpt

There are several different types of relations between concepts. In cases when one concept testifies of or excludes another, such types of relations are informative. Two logic operations for determining an informative type of relation between two concepts using available data on informative types of relations between each of these concepts and the third are described in the following paragraph. To perform these operations automatically, a relevant computer program was created.

(1) One concept could relate another as inalienable, inconsistent (in that case both concepts are inconsistent with each other), or optional. in the first two cases, one concept testifies of or excludes another, so these types of relations are informative. Examples: the concept "part" is inalienable of the concept "half" (a half is a part), the concept "half" is optional to the concept "part" (a part could be a half), the concept "cold" is inalienable of the concept "ice" (ice is cold), the concept "ice" is optional to the concept "cold" (what is cold that could be ice), concepts "the 30th day of a month" and "a day in February" are inconsistent (the 30th day of a month is not a day in February).

(2) There are two rules on how to determine an informative type of relation between two concepts using available data on informative types of relations between each of these concepts and the third. First rule: if one concept is inalienable of another, which is inalienable of the third, then the first concept is inalienable of the third (the concept 1 is inalienable of the concept 2, the concept 2 is inalienable of the concept 3, so the concept 1 is inalienable of the concept 3). …

Search by...
Show...

### Oops!

An unknown error has occurred. Please click the button below to reload the page. If the problem persists, please try again in a little while.