Task: Class Definition Understanding (ontology: Legal/LKIF_Core_Ontology)

Which of the following definitions best describes 'Part'?

A. A the concept is a part of some whole
B. A the concept has at least some part
C. A the concept has multiple parts, the components should meet
D. An abstract concept is a concept which does not (necessarily) have a referent in either the physical or the mental world.   

Abstract entities are (proto)mathematical, formal entities, entities which have a purely formal, logical or mathematical meaning.

As all concepts are abstractions, one may argue that a separate abstract world is difficult to see. In common-sense, a circle has more properties and is less abstract than in mathematics. Even mathematicians marvel about the fact their pure abstractions enable us to predict very concrete things. However, we are not directly concerned with these mappings. The most important is that common-sense knows about a (small) number of proto-mathematical concepts, such as collections, sequences and count-numbers (positive integers). We know also about geometric simplifications such as line, circle, square, cube, etc. These common sense notions might even be the real roots of our mathematics. However, these kind of semi-formal abstractions do not play a very central role in law, and therefore LRI-Core is thinly populated with abstract classes.

Answer: A the concept is a part of some whole