sigmakee/config.xml at master · ontologyportal/sigmakee · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
<configuration>
  <preference name="adminBrowserLimit" value="200" />
  <preference name="baseDir" value="/home/theuser/.sigmakee" />
  <preference name="cache" value="yes" />
  <preference name="cacheDisjoint" value="true"/>
  <preference name="celtdir" value="" />
  <preference name="editDir" value="/home/theuser/workspace/sumo" />
  <preference name="eprover" value="/home/theuser/E/bin/e_ltb_runner" />
  <preference name="graphVizDir" value="/usr/bin" />
  <preference name="holdsPrefix" value="no" />
  <preference name="hostname" value="localhost" />
  <preference name="https" value="false" />
  <preference name="imageFormat" value="png"/>
  <preference name="inferenceTestDir" value="/home/theuser/.sigmakee/KBs/tests" />
  <preference name="jedit" value="/usr/share/jedit/jedit" />
  <preference name="kbDir" value="/home/theuser/.sigmakee/KBs" />
  <preference name="leoExecutable" value="/home/theuser/leo" />
  <preference name="lineNumberCommand" value="" />
  <preference name="loadCELT" value="no" />
  <preference name="loadFresh" value="false" />
  <preference name="logDir" value="/home/theuser/.sigmakee/logs" />
  <preference name="logLevel" value="warning" />
  <preference name="port" value="8080" />
  <preference name="prolog" value="" />
  <preference name="reportDup" value="no" />
  <preference name="reportFnError" value="no" />
  <preference name="showcached" value="no" />
  <preference name="sumokbname" value="SUMO" />
  <preference name="systemsDir" value="/home/theuser" />
  <preference name="termFormats" value="no" />
  <preference name="testOutputDir" value="/usr/local/tomcat/apache-tomcat-9.0.107/webapps/sigma/tests" />
  <preference name="TPTPDisplay" value="no" />
  <preference name="tptpHomeDir" value="/home/theuser" />
  <preference name="TPTP" value="yes" />
  <preference name="typePrefix" value="yes" />
  <preference name="userBrowserLimit" value="25" />
  <preference name="vampire" value="/home/theuser/Programs/vampire/build/vampire" />
  <preference name="vampire_hol" value="/home/theuser/Programs/vampire/build_hol/vampire" />
  <preference name="ollamaHost" value="http://127.0.0.1:11434"/>

  <kb name="SUMO" >
    <constituent filename="english_format.kif" />
    <constituent filename="domainEnglishFormat.kif" />
    <constituent filename="ArabicCulture.kif" />
    <constituent filename="Anatomy.kif" />
    <constituent filename="arteries.kif" />
    <constituent filename="Biography.kif" />
    <constituent filename="Cars.kif" />
    <constituent filename="Catalog.kif" />
    <constituent filename="Communications.kif" />
    <constituent filename="ComputerInput.kif" />
    <constituent filename="ComputingBrands.kif" />
    <constituent filename="CountriesAndRegions.kif" />
    <constituent filename="Dining.kif" />
    <constituent filename="Economy.kif" />
    <constituent filename="emotion.kif" />
    <constituent filename="engineering.kif" />
    <constituent filename="Facebook.kif" />
    <constituent filename="FinancialOntology.kif" />
    <constituent filename="Food.kif" />
    <constituent filename="Geography.kif" />
    <constituent filename="Government.kif" />
    <constituent filename="Hotel.kif" />
    <constituent filename="Justice.kif" />
    <constituent filename="Languages.kif" />
    <constituent filename="Law.kif" />
    <constituent filename="Media.kif" />
    <constituent filename="Medicine.kif" />
    <constituent filename="Merge.kif" />
    <constituent filename="Mid-level-ontology.kif" />
    <constituent filename="MilitaryDevices.kif" />
    <constituent filename="Military.kif" />
    <constituent filename="MilitaryPersons.kif" />
    <constituent filename="MilitaryProcesses.kif" />
    <constituent filename="Music.kif" />
    <constituent filename="development/Muscles.kif" />
    <constituent filename="naics.kif" />
    <constituent filename="People.kif" />
    <constituent filename="pictureList.kif" />
    <constituent filename="pictureList-ImageNet.kif" />
    <constituent filename="QoSontology.kif" />
    <constituent filename="Sports.kif" />
    <constituent filename="TransnationalIssues.kif" />
    <constituent filename="Transportation.kif" />
    <constituent filename="TransportDetail.kif" />
    <constituent filename="UXExperimentalTerms.kif" />
    <constituent filename="VirusProteinAndCellPart.kif" />
    <constituent filename="Weather.kif" />
    <constituent filename="WMD.kif" />
  </kb>
</configuration>