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

Which of the following definitions best describes 'Negated Atom'?

A. An the concept is the most basic (undivisible) part of an LKIF rule (cf. Deliverable 1.1)
B. proposes something that usually is the case, although there is no specific evidence that it is true in this particular case
C. A the concept is the negation of some other atom (cf. Deliverable 1.1)
D. An the concept is a predictive belief held on purely logical grounds, i.e. not based on direct external evidence, like an observation or a statement by another agent. It is also often characterized as a "belief about the future", but this isn't very helpful since one may also hold expectations about the (yet unknown) past. The theory of evolution is for instance a fertile ground for predictions about the existence of past species, and therefore at the same a predictor of future observations.

Answer: A the concept is the negation of some other atom (cf. Deliverable 1.1)