Map Development Area (MDA)
Location:
_/_
internet
_/_
semantic-web
_/_
ontology
_/_
sumo
_/_
ancestor
| ancestor |
|
|
Types:
|
-
Comment:
-
The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc.
|
|
|