Re: TMCL role combination question

* Robert Cerny
> 
> But if:
> 
> abstract-region isa topic-type;
> is-abstract();
> plays-role(containee, contained-in, 0, 1);
> plays-role(container, contained-in, 0, *).
> 
> city ako abstract-region.
> province ako abstract-region.
> country ako abstract-region.
> continent ako abstract-region.
> 
> How to i prevent continent to be contained in something? As far as i see, i can't.

Ah, right. True.

> So it is better to put the 'plays-role' at the subtypes.

That's one possibility, but it's weaker than using role-combination. You can't prevent a city from being contained in a continent, for example, that way.

--Lars M.
http://www.garshol.priv.no/tmphoto/
http://www.garshol.priv.no/blog/