forked from ontologyportal/sigmakee
-
Notifications
You must be signed in to change notification settings - Fork 0
/
config_vagrant.xml
69 lines (69 loc) · 4.35 KB
/
config_vagrant.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
<configuration >
<preference name="sumokbname" value="SUMO" />
<preference name="testOutputDir" value="/home/vagrant/.sigmakee/KBs/tests" />
<preference name="TPTPDisplay" value="no" />
<preference name="inferenceEngine" value="/home/vagrant/E/PROVER/e_ltb_runner" />
<preference name="inferenceTestDir" value="/home/vagrant/.sigmakee/KBs/tests" />
<preference name="baseDir" value="/home/vagrant/.sigmakee" />
<preference name="hostname" value="localhost" />
<preference name="logLevel" value="warning" />
<preference name="systemsDir" value="/home/vagrant/workspace/sigma/sigma" />
<preference name="userBrowserLimit" value="25" />
<preference name="adminBrowserLimit" value="200" />
<preference name="SemRewrite" value="/home/vagrant/.sigmakee/KBs/WordNetMappings/SemRewrite.txt" />
<preference name="typePrefix" value="yes" />
<preference name="graphDir" value="/home/vagrant/workspace/sigma/sigma/webapps/sigma/graph" />
<preference name="TPTP" value="yes" />
<preference name="cache" value="yes" />
<preference name="editorCommand" value="" />
<preference name="graphVizDir" value="/usr/bin" />
<preference name="kbDir" value="/home/vagrant/.sigmakee/KBs" />
<preference name="loadCELT" value="no" />
<preference name="celtdir" value="" />
<preference name="lineNumberCommand" value="" />
<preference name="prolog" value="" />
<preference name="port" value="9090" />
<preference name="tptpHomeDir" value="/home/vagrant/workspace/sigma/sigma" />
<preference name="showcached" value="no" />
<preference name="leoExecutable" value="" />
<preference name="holdsPrefix" value="no" />
<preference name="logDir" value="/home/vagrant/.sigmakee/logs" />
<kb name="SUMO" >
<constituent filename="/home/vagrant/.sigmakee/KBs/english_format.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/domainEnglishFormat.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/ArabicCulture.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Biography.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Cars.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Catalog.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Communications.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/CountriesAndRegions.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Dining.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Economy.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/engineering.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/FinancialOntology.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Food.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Geography.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Government.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Hotel.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Justice.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Languages.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Media.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Merge.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Mid-level-ontology.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/MilitaryDevices.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Military.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/MilitaryPersons.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/MilitaryProcesses.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Music.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/naics.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/People.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/QoSontology.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Sports.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/TransnationalIssues.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/Transportation.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/TransportDetail.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/UXExperimentalTerms.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/VirusProteinAndCellPart.kif" />
<constituent filename="/home/vagrant/.sigmakee/KBs/WMD.kif" />
</kb>
</configuration>