Relation pm#relation_from_a_thing_that_is_not_a_domain__thing_in_domain_of_object (thing_that_is_not_a_domain,?)
closed_exclusion: relation_from_a_domain
supertype: domain_related_relation__domain-related-thing
instance of: virtual_relation_type
subtype: object_subdomain__subdomain_of_object (thing_that_is_not_a_domain,domain)
subtype: object_in_domain_of_object (thing_that_is_not_a_domain,thing_that_is_not_a_domain) all relations non exclusive with this one are subtypes of this one; this is stated via:
pm#relation subtype: {(pm#object_in_domain_of_object pm#relation_from_a_domain pm#object_subdomain)};