*origin* | *documentation* (*origin* ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need *not* participate throughout the process. For example, the submarine is the *origin* in the following proposition: the missile was launched from a submarine | |

**has domain1** Process | |

**has domain2** Object | |

**is an ***instance* of CaseRole | |

CaseRole | **has axiom** (=> (*and* (*instance* ?REL CaseRole) (*holds* ?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (*WhereFn* ?PROCESS ?TIME) ?OBJ)))
| |

**has axiom** (=> (*and* (*instance* ?ROLE CaseRole) (*holds* ?ROLE ?ARG1 ?ARG2) (*instance* ?ARG1 ?PROC)) (*capability* ?PROC ?ROLE ?ARG2))
| |

**is second ***domain* of *capability* | |

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

Predicate | **is first ***domain* of *singleValued* | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |