Relation PRODUCTION-HOST

Arity: 2
Domain: Localized-entity
Range: Localized-entity
Axioms:
(= (Inverse Production-Host-Of) Production-Host)

(<=> (Production-Host ?A ?B)
     (And (Localized-Entity ?A) (Localized-Entity ?B)))