Knowledge Systems Laboratory, Stanford University
14
Class Features
u
Declaring a class to be an intersection of classes
ä
<Class ID = "
Tall-Man
">
ä
<intersectionOf parseType = "daml:collection">
ä
<Class about = "#Tall-Thing” />
ä
<Class about = "#Man” />
ä
</intersectionOf>
ä
</Class>
Joe is a Tall-Thing and a Man.
Is Joe a Tall-Man?
Yes.
