InferenceParameter is designed to... 17 | * 18 | *
Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
19 | *
This software is the proprietary information of Cycorp, Inc.
20 | *
Use is subject to license terms.
21 | *
22 | * @author tbrussea
23 | * @date August 2, 2005, 10:25 AM
24 | * @version $Id: FloatingPointInferenceParameter.java 138070 2012-01-10 19:46:08Z sbrown $
25 | */
26 | public interface FloatingPointInferenceParameter extends InferenceParameter {
27 | double getMinValue();
28 | double getMaxValue();
29 | }
30 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/inference/InferenceAnswerIdentifier.java:
--------------------------------------------------------------------------------
1 | /*
2 | * An identifier for an individual answer within a specific Cyc inference.
3 | */
4 | package org.opencyc.inference;
5 |
6 | import org.opencyc.cycobject.CycList;
7 |
8 | /**
9 | *
10 | * @author baxter
11 | */
12 | public class InferenceAnswerIdentifier {
13 |
14 | public InferenceAnswerIdentifier(InferenceIdentifier inferenceID, int answerID) {
15 | this.inferenceID = inferenceID;
16 | this.answerID = answerID;
17 | }
18 |
19 | @Override
20 | public String toString() {
21 | return "Answer " + answerID + " for " + inferenceID;
22 | }
23 |
24 | public String stringApiValue() {
25 | return cycListApiValue().stringApiValue();
26 | }
27 |
28 | public CycList InferenceParameter is designed to...
17 | *
18 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
19 | * Use is subject to license terms.
21 | *
22 | * @author tbrussea
23 | * @date August 2, 2005, 10:25 AM
24 | * @version $Id: InferenceParameter.java 138070 2012-01-10 19:46:08Z sbrown $
25 | */
26 | public interface InferenceParameter {
27 |
28 | /* @return the CycList API value for val qua value for this parameter. */
29 | Object parameterValueCycListApiValue(Object val);
30 |
31 | Object canonicalizeValue(Object value);
32 |
33 | CycFort getId();
34 |
35 | CycSymbol getKeyword();
36 |
37 | String getShortDescription();
38 |
39 | String getLongDescription();
40 |
41 | String getPrettyRepresentation(Object value);
42 |
43 | InferenceParameterValueDescription getAlternateValue();
44 |
45 | boolean isAlternateValue(Object value);
46 |
47 | boolean isValidValue(Object potentialValue);
48 |
49 | boolean isBasicParameter();
50 |
51 | boolean isQueryStaticParameter();
52 |
53 | Object getDefaultValue();
54 | }
55 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/inference/InferenceParameterDescriptions.java:
--------------------------------------------------------------------------------
1 | /* $Id: InferenceParameterDescriptions.java 138070 2012-01-10 19:46:08Z sbrown $
2 | *
3 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
4 | * This software is the proprietary information of Cycorp, Inc.
5 | * Use is subject to license terms.
6 | */
7 |
8 | package org.opencyc.inference;
9 |
10 | //// External Imports
11 | import java.util.Map;
12 |
13 | //// Internal Imports
14 | import org.opencyc.api.CycAccess;
15 | import org.opencyc.cycobject.CycSymbol;
16 |
17 | /**
18 | * InferenceParameterDescriptions is designed to...
19 | *
20 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
21 | * Use is subject to license terms.
23 | *
24 | * @author tbrussea
25 | * @date August 2, 2005, 10:21 AM
26 | * @version $Id: InferenceParameterDescriptions.java 138070 2012-01-10 19:46:08Z sbrown $
27 | */
28 | public interface InferenceParameterDescriptions extends Map InferenceParameterValueDescription is designed to...
17 | *
18 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
19 | * Use is subject to license terms.
21 | *
22 | * @author zelal
23 | * @date August 14, 2005, 12:47 PM
24 | * @version $Id: InferenceParameterValueDescription.java 138070 2012-01-10 19:46:08Z sbrown $
25 | */
26 | public interface InferenceParameterValueDescription {
27 |
28 | public void setValue(Object infiniteValue);
29 | Object getValue();
30 | String getShortDescription();
31 | String getLongDescription();
32 | }
33 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/inference/InferenceWorkerListener.java:
--------------------------------------------------------------------------------
1 | /* $Id: InferenceWorkerListener.java 138070 2012-01-10 19:46:08Z sbrown $
2 | */
3 |
4 | package org.opencyc.inference;
5 |
6 | //// EXTERNAL IMPORTS
7 | import java.util.EventListener;
8 | import java.util.List;
9 |
10 | /** This interface is one that must be implemented by anyone
11 | * wishing to listen in on events generated by a InferenceWorker.
12 | *
13 | * Copyright 2004 Cycorp, Inc., license is open source GNU LGPL.
14 | * the license
15 | * www.opencyc.org
16 | * OpenCyc at SourceForge
17 | *
18 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
19 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
20 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
21 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
22 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
23 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
24 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
25 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
27 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
29 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 | *
31 | * @see InferenceWorker
32 | * @author tbrussea, zelal
33 | * @version $Id: InferenceWorkerListener.java 138070 2012-01-10 19:46:08Z sbrown $
34 | */
35 | public interface InferenceWorkerListener extends EventListener {
36 |
37 | public void notifyInferenceCreated(InferenceWorker inferenceWorker);
38 |
39 | public void notifyInferenceStatusChanged(InferenceStatus oldStatus, InferenceStatus newStatus,
40 | InferenceWorkerSuspendReason suspendReason, InferenceWorker inferenceWorker);
41 |
42 | public void notifyInferenceAnswersAvailable(InferenceWorker inferenceWorker, List newAnswers);
43 |
44 | public void notifyInferenceTerminated(InferenceWorker inferenceWorker, Exception e);
45 |
46 | }
47 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/inference/InferenceWorkerSynch.java:
--------------------------------------------------------------------------------
1 | /* $Id: InferenceWorkerSynch.java 138070 2012-01-10 19:46:08Z sbrown $
2 | *
3 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
4 | * This software is the proprietary information of Cycorp, Inc.
5 | * Use is subject to license terms.
6 | */
7 |
8 | package org.opencyc.inference;
9 |
10 | //// Internal Imports
11 | import org.opencyc.api.*;
12 | import org.opencyc.util.*;
13 | import org.opencyc.cycobject.*;
14 |
15 | //// External Imports
16 | import java.util.*;
17 | import java.io.*;
18 |
19 | /**
20 | * InferenceWorker is designed to...
21 | *
22 | * Copyright 2005 Cycorp, Inc., license is open source GNU LGPL.
23 | * the license
24 | * www.opencyc.org
25 | * OpenCyc at SourceForge
26 | *
27 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
28 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
29 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
30 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
31 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
32 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
33 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
34 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
35 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
36 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
37 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
38 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
39 | *
40 | * @author tbrussea, zelal
41 | * @date July 27, 2005, 11:40 AM
42 | * @version $Id: InferenceWorkerSynch.java 138070 2012-01-10 19:46:08Z sbrown $
43 | */
44 | public interface InferenceWorkerSynch extends InferenceWorker {
45 |
46 | public List performSynchronousInference()
47 | throws IOException, TimeOutException, CycApiException;
48 |
49 | public InferenceResultSet executeQuery()
50 | throws IOException, TimeOutException, CycApiException;
51 |
52 | }
53 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/inference/IntegerInferenceParameter.java:
--------------------------------------------------------------------------------
1 | /* $Id: IntegerInferenceParameter.java 138070 2012-01-10 19:46:08Z sbrown $
2 | *
3 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
4 | * This software is the proprietary information of Cycorp, Inc.
5 | * Use is subject to license terms.
6 | */
7 |
8 | package org.opencyc.inference;
9 |
10 | //// Internal Imports
11 | import org.opencyc.cycobject.*;
12 |
13 | //// External Imports
14 |
15 | /**
16 | * InferenceParameter is designed to...
17 | *
18 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
19 | * Use is subject to license terms.
21 | *
22 | * @author tbrussea
23 | * @date August 2, 2005, 10:25 AM
24 | * @version $Id: IntegerInferenceParameter.java 138070 2012-01-10 19:46:08Z sbrown $
25 | */
26 | public interface IntegerInferenceParameter extends InferenceParameter {
27 | long getMinValue();
28 | long getMaxValue();
29 | }
30 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/parser/UnsupportedVocabularyException.java:
--------------------------------------------------------------------------------
1 | package org.opencyc.parser;
2 |
3 | //// Internal Imports
4 | import org.opencyc.cycobject.CycConstant;
5 |
6 | //// External Imports
7 |
8 | /**
9 | * Provides
10 | *
11 | * @version $Id: UnsupportedVocabularyException.java 138070 2012-01-10 19:46:08Z sbrown $
12 | * @author Tony Brusseau
13 | *
14 | * Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
15 | * the license
16 | * www.opencyc.org
17 | * OpenCyc at SourceForge
18 | *
19 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
20 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
22 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
23 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
24 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
25 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
26 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
28 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
29 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
30 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 | */
32 | public class UnsupportedVocabularyException extends Exception {
33 |
34 | //// Constructors
35 |
36 | /** Creates a new instance of InvalidConstantName. */
37 | public UnsupportedVocabularyException(CycConstant invalidConstant) {
38 | this.invalidConstant = invalidConstant;
39 | }
40 |
41 | //// Public Area
42 |
43 | public String getMessage() {
44 | return "The following vocabulary is not supported: '" + invalidConstant.cyclify() + "'.";
45 | }
46 |
47 | public CycConstant getInvalidVocabulary() { return invalidConstant; }
48 |
49 | //// Protected Area
50 |
51 | //// Private Area
52 |
53 | //// Internal Rep
54 |
55 | private CycConstant invalidConstant;
56 |
57 | //// Main
58 |
59 | }
60 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/soap/cyc-service-deploy.wsdd:
--------------------------------------------------------------------------------
1 | CachedValue is designed to...
16 | *
17 | * Copyright (c) 2008 Cycorp, Inc. All rights reserved.
18 | * Use is subject to license terms.
20 | *
21 | * Created on : Apr 1, 2010, 3:32:56 PM
22 | * Author : tbrussea
23 | * @version $Id: CachedValue.java 130515 2010-04-01 23:13:26Z tbrussea $
24 | */
25 | public class CachedValue Cancelable is designed to...
16 | *
17 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
18 | * Use is subject to license terms.
20 | *
21 | * @author tbrussea, zelal
22 | * @date October 10, 2005, 4:03 PM
23 | * @version $Id: Cancelable.java 138070 2012-01-10 19:46:08Z sbrown $
24 | */
25 | public interface Cancelable {
26 | void cancelTask();
27 | }
28 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/ConciseLoggingFormatter.java:
--------------------------------------------------------------------------------
1 | package org.opencyc.util;
2 |
3 | //// Internal Imports
4 |
5 |
6 | //// External Imports
7 | import java.util.logging.LogRecord;
8 | import java.util.logging.Logger;
9 | import java.util.logging.SimpleFormatter;
10 |
11 | /**
12 | * Provides a concise formatter for java logging output. Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
17 | * the license
18 | * www.opencyc.org
19 | * OpenCyc at SourceForge
20 | *
21 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
22 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
23 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
24 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
25 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
26 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
27 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
28 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
30 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
31 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
32 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 | */
34 | public class ConciseLoggingFormatter extends SimpleFormatter {
35 |
36 | //// Constructors
37 |
38 | /** Creates a new instance of ConciseLoggingFormatter */
39 | public ConciseLoggingFormatter() {
40 | }
41 |
42 | //// Public Area
43 |
44 | /**
45 | * Formats the given log record.
46 | */
47 | public String format (LogRecord logRecord) {
48 | StringBuffer stringBuffer = new StringBuffer();
49 | if (logRecord == null)
50 | stringBuffer.append("null logRecord received by ConciseLoggingFormatter");
51 | else if (logRecord.getMessage() == null)
52 | stringBuffer.append("null logRecord message received by ConciseLoggingFormatter");
53 | else
54 | stringBuffer.append(logRecord.getMessage());
55 | stringBuffer.append('\n');
56 | return stringBuffer.toString();
57 | }
58 |
59 | //// Protected Area
60 |
61 | //// Private Area
62 |
63 | //// Internal Rep
64 |
65 | //// Main
66 |
67 | }
68 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/CycWorkerEvent.java:
--------------------------------------------------------------------------------
1 | /*
2 | * CycWorkerEvent.java
3 | *
4 | * Created on March 22, 2002, 9:33 AM
5 | */
6 | package org.opencyc.util;
7 |
8 | import java.util.*;
9 |
10 | /**
11 | * This is an event object for CycWorker events. It is currently
12 | * an unmodified subclass of EventObject, but more functionality may
13 | * be added in the future.
14 | *
15 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
16 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
17 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
18 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
19 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
20 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
21 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
24 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
26 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 | * @author tbrussea
28 | * @see CycWorker
29 | * @see CycWorkerListener
30 | * @see SwingWorker
31 | * @version $Id: CycWorkerEvent.java 138070 2012-01-10 19:46:08Z sbrown $
32 | */
33 | public class CycWorkerEvent extends EventObject {
34 |
35 | /**
36 | * Creates a new instance of CycWorkerEvent.
37 | * @param source The CycWorker that is generating this event.
38 | **/
39 | public CycWorkerEvent(Object source) {
40 | super(source);
41 | }
42 |
43 | }
44 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/CycWorkerListener.java:
--------------------------------------------------------------------------------
1 | /*
2 | * CycWorkerListener.java
3 | *
4 | * Created on March 22, 2002, 9:25 AM
5 | */
6 | package org.opencyc.util;
7 |
8 | import java.util.*;
9 |
10 | /**
11 | * This is an interface to be used by classes that wishes to listen
12 | * to a CycWorker's events.
13 | *
14 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
15 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
16 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
17 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
18 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
19 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
20 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
21 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
23 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
25 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 | * @see CycWorker
27 | * @see CycWorkerEvent
28 | * @see SwingWorker
29 | * @author tbrussea
30 | * @version $Id: CycWorkerListener.java 138070 2012-01-10 19:46:08Z sbrown $
31 | */
32 | public interface CycWorkerListener extends EventListener {
33 |
34 | /**
35 | * Called when the CycWorker is started.
36 | * @param evt The CycWorkerEvent object.
37 | **/
38 | void notifyWorkerStarted(CycWorkerEvent evt);
39 |
40 | /**
41 | * Called when the CycWorker is interrupted.
42 | * @param evt The CycWorkerEvent object.
43 | **/
44 | void notifyWorkerInterrupted(CycWorkerEvent evt);
45 |
46 | /**
47 | * Called when the CycWorker is finished.
48 | * @param evt The CycWorkerEvent object.
49 | **/
50 | void notifyWorkerFinished(CycWorkerEvent evt);
51 | }
52 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/DefaultCancelable.java:
--------------------------------------------------------------------------------
1 | /* $Id: DefaultCancelable.java 138070 2012-01-10 19:46:08Z sbrown $
2 | *
3 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
4 | * This software is the proprietary information of Cycorp, Inc.
5 | * Use is subject to license terms.
6 | */
7 |
8 | package org.opencyc.util;
9 |
10 | //// Internal Imports
11 |
12 | //// External Imports
13 |
14 | /**
15 | * The current implementation is a toy implementation that merely makes
16 | * it possible to write a unit test for CancelManager.
17 | * DefaultCancelable is designed to...
18 | *
19 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
20 | * Use is subject to license terms.
22 | *
23 | * @author zelal
24 | * @date October 14, 2005, 2:29 PM
25 | * @version $Id: DefaultCancelable.java 138070 2012-01-10 19:46:08Z sbrown $
26 | */
27 | public class DefaultCancelable implements Cancelable {
28 |
29 | //// Constructors
30 |
31 | /** Creates a new instance of DefaultCancelable. */
32 | public DefaultCancelable(String name) {
33 | this.taskName = name;
34 | }
35 |
36 | //// Public Area
37 |
38 | public void cancelTask() {
39 | System.out.println("Task " + taskName + " canceled!");
40 | }
41 |
42 | public String toString() {
43 | return taskName;
44 | }
45 | //// Protected Area
46 |
47 | //// Private Area
48 |
49 | //// Internal Rep
50 | String taskName;
51 |
52 | //// Main
53 |
54 | /**
55 | * @param args the command line arguments
56 | */
57 | public static void main(String[] args) {
58 | }
59 |
60 |
61 |
62 | }
63 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/Entry.java:
--------------------------------------------------------------------------------
1 | /* $Id: Entry.java 138070 2012-01-10 19:46:08Z sbrown $
2 | *
3 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
4 | * This software is the proprietary information of Cycorp, Inc.
5 | * Use is subject to license terms.
6 | */
7 |
8 | package org.opencyc.util;
9 |
10 | //// Internal Imports
11 |
12 | //// External Imports
13 |
14 | /**
15 | * Entry is designed to...
16 | *
17 | * Copyright (c) 2004 - 2006 Cycorp, Inc. All rights reserved.
18 | * Use is subject to license terms.
20 | *
21 | * @author mreimers
22 | * @date August 11, 2004, 1:00 PM
23 | * @version $Id: Entry.java 138070 2012-01-10 19:46:08Z sbrown $
24 | */
25 | public interface Entry {
26 |
27 | public Object getKey();
28 | public Object getValue();
29 |
30 | }
31 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/OpenCycTaskInterruptedException.java:
--------------------------------------------------------------------------------
1 | package org.opencyc.util;
2 |
3 | /**
4 | * Implements an exception class for notification when a Cyc server
5 | * communication has timed out. When this is thrown, the outstanding
6 | * task on the Cyc server is arborted.
7 | *
8 | * @version $Id: OpenCycTaskInterruptedException.java 138070 2012-01-10 19:46:08Z sbrown $
9 | * @author Eric E. Allen Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
12 | * the license
13 | * www.opencyc.org
14 | * OpenCyc at SourceForge
15 | *
16 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
17 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
18 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
19 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
20 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
21 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
23 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
25 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
27 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 | */
29 | public class OpenCycTaskInterruptedException extends RuntimeException {
30 |
31 | /**
32 | * Construct a TimeOutException object with the
33 | * specified throwable.
34 | * @param t the throwable that caused this exception
35 | */
36 | public OpenCycTaskInterruptedException(InterruptedException ie) {
37 | super(ie);
38 | }
39 |
40 | }
41 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/Pair.java:
--------------------------------------------------------------------------------
1 | package org.opencyc.util;
2 |
3 | import java.util.StringTokenizer;
4 |
5 | /**
6 | * Implements an ordered pair, two associated
7 | *
8 | * @version $Id: Pair.java 138070 2012-01-10 19:46:08Z sbrown $
9 | * @author Bjorn Aldag
10 | *
11 | * Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
12 | * the license
13 | * www.opencyc.org
14 | * OpenCyc at SourceForge
15 | *
16 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
17 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
18 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
19 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
20 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
21 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
23 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
25 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
27 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 | */
29 | public class Pair extends AbstractPair{
30 |
31 | /**
32 | * Constructs a new Pair object.
33 | */
34 | public Pair(){
35 | }
36 |
37 | /**
38 | * Constructs a new Pair object given two components.
39 | *
40 | * @param component1 the first component of the Pair
41 | * @param component2 the second component of the Pair
42 | */
43 | public Pair(Object component1, Object component2) {super(component1, component2);}
44 |
45 | /**
46 | * Returns a ParseException is designed to...
12 | *
13 | * Copyright (c) 2010 Cycorp, Inc. All rights reserved.
14 | * Use is subject to license terms.
16 | *
17 | * Created on : May 24, 2010, 10:37:18 AM
18 | * Author : nwinant
19 | * @version $Id: ParseException.java 131027 2010-05-25 00:30:23Z nwinant $
20 | */
21 | public class ParseException extends Exception {
22 |
23 | /** Creates a new instance of ParseException. */
24 | public ParseException(final String message) {
25 | super(message);
26 | }
27 |
28 | }
29 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/Span.java:
--------------------------------------------------------------------------------
1 | /*
2 | * A representation of a start/end pair of ints.
3 | */
4 | package org.opencyc.util;
5 |
6 | /**
7 | *
8 | * @author baxter
9 | */
10 | public class Span extends AbstractPair {
11 |
12 | public Span(Object component1, Object component2) {
13 | throw new IllegalArgumentException("Span components must be ints.");
14 | }
15 |
16 | public Span(int start, int end) {
17 | super(start, end);
18 | }
19 |
20 | public int getStart() {
21 | return (Integer) component1;
22 | }
23 |
24 | public int getEnd() {
25 | return (Integer) component2;
26 | }
27 | }
28 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/StackWithPointer.java:
--------------------------------------------------------------------------------
1 | package org.opencyc.util;
2 |
3 | import java.util.Stack;
4 |
5 | /**
6 | * Extends the Stack class to provide a stack pointer.
7 | *
8 | * @version $0.1$
9 | * @author Stephen L. Reed
10 | *
11 | * Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
12 | * the license
13 | * www.opencyc.org
14 | * OpenCyc at SourceForge
15 | *
16 | * THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND
17 | * ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
18 | * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
19 | * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC
20 | * ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
21 | * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
23 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
25 | * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE
27 | * BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 | */
29 | public class StackWithPointer extends Stack {
30 |
31 | /**
32 | * Stack pointer.
33 | */
34 | public int sp = 0;
35 |
36 | /**
37 | * Constructs a new empty StackWithPointer object.
38 | */
39 | public StackWithPointer() {
40 | }
41 |
42 | /**
43 | * Pushes the argument onto the stack.
44 | *
45 | * @param item object to be pushed onto the Stack
46 | * @return Object that was pushed onto the Stack
47 | */
48 | public Object push ( Object item ) {
49 | sp++;
50 | return super.push(item);
51 | }
52 |
53 | /**
54 | * Returns the top of the stack, setting the new top of stack item.
55 | *
56 | * @return Object that was on the top of the Stack
57 | */
58 | public Object pop() {
59 | --sp;
60 | return super.pop();
61 | }
62 | }
63 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/TestClass.java:
--------------------------------------------------------------------------------
1 | package org.opencyc.util;
2 |
3 | public class TestClass {
4 | static void hello() {
5 | System.out.println("hello world");
6 | }
7 | }
8 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/package.html:
--------------------------------------------------------------------------------
1 |
2 | Provides a set of utility classes to support the OpenCyc Interface.
3 |
4 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/query/CycQuery.java:
--------------------------------------------------------------------------------
1 | /*
2 | * CycQuery.java
3 | *
4 | * Created on August 11, 2004, 10:48 AM
5 | */
6 |
7 | package org.opencyc.util.query;
8 |
9 | import org.opencyc.inference.InferenceStatus;
10 | /**
11 | * @version $Id: CycQuery.java 138070 2012-01-10 19:46:08Z sbrown $
12 | * @author mreimers
13 | */
14 | public interface CycQuery extends Query {
15 |
16 | public InferenceStatus getInferenceStatus();
17 | }
18 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/query/CycQueryEffortConstraint.java:
--------------------------------------------------------------------------------
1 | /*
2 | * CycQueryEffortConstraint.java
3 | *
4 | * Created on August 11, 2004, 10:46 AM
5 | */
6 |
7 | package org.opencyc.util.query;
8 |
9 | /**
10 | * @version $Id: CycQueryEffortConstraint.java 138070 2012-01-10 19:46:08Z sbrown $
11 | * @author mreimers
12 | */
13 | public interface CycQueryEffortConstraint extends EffortConstraint {
14 |
15 | }
16 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/query/CycQuerySpecification.java:
--------------------------------------------------------------------------------
1 | /*
2 | * CycQuerySpecification.java
3 | *
4 | * Created on August 11, 2004, 10:49 AM
5 | */
6 |
7 | package org.opencyc.util.query;
8 |
9 | import org.opencyc.cycobject.CycList;
10 |
11 | /**
12 | * @version $Id: CycQuerySpecification.java 138070 2012-01-10 19:46:08Z sbrown $
13 | * @author mreimers
14 | */
15 | public interface CycQuerySpecification extends QuerySpecification {
16 |
17 | public CycList getQueryFormula();
18 | }
19 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/query/CycQueryStatus.java:
--------------------------------------------------------------------------------
1 | /*
2 | * CycQueryStatus.java
3 | *
4 | * Created on August 11, 2004, 10:49 AM
5 | */
6 |
7 | package org.opencyc.util.query;
8 |
9 | /**
10 | * @version $Id: CycQueryStatus.java 138070 2012-01-10 19:46:08Z sbrown $
11 | * @author mreimers
12 | */
13 | public class CycQueryStatus extends QueryStatus {
14 |
15 | public CycQueryStatus(String status) {
16 | super(status);
17 | }
18 | }
19 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/query/DefaultQueryResult.java:
--------------------------------------------------------------------------------
1 | /*
2 | * A default implementation of QueryResult
3 | */
4 | package org.opencyc.util.query;
5 |
6 | //// External Imports
7 | import java.util.ArrayList;
8 | import java.util.Collections;
9 | import java.util.List;
10 |
11 | //// Internal Imports
12 | import org.opencyc.cycobject.CycVariable;
13 | import org.opencyc.inference.InferenceAnswerIdentifier;
14 |
15 | /**
16 | *
17 | * @author baxter
18 | */
19 | public class DefaultQueryResult implements QueryResult {
20 |
21 | public DefaultQueryResult(final List bindings, final InferenceAnswerIdentifier inferenceAnswerIdentifier) {
22 | this.answerID = (inferenceAnswerIdentifier == null) ? null : inferenceAnswerIdentifier.getAnswerID();
23 | if (bindings != null) {
24 | this.bindings.addAll(bindings);
25 | }
26 | }
27 |
28 | protected DefaultQueryResult() {
29 | this(null, null);
30 | }
31 |
32 | public List Performing TMS (Truth-Maintenance) on an assertion essentially
25 | asks the system to reevaluate all of the arguments for that
26 | assertion. This is most useful when the assertion has a deduced
27 | source which depends on an HL (Heuristic Level) support which no
28 | longer holds. Thus, if an assertion looks like it has a stale HL
29 | support justifying it, performing TMS on it will make the stale
30 | argument go away. Choosing to perform full TMS on a constant involves performing
33 | TMS on every assertion involving the constant. Since this is
34 | potentially very time consuming (depending on the number of
35 | assertions involving the constant), this confirmation page
36 | appears as a precaution whenever the "Force TMS" link is selected
37 | in the Constant Index. The text in the middle of the confirmation page lists both the
40 | constant on which TMS is to be performed, as well as the number
41 | of assertions that will be affected if TMS is done. If this
42 | number is somewhat small (e.g., under several hundred), the time
43 | involved will be trivial; however, a larger number of assertions
44 | (e.g., several thousand) will require more time to complete. Press the [Do it!] button to force TMS on every
47 | assertion involving the given constant. Press the [No] button to abort the TMS operation and
50 | return to the Constant Index. Most uses of the CYC® KB Browser involve using the
25 | standard Term Index for viewing assertions involving a displayed
26 | constant. However, in addition to this main index, there may be
27 | several other indices available for viewing assertions, depending
28 | on the version of CYC® being used. These indices, if
29 | available, are listed on the Auxiliary Indices page. To select an auxiliary index, simply click on its name in the
32 | list. The Main Display Frame will appear as usual, but the
33 | indexing scheme/content will be different. To return to the standard Term Index, simply choose a constant
36 | to display, either through the Toolbar or by clicking on the
37 | highlighted constant. If the constant cannot be displayed via the
38 | selected auxiliary index (most cannot), the standard Term Index
39 | will be used. To change the assertion direction of the displayed assertion,
23 | select a new direction (Forward or Backward), then press the
24 | [Change Direction] button. The assertion itself is
25 | displayed in its EL form at the bottom of the page. This will delete the assertion from the KB, and reassert it
28 | with the new direction. This is better than using the Assert
29 | Similar Formula facility, since it is usually undesirable to have
30 | the same formula asserted with two different directions at the
31 | same time. There is a third direction, Code, for assertions for which
34 | special HL modules have been written to supplant the need for
35 | inference using the assertion itself. These assertions are left
36 | in the KB for pedagogical and documentation reasons, but are not
37 | actually used in inference (outside of the HL modules). Code
38 | assertions cannot be edited via the HTML interface, and the
39 | ability to make Code assertions is only possible in versions of
40 | CYC® with access to the SubL source code. To restore the setting for assertion direction to its value
43 | before editing, press the [Current Value] button. To abort the edit completely and return to the previous page,
46 | press the [Abort Edit] button. For more information on assertions and assertion directions,
49 | see The Syntax of
50 | CycL. To change the #$Microtheory
24 | (Mt) that the displayed meta-assertions are asserted in, enter
25 | the new microtheory into the input window, then press the
26 | [Change Mt] button. The assertion governed by these
27 | meta-assertions is displayed, in its EL form, at the top of the
28 | page. The affected meta-assertions are displayed in their EL form
29 | at the bottom of the page, with checkboxes
30 | pre-selected.Un-checking any of the checkboxes will leave the Mt
31 | of the respective meta-assertions the same. Changing the meta-assertion's Mt will delete the
34 | meta-assertion from the old microtheory and reassert it into the
35 | new one. To simply add another meta-assertion to a different
36 | microtheory, while still leaving the original meta-assertion
37 | intact the old Mt, go back to the Assertion Display Frame, click
38 | on "Assert Similar", and enter the original meta-assertion using
39 | a new Mt. For help with the Assert Similar Formula tool, see
40 | Assert Similar
41 | Formula Help. To take advantage of constant completion, enter the first part
44 | of a microtheory name, then press the [Complete]
45 | button. To clear the input field, press the [Clear] button. To abort the edit completely and return to the previous page,
50 | press the [Abort Edit] button. To change the #$Microtheory
24 | (Mt) that the displayed assertion is asserted in, enter the new
25 | microtheory into the input window, then press the [Change
26 | Mt] button. The assertion itself is displayed in its EL form
27 | at the bottom of the page. This will delete the assertion from the old microtheory and
30 | reassert it into the new one. To simply add the assertion to the
31 | new microtheory, while still leaving it in the old Mt, go back to
32 | the Assertion Display Frame, click on "Assert Similar", and enter
33 | the original assertion using a new Mt. For help with the Assert
34 | Similar Formula tool, see Assert Similar Formula Help. To take advantage of constant completion, enter the first part
38 | of a microtheory name, then press the [Complete]
39 | button. To clear the input field, press the [Clear] button. To restore the microtheory name in the input field to its
44 | value before editing, press the [Current Value]
45 | button. To abort the edit completely and return to the previous page,
48 | press the [Abort Edit] button. For more information on assertions and microtheories, see
51 | The Syntax of
52 | CycL. To change the assertion strength of the displayed assertion,
23 | select a new truth strength (Default or Monotonic), then press
24 | the [Change Strength] button. The assertion itself is
25 | displayed in its EL form at the bottom of the page. This will delete the assertion from the KB, and reassert it
28 | with the new strength. This is better than using the Assert
29 | Similar Formula facility, since it is usually undesirable to have
30 | the same formula asserted with two different strengths at the
31 | same time. Since changing the truth value of an assertion from TRUE to
34 | FALSE or vice-versa is effectively reversing the assertion, that
35 | kind of change is not allowed through this facility. Only the
36 | truth strength of the assertion can be changed here, not the
37 | complete truth value. To change the truth value (not strength),
38 | go back to the Assertion Display Frame, click on "Edit", and
39 | change the truth value. For help with the Edit Formula tool, see
40 | the Edit Assertion
41 | Help. To restore the setting for assertion strength to its value
44 | before editing, press the [Current Value] button. To abort the edit completely and return to the previous page,
47 | press the [Abort Edit] button. For more information on assertions and assertion strengths,
50 | see The Syntax of
51 | CycL. Knowledge entry work at Cycorp is often done under a
25 | particular entry mode, or project, to help detemine where certain
26 | knowledge falls within the CYC® ontology. However, these
27 | projects are for Cycorp internal uses only, and releases of the
28 | CYC® System may or may not use one or more Cyc-Based Project
29 | as a guideline for determining the content of the release, but
30 | finished releases will very likely diverge from this guideline,
31 | in the manner of additions, subtractions, refinements, and
32 | more. The project currently selected is listed after the "Current
35 | Project" link in the Login Area in the Toolbar frame at the top
36 | of the screen. The default value is "General Cyc KE", meaning
37 | that the knowledge entry done will not be attributed to any
38 | specific project. The projects available for choosing are listed
39 | on the Choose KE Project page, which can be reached by clicking
40 | on the "Current Project" link. Clicking on the name of any
41 | project in this list will take you the KB Browser display for
42 | that constant, where the #$comment will give an
44 | explanation of how and when it is to be used. To choose a new project, simply select the radio button to the
49 | left of the desired project. Then press the [Submit]
50 | button. All operations to the KB will now be marked with the new
51 | project, until another project is selected. To return the radio buttons to their original settings, press
54 | the [Reset] button. A clause struc is a knowledge base storage
23 | optimization for those cases where the same assertion
24 | sentence is asserted or concluded (through forward inference)
25 | in different micro-theories. In those situations, the CYC KB will store the assertion
28 | sentence once, inside a clause struc(ture), and reference
29 | that clause struc from within the assertion objects. Since clearing the local queue will cause all operations in
23 | the queue to be discarded without being processed, and may result
24 | in loss of work, a confirmation is built into the system. To keep the local queue intact and return to the previous
27 | page, press the [No] button. To go ahead and delete the entire queue, press the [Yes,
30 | Clear Local Queue and Restart Agenda] button. If you want to keep a record of the operations in the local
33 | queue (e.g., to try running them again at some later time), press
34 | the [No] button to return to the previous page. Then view
35 | the contents of the local queue and copy some or all of the
36 | operations to a text file. Frequently, after clearing the local queue, the next step is
39 | to restart the agenda. If you select [Yes, Clear Local Queue
40 | and Restart Agenda], the agenda will be restarted once the
41 | local queue is gone. Since clearing the local queue will cause all operations in
23 | the queue to be discarded without being processed, and may result
24 | in loss of work, a confirmation is built into the system. To keep the local queue intact and return to the previous
27 | page, press the [No] button. To go ahead and delete the entire queue, press the [Yes,
30 | Clear Local Queue] button. If you want to keep a record of the operations in the local
33 | queue (e.g., to try running them again at some later time), press
34 | the [No] button to return to the previous page. Then view
35 | the contents of the local queue and copy some or all of the
36 | operations to a text file. Killing a constant removes it from the KB; any assertions
25 | which involve it are also removed. The number of assertions
26 | involving the constant will be listed along with the constant to
27 | be killed. It is impossible to reverse a kill (short of creating a new
30 | constant by the same name and reasserting every assertion which
31 | involved the old constant), so it is very important to be sure
32 | that killing is what is desired. To remove the constant from the KB and delete all assertions
35 | involving it, press the [Yes, Kill] button. The number of
36 | assertions that will be removed are listed just above the
37 | confirmation buttons. To leave the constant intact and return to the previous frame,
40 | press the [No] button. Killing a constant removes it from the KB entirely. If a new
45 | constant is then created with the same name (i.e., the constant
46 | was killed to remove all of its assertions and allow the user to
47 | start over), it will be created with a new constant ID but the
48 | same name, which might be problematic. A better approach is to use the Recreate Constant tool, which
51 | removes from the KB all of the assertions involving that
52 | constant, while leaving the constant itself intact. This is a
53 | much cleaner and safer way to start over. To reach the Recreate Constant tool, click on the "Recreate"
56 | link. This page allows the user to create a new CYC®
23 | constant. To see if any existing constants have similar beginnings,
34 | enter the intial part of the name into the window and press the
35 | [Complete] button. Possible completions will be displayed
36 | in a separate completion window which will be reused for future
37 | completions. Completion is case sensitive, and requires that
38 | JavaScript is enabled in your browser. To clear the window and start again, press the [Clear]
41 | button. To abort out of the create constant option and return to the
44 | previous frame, press the [Cancel Create] button. Certain assertions in CYC® are used to conclude new
25 | assertions. Those new assertions are the dependents of the
26 | original assertion, because they are dependent upon its existence
27 | for their own. If the original assertion is deleted, its
28 | dependents will also be deleted unless they can still be derived
29 | from another source. Dependents are essentially the converse of arguments. That is,
32 | if assertion A is an argument for assertion B, then B is a
33 | dependent of A. For more information on arguments, see the
34 | Arguments Help. Not all assertions in CYC® will have dependents, since
37 | many conclusions are not drawn until backchaining is applied
38 | during inference, and CYC® does not necessarily permanently
39 | store those conclusions. This page lists the original assertion, followed by all of its
42 | immediate dependents. Each of the dependents is numbered, simply
43 | for reference by the user. A single dependent would be listed as follows: The Assertion Diagnostics tool provides the user with an
23 | internal, low-level diagnosis of the selected assertion. When the Assertion Diagnostics tool is selected, CYC® runs
26 | a set of diagnostics on the selected assertion and returns the
27 | results. The interface for this tool is still in development. A more
30 | detailed description of this tool will be available at a later
31 | time. This page allows the user to find an assertion in
23 | Cyc®. To find an assertion, enter the assertion sentence into the
26 | "EL Sentence" box and press [Find Assertion]. If the
27 | sentence is asserted in an accessible microtheory, it (and the
28 | microtheory in which it is asserted) will be displayed. The Browser History provides a list of constants, NATs
23 | (non-atomic terms), assertions, and sentences that have been
24 | recently accessed by the current user in the current CYC®
25 | image. Clicking on the "Clear History" link will remove all CycL
28 | terms that are currently in the KB Browser History, returning the
29 | Browser History to its initial state. By default, formulas in the KB Browser History are displayed
32 | in HL format. To view them in EL format, click on the "EL
33 | Formulas" link. One can use this link to toggle back and forth
34 | between the HL and EL display modes. The KB Browser History is divided into four sections: Recreating a constant removes from the KB all of the
25 | assertions involving that constant, while leaving the constant
26 | itself intact. It is designed for those times when you want to
27 | get rid of old information on a constant, and start over
28 | anew. Recreating a constant is the recommended way of starting over
31 | on a constant. Killing the constant and then creating a new one
32 | by the same name could be problematic, and thus should be
33 | avoided. Kills should be reserved for when the constant itself
34 | should be removed from the KB, not just the assertions on it. It is impossible to reverse a recreation (short of reasserting
37 | all of the assertions that involved it before the recreation), so
38 | it is very important to be sure that killing is what is
39 | desired. To recreate the constant and delete from the KB all assertions
42 | involving it, press the [Yes, Recreate] button. The number
43 | of assertions that will be removed are listed just above the
44 | confirmation buttons. To leave the constant and its assertions intact and return to
47 | the previous frame, press the [No] button. Important: before renaming any CYC® constant, be sure
23 | to read the document Renaming
24 | and Killing Constants, and follow the procedures outlined
25 | there. To rename a constant in the KB, enter the new constant name
30 | into the input window, then press the [Rename] button. This renames the constant in the KB, but leaves intact all
33 | assertions involving the constant. In this way, using the Rename
34 | Constant facility is far preferable to killing a constant and
35 | then re-creating it under a new name, which will cause all
36 | assertions involving it to be deleted and lost. To take advantage of constant completion, enter the first part
39 | of a microtheory name, then press the [Complete]
40 | button. To clear the input field and start over, press the
43 | [Clear] button. To restore the constant name in the input field to its value
46 | before editing, press the [Current Name] button. To abort the rename completely and return to the previous
49 | page, press the [Cancel Rename] button. For information on naming strategies for CYC® constants,
52 | see The Syntax
53 | of CycL. This page displays a CycL sentence. This sentence might or
25 | might not correspond with any assertion in the KB. It might be
26 | true, false, or unknown. There are a number of different operations involving CycL
51 | sentences, many of which are similar to operations on assertions. The Display by Date facility allows the user to find and
23 | display constants or assertions based on the date of their entry
24 | into the KB. Simply specify the kind of object to display
25 | (constant or assertion), starting and ending dates, and whether
26 | to limit the search to any particular cyclist (knowledge-entry
27 | person). To search for constants, click on the button to the left of
32 | "Constants"; to search for assertions, click on the button for
33 | "Assertions". It is not possible to search for both at the same
34 | time. You can limit the search by choosing start and ending dates.
39 | The search will return all constants or assertions created
40 | between (and including) those dates. Setting the start and ending
41 | dates to the same date will search over that date only. The
42 | default value for both start and ending dates is today's
43 | date. If you want to search for constants or assertions created by a
48 | specific user, you can enter that user's CYC® constant (minus
49 | the "#$") in the input window. The default value is the CYC®
50 | constant of whatever user is logged into the current CYC®
51 | image. The search can be further restricted by setting the start
52 | and ending dates, described above. After setting the search parameters, display the assertions by
55 | pressing the [Submit] button. To reset the parameters to their default values, press the
58 | [Reset] button. This page provides a little more detail about the argument
23 | sources for a deduced assertion than the Arguments page. The detailed description of an argument source contains three
26 | sections: If an argument for a deduced assertion originated via a
41 | special HL-module, the name of that module (e.g. :ISA) will
42 | apppear in place of the standard colored ball in front of the
43 | argument. The user can add all of the selected operations to the agenda
23 | by pressing [Add Forms to Agenda]. An operation counts as
24 | "selected" if the box in its row under "OK?" is clicked. By
25 | default, all of the operations are selected. See also Template-based OE Help. This tool examines a CycL formula for syntactic and semantic
25 | well-formedness, allowing the user to test for many common errors
26 | made when writing formulas before actually attempting to assert
27 | such a formula. If no errors can be detected, the tool responds with "OK". Certain constants are included in a Cyc Knowledge Base simply
23 | to support or enable one or more Cyc-based applications or
24 | capabilities. These constants are not used to represent common
25 | sense knowledge; nor are they used to represent knowledge shared
26 | by a significant subset of humans, such as specialized domain
27 | knowledge (e.g. the knowledge of experts in some field of study,
28 | such as nuclear physics). Any constant that meets this
29 | description should be made an instance either of
30 | #$ImplementationConstant or of one of its specializations. This
31 | will help Cyc to distinguish its common sense knowledge from its
32 | application-specific knowledge. For example, suppose you create a Cyc-based application (an
35 | application which relies on the Cyc API) called MailManager, and
36 | you want the program to maintain within the Cyc KB a reified list
37 | of e-mail addresses, called #$MailManagerAddresses. To indicate
38 | the application-specific nature of MailManager constants, you
39 | could first create the new constant
40 | #$MailManagerApplicationConstant as an instance of
41 | #$ApplicationConstant. (#$ApplicationConstant is a specialization
42 | of #$ImplementationConstant.) Then, you could assert (#$isa
43 | #$MailManagerAddresses #$MailManagerApplicationConstant). After asserting that TERM is an instance either of
46 | #$ImplementationConstant or of one of its specializations, the
47 | following sentence will appear just below the term's name in the
48 | Term Content frame of the KB Browser: TERM is not used to
51 | represent common sense knowledge. This page allows you to set up appropritae filters for review
23 | of constants and assertions that have been created. It's meant to
24 | make reviewing KE easier! By turning on tags and links, relevant unreviewed constants
27 | and/or assertions will get a little tag which links to a review
28 | page. These pages allow the reviewer to assert that they approve
29 | of the constant or assertion as well as to attach additional
30 | comments to the constant or assertion. Filters for these specific adornments can also be used,
33 | including the start and end date, and the particular cyclists who
34 | must be the #$myCreator for the assertion and or constant. To restore the settings to the state they held when entering
37 | this page, press the [ Current Values] button. To abort the edit completely and return to the previous page,
40 | press the [Back] or [Cancel] buttons.
This software is the proprietary information of Cycorp, Inc.
20 | *
This software is the proprietary information of Cycorp, Inc.
22 | *
This software is the proprietary information of Cycorp, Inc.
20 | *
This software is the proprietary information of Cycorp, Inc.
20 | *
This software is the proprietary information of Cycorp, Inc.
19 | *
This software is the proprietary information of Cycorp, Inc.
19 | *
13 | *
14 | * @version $Id: ConciseLoggingFormatter.java 138070 2012-01-10 19:46:08Z sbrown $
15 | * @author Stephen L. Reed
16 | *
This software is the proprietary information of Cycorp, Inc.
21 | *
This software is the proprietary information of Cycorp, Inc.
19 | *
10 | *
11 | * Objects.Pair representation of a String.
47 | *
48 | * @param pairString the string to be parsed into a Pair object
49 | * @return a String.
50 | * @throws DataFormatException when the given string is not parsable to a
51 | * Pair
52 | */
53 | public static Pair parsePair(String pairString) {
54 | StringTokenizer components = new StringTokenizer(pairString, separators);
55 | return new Pair(components.nextToken(), components.nextToken());
56 | }
57 | }
58 |
--------------------------------------------------------------------------------
/api/java/openCycMaven/src/main/java/org/opencyc/util/ParseException.java:
--------------------------------------------------------------------------------
1 | /* $Id: ParseException.java 131027 2010-05-25 00:30:23Z nwinant $
2 | *
3 | * Copyright (c) 2010 Cycorp, Inc. All rights reserved.
4 | * This software is the proprietary information of Cycorp, Inc.
5 | * Use is subject to license terms.
6 | */
7 |
8 | package org.opencyc.util;
9 |
10 | /**
11 | *
This software is the proprietary information of Cycorp, Inc.
15 | *
E-Mail Comments to: doc@cyc.comConfirm Constant TMS
16 | Page Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Performing TMS
23 |
24 |
52 | 
Go to Top
54 |
55 |
56 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-auxiliary-indices.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comAuxiliary Indices
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Auxiliary Indices
23 |
24 |
41 | Go to Top
43 |
44 |
45 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-change-direction.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comChange Assertion
16 | Direction Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
52 | Go to Top
54 |
55 |
56 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-change-meta-assertion-mt.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 | Change Meta-Assertion Mt Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 |
52 | Go to Top
54 |
55 |
56 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-change-mt.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments
17 | to: doc@cyc.comChange Assertion Mt Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
54 | Go to Top
56 |
57 |
58 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-change-strength.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 | Change Assertion Strength Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
53 | Go to Top
55 |
56 |
57 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-choose-project.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comChoose KE Project
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | KE Projects
23 |
24 | Choosing a New Project
47 |
48 |
56 | Go to Top
58 |
59 |
60 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-clause-struc.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comClause Struc Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
32 | Go to Top
34 |
35 |
36 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-conceptually-related-terms.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 | Conceptually Related Terms Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-confirm-clear-local-and-restart.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comClear Local Queue
16 | and Restart Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
43 | Go to Top
45 |
46 |
47 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-confirm-clear-local-queue.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comClear Local Queue
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
38 | Go to Top
40 |
41 |
42 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-confirm-kill.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comConfirm Constant
16 | Kill Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Killing a Constant
23 |
24 | Recreating a Constant
43 |
44 |
58 | Go to Top
60 |
61 |
62 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-constant-review.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comConstant Review Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-copy-from-similar.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comCopy from Similar Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-create.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comConstant Creation
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Creating New Constants
To create a
26 | new constant in the KB, enter the name the new constant will have
27 | (minus the "#$"), then press the [Create Constant] button.
28 | If a constant already exists by that name, a message will appear
29 | to that effect. Once a new constant is created, don't forget to
30 | assert defining information about it, including an English
31 | #$comment.
32 |
33 |
46 | Go to Top
48 |
49 |
50 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-dependents.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comDependents
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Assertion Dependents
23 |
24 |
47 | 1 : Deduced #3565200 supporting :
48 | [Dependent-Assertion-1]
49 |
Clicking on "Deduced" shows in more detail the argument
50 | source for that deduced/dependent assertion.
51 |
52 | Go to Top
54 |
55 |
56 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-describe-nat.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comDescribe NAT Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-diagnose-assertion.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comAssertion
16 | Diagnostics Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
33 | Go to Top
35 |
36 |
37 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-elaborate-term.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comElaborate Term Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-find-assertion.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comFind Assertion Help
18 | Copyright© 2005—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
30 | Go to Top
32 |
33 |
34 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-history.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comBrowser History
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
39 |
Clicking on the "Clear Constant History" link will remove
52 | all CycL constants that are currently in the KB Browser History,
53 | returning that part of the Browser History to its initial state
54 | (and similarly for "Clear NAT History," "Clear Assertion
55 | History," and "Clear Sentence History").
56 |
57 | Go to Top
59 |
60 |
61 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-hl-support.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comHL Support Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-kct-test-set.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comKCT Test Set Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-merge.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comMerge Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-partition-load.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comLoad Partition Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-partition-save.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comSave Partition Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-recreate.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comRecreate Constant
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Recreating a Constant
23 |
24 |
49 | Go to Top
51 |
52 |
53 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-rename-variables.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comRename Variables Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-rename.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comRename Constant
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Renaming a Constant
28 |
29 |
55 | Go to Top
57 |
58 |
59 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-sentence.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comCycL Sentence Tools
16 | Help
18 | Copyright© 2002—2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Viewing a CycL Sentence
23 |
24 | CycL Sentence Details
29 |
30 |
31 |
47 |
48 | Operations on CycL Sentences
49 |
50 |
55 |
For more information about CycL sentences, read the Syntax of CycL.
67 |
68 |
69 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-show-when-handler.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comShow When Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-show-when.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comDisplay by Date
16 | Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 | Constant vs. Assertion
30 |
31 | Dates to Search
37 |
38 | Cyclist to Examine
46 |
47 |
60 | Go to Top
62 |
63 |
64 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-source.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.com(Deduced) Argument
16 | Source Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
29 |
39 |
40 |
45 | Go to Top
47 |
48 |
49 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-toe-template-results.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comTemplate Results
16 | Help
18 | Copyright© 2002—2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 |
29 | Go to Top
31 |
32 |
33 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-viewpoint.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comViewpoint Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-wff-check-formula.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 | Check Formula Well-formedness Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/cb-wff.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comFormula Diagnosis
16 | Help
18 | Copyright© 1998—2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Diagnosing a Formula
23 |
24 |
31 | Go to Top
33 |
34 |
35 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/implementation-constants.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comIdentifying Terms
16 | that are Not Used for Common Sense
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
53 | Go to Top
55 |
56 |
57 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/ke-review.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to: doc@cyc.comKnowledge Entry
16 | Review Help
18 | Copyright© 1997—2009 Cycorp. All rights reserved.
20 |
21 |
22 |
42 | Go to Top
44 |
45 |
46 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/help/st-similarity.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
7 |
8 |
E-Mail Comments to:
17 | doc@cyc.comSimilarity Help
18 | Copyright© 2009 Cycorp.
19 | All rights reserved.
20 |
21 |
22 | Go to Top
24 |
25 |
26 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/caution-19x19.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/caution-19x19.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/alpha-browser-disabled.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/alpha-browser-disabled.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/alpha-browser.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/alpha-browser.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/alpha.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/alpha.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/assert-tool.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/assert-tool.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/bl_menu.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/bl_menu.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/bl_sdi.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/bl_sdi.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/blue.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/blue.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/celtic_bar.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/celtic_bar.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/compose-tool.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/compose-tool.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/create-tool.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/create-tool.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cy_menu.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cy_menu.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyan.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyan.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyanstar.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyanstar.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyc-logo-3-t.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyc-logo-3-t.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyc-logo-violet-60.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/cyc-logo-violet-60.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/dim-red-x-close-15.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/dim-red-x-close-15.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/doc-tool.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/doc-tool.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/facet-browser-disabled.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/facet-browser-disabled.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/facet-browser.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/facet-browser.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/gr_sdi.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/gr_sdi.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/gray.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/gray.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/green.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/green.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/grnstar.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/grnstar.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/help_btn_s.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/help_btn_s.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/hierarchy-browser-disabled.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/hierarchy-browser-disabled.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/hierarchy-browser.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/hierarchy-browser.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/history-tool.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/history-tool.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/index-browser-disabled.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/index-browser-disabled.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/index-browser.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/index-browser.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/mini-logo.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/mini-logo.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/nart.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/nart.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/nat.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/nat.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/nonwff.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/nonwff.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/opencyc-logo-60.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/opencyc-logo-60.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/pink.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/pink.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/plus-green.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/plus-green.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/plus-purple.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/plus-purple.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/plus-yellow.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/plus-yellow.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/purple.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/purple.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/query-tool.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/query-tool.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/red-x-close-15.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/red-x-close-15.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/red.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/red.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/red_diam.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/red_diam.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/star.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/star.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/white.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/white.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cb/yellow.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cb/yellow.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-down-triangle-violet.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-down-triangle-violet.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-left-triangle-violet.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-left-triangle-violet.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-10-t.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-10-t.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-25-t.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-25-t.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-50-t.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-50-t.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-sm.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-sm.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-tiny.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-tiny.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-violet-16.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-violet-16.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-violet-60.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-logo-violet-60.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-no-triangle-violet.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-no-triangle-violet.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-right-triangle-violet.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-right-triangle-violet.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-up-triangle-violet.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/cyc-up-triangle-violet.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/genstring-gray-20x20.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/genstring-gray-20x20.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/genstring-purple-20x20.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/genstring-purple-20x20.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/graycaution-19x19.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/graycaution-19x19.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/graystar-19x19.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/graystar-19x19.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/redcaution-19x19.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/redcaution-19x19.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/square-blank.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/square-blank.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/square-minus.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/square-minus.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/square-plus.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/square-plus.gif
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/img/yellowstar-19x19.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AndrewSmart/opencyc/823b6a556165e75b819c6983a444ef65b3aef199/server/cyc/run/httpd/htdocs/cycdoc/img/yellowstar-19x19.png
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/js/event-delegate-min.js:
--------------------------------------------------------------------------------
1 | /*
2 | Copyright (c) 2010, Yahoo! Inc. All rights reserved.
3 | Code licensed under the BSD License:
4 | http://developer.yahoo.com/yui/license.html
5 | version: 2.8.2r1
6 | */
7 | (function(){var A=YAHOO.util.Event,C=YAHOO.lang,B=[],D=function(H,E,F){var G;if(!H||H===F){G=false;}else{G=YAHOO.util.Selector.test(H,E)?H:D(H.parentNode,E,F);}return G;};C.augmentObject(A,{_createDelegate:function(F,E,G,H){return function(I){var J=this,N=A.getTarget(I),L=E,P=(J.nodeType===9),Q,K,O,M;if(C.isFunction(E)){Q=E(N);}else{if(C.isString(E)){if(!P){O=J.id;if(!O){O=A.generateId(J);}M=("#"+O+" ");L=(M+E).replace(/,/gi,(","+M));}if(YAHOO.util.Selector.test(N,L)){Q=N;}else{if(YAHOO.util.Selector.test(N,((L.replace(/,/gi," *,"))+" *"))){Q=D(N,L,J);}}}}if(Q){K=Q;if(H){if(H===true){K=G;}else{K=H;}}return F.call(K,I,Q,J,G);}};},delegate:function(F,J,L,G,H,I){var E=J,K,M;if(C.isString(G)&&!YAHOO.util.Selector){return false;}if(J=="mouseenter"||J=="mouseleave"){if(!A._createMouseDelegate){return false;}E=A._getType(J);K=A._createMouseDelegate(L,H,I);M=A._createDelegate(function(P,O,N){return K.call(O,P,N);},G,H,I);}else{M=A._createDelegate(L,G,H,I);}B.push([F,E,L,M]);return A.on(F,E,M);},removeDelegate:function(F,J,I){var K=J,H=false,G,E;if(J=="mouseenter"||J=="mouseleave"){K=A._getType(J);}G=A._getCacheIndex(B,F,K,I);if(G>=0){E=B[G];}if(F&&E){H=A.removeListener(E[0],E[1],E[3]);if(H){delete B[G][2];delete B[G][3];B.splice(G,1);}}return H;}});}());YAHOO.register("event-delegate",YAHOO.util.Event,{version:"2.8.2r1",build:"7"});
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/js/lexical.js:
--------------------------------------------------------------------------------
1 | function setStrength(assertionId, strength, doc) {
2 | var callback = {
3 | success: handleSetStrength,
4 | failure: handleFailedSetStrength,
5 | argument: {doc: doc}
6 | };
7 | var host = window.location.protocol + "//" + window.location.host;
8 | var requestURL = host + "/cgi-bin/ws/xml-set-lexical-mapping-strength?assert=" + assertionId + "&strength=" + strength;
9 | var request = YAHOO.util.Connect.asyncRequest("get", requestURL, callback);
10 | }
11 |
12 | function handleFailedSetStrength (o) {
13 | alert("Error while setting lexical mapping strength.");
14 | }
15 |
16 | function handleSetStrength(o) {
17 | var termId = o.argument.termId;
18 | var inputParent = o.argument.doc.location.reload();
19 | }
20 |
21 |
22 |
23 | function setGenString(assertionId, action, doc) {
24 | var callback = {
25 | success: handleSetGenString,
26 | failure: handleFailedSetGenString,
27 | argument: {doc: doc}
28 | };
29 | var host = window.location.protocol + "//" + window.location.host;
30 | var requestURL = host + "/cgi-bin/ws/xml-set-genstring-assertion?assert=" + assertionId + "&action=" + action;
31 | var request = YAHOO.util.Connect.asyncRequest("get", requestURL, callback);
32 | }
33 |
34 | function handleFailedSetGenString (o) {
35 | alert("Error while adding/removing genStringAssertion assertion.");
36 | }
37 |
38 | function handleSetGenString(o) {
39 | var inputParent = o.argument.doc.location.reload();
40 | }
41 |
42 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/js/visibility.js:
--------------------------------------------------------------------------------
1 |
2 | if (document.layers) {
3 | origWidth = innerWidth;
4 | origHeight = innerHeight;
5 | }
6 |
7 | function reloadPage() {
8 | if (innerWidth != origWidth || innerHeight != origHeight)
9 | location.reload();
10 | }
11 |
12 | if (document.layers) onresize = reloadPage;
13 |
14 | function setVisibility(objectID,state) {
15 | setIdProperty(objectID, "display", state);
16 | }
17 |
18 | function toggleVisibility(objectID) {
19 |
20 | var state = getIdProperty( objectID, "display");
21 | if (state == 'none')
22 | setIdProperty(objectID, "display", 'block');
23 | else if (state == 'block')
24 | setIdProperty( objectID, "display", 'none');
25 | else
26 | setIdProperty( objectID, "display", 'block');
27 | }
28 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/cycdoc/toc.html:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
7 |
8 |
9 | Redirecting to documentation page at OpenCyc.org . . .
10 |
11 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/javascript/cssjsmenudhtml.css:
--------------------------------------------------------------------------------
1 | /*
2 | use xb settings to make ul/li appear the
3 | same in mozilla, ie and opera
4 | */
5 |
6 | ul.nde-menu-system, ul.nde-menu-system ul
7 | {
8 | display: block;
9 | margin: 0;
10 | padding: 0;
11 | background-color: aqua;
12 | }
13 |
14 | ul.nde-menu-system li
15 | {
16 | margin: 0;
17 | }
18 |
19 | /*
20 | top level items in ul are inline to display horizontally
21 | across page
22 | */
23 |
24 | ul.nde-menu-system li
25 | {
26 | display: inline;
27 | list-style: none;
28 | position: relative;
29 | margin: 0;
30 | padding: 0;
31 | }
32 |
33 | /*
34 | nested lists inside of the top level items are initially
35 | not displayed
36 | */
37 | ul.nde-menu-system li ul
38 | {
39 | display: block;
40 | position: absolute;
41 | left: 0;
42 | visibility: hidden;
43 | width: 9em;
44 | z-index: 1000;
45 | }
46 |
47 | /*
48 | fix up the submenu items
49 | voice-family lines screen correct CSS values from browsers that
50 | improperly lay out block-level boxes and have broken CSS parsers
51 | (IE5.5/Win)
52 | */
53 | ul.nde-menu-system li ul li
54 | {
55 | margin: 0 0 0 -1.5em;
56 | padding: 0;
57 | display: block;
58 | width: 100%;
59 | voice-family: "\"}\""; voice-family: inherit;
60 | margin-left: 0;
61 | }
62 |
63 | ul.nde-menu-system li ul li a
64 | {
65 | display: block;
66 | margin: 0;
67 | padding: 0 0 0 5%;
68 | width: 100%;
69 | voice-family: "\"}\""; voice-family: inherit;
70 | width: 95%;
71 | }
72 |
73 | /* needed to keep IE from bubbling events
74 | from items that are not contained but only
75 | covered. */
76 | ul.nde-menu-system
77 | {
78 | background-color: navy;
79 | }
80 |
81 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/javascript/cssjsmenuhover.css:
--------------------------------------------------------------------------------
1 | /*
2 | for css based versions extend the li
3 | below the menu so that the mouse will
4 | stay over the li and keep the hover active
5 | */
6 |
7 | ul.nde-menu-system li.submenu:hover
8 | {
9 | padding-bottom: 30em;
10 | }
11 |
12 | ul.nde-menu-system li.submenu:hover ul
13 | {
14 | left: 0;
15 | visibility: visible;
16 | }
17 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/javascript/cssjsmenupreso.css:
--------------------------------------------------------------------------------
1 | ul.nde-menu-system *
2 | {
3 | font-size: 1em;
4 | }
5 |
6 | ul.nde-menu-system li
7 | {
8 | padding: 0.25em 0 0;
9 | margin: 0;
10 | font-size: 0.9166em;
11 | }
12 |
13 | ul.nde-menu-system li a
14 | {
15 | display: inline;
16 | text-decoration: none;
17 | margin: 0;
18 | }
19 |
20 | ul.nde-menu-system li a:hover
21 | {
22 | color: #FAA;
23 | }
24 |
25 | ul.nde-menu-system li a
26 | {
27 | border-right: 1px solid;
28 | padding: 0.4em 0.125em;
29 | }
30 |
31 | /* override excessive bottom padding which is included
32 | to deal with IE/Win problems with a selector it
33 | doesn't understand to hide the declaration */
34 |
35 | html>body ul.nde-menu-system li a
36 | {
37 | padding-bottom: 0.3em;
38 | }
39 |
40 | ul.nde-menu-system li ul
41 | {
42 | left: 0;
43 | top: 1.8em !important;
44 | border-top: 1px solid;
45 | }
46 |
47 | ul.nde-menu-system li ul li
48 | {
49 | border-style: solid;
50 | border-width: 0 1px 1px;
51 | list-style: none;
52 | }
53 |
54 | ul.nde-menu-system li ul li a
55 | {
56 | padding: 3px 2.5%;
57 | border-width: 0;
58 | }
59 |
60 | ul.nde-menu-system li ul
61 | {
62 | background-color: aqua;
63 | border-color: white;
64 | }
65 |
66 | ul.nde-menu-system li ul li
67 | {
68 | background-color: #a0ddf0;
69 | border-color: rgb(66%,66%,66%);
70 | }
71 |
72 | ul.nde-menu-system li.submenu ul a
73 | {
74 | color: black !important;
75 | }
76 |
--------------------------------------------------------------------------------
/server/cyc/run/httpd/htdocs/javascript/dhtml.js:
--------------------------------------------------------------------------------
1 | function elementContains(elmOuter, elmInner)
2 | {
3 | while (elmInner && elmInner != elmOuter)
4 | {
5 | elmInner = elmInner.parentNode;
6 | }
7 | if (elmInner == elmOuter)
8 | {
9 | return true;
10 | }
11 | return false;
12 | }
13 |
14 | function getPageXY(elm)
15 | {
16 | var point = { x: 0, y: 0 };
17 | while (elm)
18 | {
19 | point.x += elm.offsetLeft;
20 | point.y += elm.offsetTop;
21 | elm = elm.offsetParent;
22 | }
23 | return point;
24 | }
25 |
26 | function setPageXY(elm, x, y)
27 | {
28 | var parentXY = {x: 0, y: 0 };
29 |
30 | if (elm.offsetParent)
31 | {
32 | parentXY = getPageXY(elm.offsetParent);
33 | }
34 |
35 | elm.style.left = (x - parentXY.x) + 'px';
36 | elm.style.top = (y - parentXY.y) + 'px';
37 | }
38 |
--------------------------------------------------------------------------------
/server/cyc/run/init/cyc-init.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Package: CYC; Mode: LISP; Syntax: ANSI-Common-Lisp; Base: 10 -*-
2 |
3 | (in-package "CYC")
4 |
5 | (cvs-id "$Id: cyc-init.lisp 132323 2010-09-28 16:49:56Z rck $")
6 |
7 | ;;; This file should be the first thing loaded when a cyc
8 | ;;; image is started.
9 |
10 | ;; System parameters
11 | (load-system-parameters)
12 |
13 | ;; CycL code initializations, includes KB-dependent initializations
14 | (system-code-initializations)
15 |
16 | ;; chain to local definitions
17 | (pwhen (probe-file "setup/my-cyc-init.lisp")
18 | (load "setup/my-cyc-init.lisp"))
19 |
20 | ;; this should be the very last step
21 | (csetq *init-file-loaded?* t)
22 |
--------------------------------------------------------------------------------
/server/cyc/run/init/jrtl-init.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (cvs-id "$Id: jrtl-init.lisp 132325 2010-09-28 16:53:34Z rck $")
6 |
7 | (load-system-parameters)
8 | (system-code-initializations)
9 |
10 | (clet ((units-directory "units/5022/"))
11 | (pif (fboundp 'cyc-load-kb)
12 | (cyc-load-kb units-directory)
13 | (progn
14 | (load-kb units-directory)
15 | (system-code-initializations))))
16 |
--------------------------------------------------------------------------------
/server/cyc/run/init/jrtl-release-init.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (cvs-id "$Id: jrtl-release-init.lisp 129137 2009-11-05 03:40:25Z rck $")
6 |
7 | (pwhen-feature :Cyc-ResearchCyc
8 | (pwhen-feature :SL2Java
9 | (csetq *master-license-key* "0000-0000-0000-0000-0000")))
10 |
11 | #+Ignore
12 | (cunwind-protect
13 | (format t "Starting Named Entity Recognizer.~%")
14 | (csetq *stanford-ner-host* "localhost")
15 | (csetq *stanford-ner-port* 6666)
16 | (run-external-process
17 | "java"
18 | `("-server" "-Xmx1024m"
19 | "-XX:MaxPermSize=512m"
20 | "-cp" "data/stanford-ner-cyc-2006-09-18/stanford-ner.jar"
21 | "edu.stanford.nlp.ie.NERServer"
22 | "-loadClassifier" "data/stanford-ner-cyc-2006-09-18/classifiers/ner-eng-ie.crf-7-muc-distsim.ser.gz"
23 | ,(to-string *stanford-ner-port*)) *NULL-INPUT* *NULL-OUTPUT* *ERROR-OUTPUT*)
24 | (sleep 20)
25 | (progn))
26 |
27 | (load "init/jrtl-init.lisp")
28 |
29 | (load "init/release-specific-init.lisp")
30 |
--------------------------------------------------------------------------------
/server/cyc/run/init/offset-services-init-00.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (csetq *gc-reports* nil)
6 |
7 | (cvs-id "$Id: offset-services-init-00.lisp 127057 2009-02-09 19:50:06Z rck $")
8 |
9 | (load "init/cyc-init.lisp")
10 |
11 | ;; determine the amount to offset services
12 | (progn
13 | (csetq *base-tcp-port* 3600)
14 | (format t "Will offset TCP services to port ~A~%" *base-tcp-port*))
15 |
16 | (load "init/port-init.lisp")
17 |
18 |
19 |
--------------------------------------------------------------------------------
/server/cyc/run/init/offset-services-init-20.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (csetq *gc-reports* nil)
6 |
7 | (cvs-id "$Id: offset-services-init-20.lisp 126640 2008-12-04 13:39:36Z builder $")
8 |
9 | (load "init/cyc-init.lisp")
10 |
11 | ;; determine the amount to offset services
12 | (progn
13 | (csetq *base-tcp-port* 3620)
14 | (format t "Will offset TCP services to port ~A~%" *base-tcp-port*))
15 |
16 | (load "init/port-init.lisp")
17 |
18 |
19 |
--------------------------------------------------------------------------------
/server/cyc/run/init/offset-services-init-40.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (csetq *gc-reports* nil)
6 |
7 | (cvs-id "$Id: offset-services-init-40.lisp 126640 2008-12-04 13:39:36Z builder $")
8 |
9 | (load "init/cyc-init.lisp")
10 |
11 | ;; determine the amount to offset services
12 | (progn
13 | (csetq *base-tcp-port* 3640)
14 | (format t "Will offset TCP services to port ~A~%" *base-tcp-port*))
15 |
16 | (load "init/port-init.lisp")
17 |
18 |
19 |
--------------------------------------------------------------------------------
/server/cyc/run/init/offset-services-init-60.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (cvs-id "$Id: offset-services-init-60.lisp 126640 2008-12-04 13:39:36Z builder $")
6 |
7 | (csetq *gc-reports* nil)
8 |
9 | (load "init/cyc-init.lisp")
10 |
11 | ;; determine the amount to offset services
12 | (progn
13 | (csetq *base-tcp-port* 3660)
14 | (format t "Will offset TCP services to port ~A~%" *base-tcp-port*))
15 |
16 | (load "init/port-init.lisp")
17 |
18 |
--------------------------------------------------------------------------------
/server/cyc/run/init/offset-services-init-80.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (cvs-id "$Id: offset-services-init-80.lisp 126640 2008-12-04 13:39:36Z builder $")
6 |
7 | (csetq *gc-reports* nil)
8 |
9 | (load "init/cyc-init.lisp")
10 |
11 | ;; determine the amount to offset services
12 | (progn
13 | (csetq *base-tcp-port* 3680)
14 | (format t "Will offset TCP services to port ~A~%" *base-tcp-port*))
15 |
16 | (load "init/port-init.lisp")
17 |
--------------------------------------------------------------------------------
/server/cyc/run/init/release-specific-init.lisp:
--------------------------------------------------------------------------------
1 | (in-package :cyc)
2 |
3 | (ke-assert-now '(#$languageHasRootLexicon #$EnglishLanguage #$GeneralEnglishMt)
4 | #$GeneralLexiconMt)
5 | (ke-assert-now '(#$languageCodeDigraph #$EnglishLanguage "en")
6 | #$CrossLinguisticLexicalMt)
7 | (ke-assert-now '(#$validatedLexicalPSCForLanguage
8 | #$EnglishLanguage #$AllEnglishValidatedLexicalMicrotheoryPSC)
9 | #$LanguageAndWritingSystemMt)
10 |
11 | (boolean (princ ";; At this point the cyc http server is running and you can access
12 | ;; Cyc directly via the local web browser.
13 | ;; http://localhost:3602/cgi-bin/cyccgi/cg?cb-start
14 | ;; You can browse cyc via the Guest account or perform updates by
15 | ;; logging on as CycAdminstrator.
16 | "))
17 |
18 |
--------------------------------------------------------------------------------
/server/cyc/run/init/services-init.lisp:
--------------------------------------------------------------------------------
1 | ;;; -*- Mode: LISP; Package: CYC; Syntax: ANSI-Common-Lisp -*-
2 |
3 | (in-package "CYC")
4 |
5 | (cvs-id "$Id: services-init.lisp 126640 2008-12-04 13:39:36Z builder $")
6 |
7 | (csetq *gc-reports* nil)
8 |
9 | (load "init/cyc-init.lisp")
10 |
11 | (load "init/port-init.lisp")
12 |
--------------------------------------------------------------------------------