| Filename | Size | Last Modified |
| AFFIR-NEG.owl | 1.7 kb | Thu, 14 Oct 2004 22:07:26 GMT |
| AND-Elimination.owl | 1.6 kb | Tue, 04 Jul 2006 02:07:58 GMT |
| AND-INTRO.owl | 1.3 kb | Thu, 14 Oct 2004 22:08:34 GMT |
| Assumption.owl | 1.8 kb | Fri, 15 Oct 2004 00:07:17 GMT |
| AtomicFormulas.owl | 1.5 kb | Wed, 09 Jun 2004 23:39:20 GMT |
| Bi-Resolution.owl | 3.3 kb | Sun, 28 Nov 2004 10:56:41 GMT |
| BottomLevelTask.owl | 1.1 kb | Thu, 28 Sep 2006 20:57:16 GMT |
| CWM_Builtin.owl | 1.1 kb | Sat, 15 Jul 2006 00:43:49 GMT |
| CompletedPredecessors.owl | 1.1 kb | Thu, 03 Mar 2005 21:21:19 GMT |
| Conjunction.owl | 2.3 kb | Tue, 09 May 2006 00:58:12 GMT |
| Cut.owl | 1.7 kb | Thu, 14 Oct 2004 22:06:53 GMT |
| DataAccess.owl | 2.2 kb | Thu, 14 Oct 2004 23:40:58 GMT |
| Demod.owl | 2.1 kb | Thu, 14 Oct 2004 23:07:40 GMT |
| EnumeratingProofStep.owl | 1.7 kb | Tue, 29 Nov 2005 01:58:21 GMT |
| Extraction.owl | 2.3 kb | Tue, 09 May 2006 00:59:04 GMT |
| Factoring.owl | 1.8 kb | Fri, 15 Oct 2004 00:10:35 GMT |
| FrameMetaInfoReasoningStep.owl | 2.5 kb | Thu, 05 Jan 2006 19:26:44 GMT |
| GMP.owl | 2.3 kb | Fri, 15 Oct 2004 00:13:57 GMT |
| GMPwU.owl | 1.6 kb | Sun, 28 Nov 2004 10:25:02 GMT |
| GeronaForwardChaining.owl | 2.1 kb | Thu, 28 Jul 2005 15:06:59 GMT |
| HaveEffectService.owl | 2.5 kb | Thu, 18 Nov 2004 08:32:18 GMT |
| Hyp-Resolution.owl | 3.4 kb | Thu, 14 Oct 2004 23:09:30 GMT |
| ImplementingProcedureInstance.owl | 1.2 kb | Thu, 28 Sep 2006 20:55:37 GMT |
| Inference.owl | 2.3 kb | Tue, 09 May 2006 00:59:39 GMT |
| InferredValueReasoningStep.owl | 1.7 kb | Tue, 29 Nov 2005 01:58:54 GMT |
| InstancePrecondition.owl | 1.1 kb | Thu, 28 Sep 2006 20:56:09 GMT |
| IntentionPreconditionMet.owl | 1.1 kb | Thu, 03 Mar 2005 21:19:13 GMT |
| Join.owl | 2.3 kb | Thu, 14 Oct 2004 23:40:28 GMT |
| MP.owl | 2.5 kb | Fri, 15 Oct 2004 00:20:37 GMT |
| MeetServicePostcondition.owl | 2.5 kb | Thu, 18 Nov 2004 08:34:17 GMT |
| MeetServicePrecondition.owl | 2.5 kb | Thu, 18 Nov 2004 08:34:56 GMT |
| Member.owl | 2.4 kb | Thu, 05 Jan 2006 19:20:55 GMT |
| MembershipThruLinkSte.owl | 1.6 kb | Mon, 28 Nov 2005 22:40:49 GMT |
| MembershipThruLinkStep.owl | 2.7 kb | Thu, 05 Jan 2006 19:23:16 GMT |
| Neg-Paramod.owl | 2.0 kb | Thu, 14 Oct 2004 22:09:34 GMT |
| NegConc.owl | 1.3 kb | Thu, 14 Oct 2004 22:09:18 GMT |
| NotSuccessful.owl | 1.1 kb | Thu, 03 Mar 2005 21:23:24 GMT |
| OR-ELIM.owl | 1.6 kb | Wed, 09 Jun 2004 23:39:20 GMT |
| Paramod.owl | 3.5 kb | Thu, 14 Oct 2004 23:12:07 GMT |
| ParentSupport.owl | 1.1 kb | Thu, 03 Mar 2005 21:19:00 GMT |
| ProcedurePreconditionMet.owl | 1.2 kb | Thu, 28 Sep 2006 20:56:39 GMT |
| ProcedurePreconditionsMet.owl | 1.1 kb | Thu, 03 Mar 2005 21:22:00 GMT |
| Project.owl | 2.1 kb | Thu, 14 Oct 2004 23:39:06 GMT |
| Reformulation.owl | 1.6 kb | Wed, 09 Jun 2004 23:39:20 GMT |
| RuleCreationProofStep.owl | 1.7 kb | Tue, 29 Nov 2005 02:01:00 GMT |
| RuleInstallationProofStep.owl | 1.7 kb | Tue, 29 Nov 2005 02:01:32 GMT |
| Select.owl | 2.1 kb | Thu, 14 Oct 2004 23:39:52 GMT |
| SelfSupport.owl | 1.1 kb | Thu, 03 Mar 2005 21:18:38 GMT |
| ServiceChainSuccess.owl | 2.5 kb | Thu, 18 Nov 2004 08:38:13 GMT |
| Subsump.owl | 1.5 kb | Wed, 09 Jun 2004 23:39:20 GMT |
| TaskFinished.owl | 1.1 kb | Thu, 28 Sep 2006 20:58:22 GMT |
| TerminationConditionMet.owl | 1.2 kb | Thu, 28 Sep 2006 20:57:55 GMT |
| TerminationConditionsNotMet.owl | 1.1 kb | Thu, 03 Mar 2005 21:22:38 GMT |
| TimePoint.owl | 2.3 kb | Thu, 14 Oct 2004 22:10:06 GMT |
| TimePointMap.owl | 2.1 kb | Thu, 14 Oct 2004 23:15:51 GMT |
| Told.owl | 2.0 kb | Fri, 15 Oct 2004 00:31:24 GMT |
| TopLevelGoal.owl | 1.1 kb | Thu, 28 Sep 2006 20:54:51 GMT |
| TopLevelGoalSupport.owl | 1.1 kb | Thu, 03 Mar 2005 21:18:50 GMT |
| TranslationReasoningStep.owl | 1.7 kb | Tue, 29 Nov 2005 02:03:36 GMT |
| UD.owl | 2.1 kb | Thu, 14 Oct 2004 22:10:25 GMT |
| UI.owl | 1.6 kb | Sun, 28 Nov 2004 10:40:21 GMT |
| UNIT-CLAUSES.owl | 1.5 kb | Wed, 09 Jun 2004 23:39:20 GMT |
| UNREG.owl | 1.5 kb | Thu, 14 Oct 2004 23:16:47 GMT |
| UR-Res.owl | 2.4 kb | Thu, 14 Oct 2004 22:10:49 GMT |
| Unfinished.owl | 1.1 kb | Thu, 03 Mar 2005 21:24:35 GMT |
| Union.owl | 2.0 kb | Thu, 14 Oct 2004 23:38:06 GMT |
| VCListenerCreationReasoningStep.owl | 5.0 kb | Thu, 05 Jan 2006 18:29:11 GMT |
| ValueLinkCreationReasoningStep.owl | 5.0 kb | Thu, 05 Jan 2006 19:10:06 GMT |
| executing.owl | 1.1 kb | Thu, 03 Mar 2005 21:18:28 GMT |
| ndImplIntro.owl | 1.6 kb | Wed, 09 Jun 2004 23:39:20 GMT |
| ndMPwU.owl | 1.6 kb | Wed, 09 Jun 2004 23:39:20 GMT |