Relation PRIME-COMPONENT

Arity: 2
Domain: Localized-entity
Range: Localized-entity
Axioms:
(= (Inverse Prime-Component-Of) Prime-Component)

(<=> (Prime-Component ?A ?B)
     (And (Localized-Entity ?A) (Localized-Entity ?B)))