*

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: