-
Notifications
You must be signed in to change notification settings - Fork 35
/
Copy pathconfig.xml
82 lines (82 loc) · 3.87 KB
/
config.xml
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
<configuration>
<preference name="adminBrowserLimit" value="200" />
<preference name="baseDir" value="/home/theuser/.sigmakee" />
<preference name="cache" value="yes" />
<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="inferenceTestDir" value="/home/theuser/.sigmakee/KBs/tests" />
<preference name="jedit" value="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="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="/var/tomcat/apache-tomcat-9.0.97/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/workspace/vampire/vampire" />
<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="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="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>