*
Axiom:
Each Fact has exactly one FactValue.
Axiom:
Each Fact has exactly one FactValue.
Key:
6
From Term:
Fact
Predicate:
has-part
To Term:
FactValue
Commentary:
A fact must have exactly one fact value.
Status:
Draft
Image:
