cycr 0.0.7 → 0.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
data/.gitignore CHANGED
@@ -1,2 +1,4 @@
1
1
  *.gem
2
2
  .*.sw?
3
+ work
4
+ doc
data/changelog.txt CHANGED
@@ -1,3 +1,7 @@
1
+ 0.0.8
2
+ - fix documentation for Cyc::Builder
3
+ - removal of legacy code
4
+ - raw answers from server
1
5
  0.0.7
2
6
  - remove predefined SubL routines
3
7
  0.0.6
data/cycr.gemspec CHANGED
@@ -1,7 +1,7 @@
1
1
  Gem::Specification.new do |s|
2
2
  s.name = "cycr"
3
- s.version = "0.0.7"
4
- s.date = "2010-12-22"
3
+ s.version = "0.0.8"
4
+ s.date = "#{Time.now.strftime("%Y-%m-%d")}"
5
5
  s.summary = "Ruby client for the (Open)Cyc server"
6
6
  s.email = "apohllo@o2.pl"
7
7
  s.homepage = "http://github.com/apohllo/cycr"
data/lib/cycr/builder.rb CHANGED
@@ -4,9 +4,9 @@ module Cyc
4
4
  #
5
5
  # This class is used to capture calls to the Cyc client, to allow
6
6
  # nested calls, like
7
- #
8
- # cyc.with_any_mt do
9
- # comment :Collection
7
+ #
8
+ # cyc.with_any_mt do |cyc|
9
+ # cyc.comment :Collection
10
10
  # end
11
11
  class Builder
12
12
  def initialize
data/lib/cycr/client.rb CHANGED
@@ -4,13 +4,13 @@ module Cyc
4
4
  # Author:: Aleksander Pohl (mailto:apohllo@o2.pl)
5
5
  # License:: MIT License
6
6
  #
7
- # This class is the implementation of the Cyc server client.
7
+ # This class is the implementation of the Cyc server client.
8
8
  class Client
9
9
  # If set to true, all communication with the server is logged
10
10
  # to standard output
11
11
  attr_accessor :debug
12
12
  attr_reader :host, :port
13
- # Creates new Client.
13
+ # Creates new Client.
14
14
  def initialize(host="localhost",port="3601",debug=false)
15
15
  @debug = debug
16
16
  @host = host
@@ -30,7 +30,7 @@ module Cyc
30
30
 
31
31
  # Returns the connection object. Ensures that the pid of current
32
32
  # process is the same as the pid, the connection was initialized with.
33
- #
33
+ #
34
34
  # If the block is given, the command is guarded by assertion, that
35
35
  # it will be performed, even if the connection was reset.
36
36
  def connection
@@ -46,7 +46,7 @@ module Cyc
46
46
  yield @conn
47
47
  end
48
48
  else
49
- @conn
49
+ @conn
50
50
  end
51
51
  end
52
52
 
@@ -62,13 +62,20 @@ module Cyc
62
62
  @conn = nil
63
63
  end
64
64
 
65
- # Sends message +msg+ directly to the Cyc server and receives
66
- # the answer.
65
+ # Sends message +msg+ directly to the Cyc server and
66
+ # returns the parsed answer.
67
67
  def talk(msg, options={})
68
68
  send_message(msg)
69
69
  receive_answer(options)
70
70
  end
71
71
 
72
+ # Sends message +msg+ directly to the Cyc server and
73
+ # returns the raw answer (i.e. not parsed).
74
+ def raw_talk(msg, options={})
75
+ send_message(msg)
76
+ receive_raw_answer(options)
77
+ end
78
+
72
79
  # Send the raw message.
73
80
  def send_message(msg)
74
81
  @last_message = msg
@@ -76,13 +83,34 @@ module Cyc
76
83
  connection{|c| c.puts(msg)}
77
84
  end
78
85
 
79
- # Receive answer from server.
80
86
  def receive_answer(options={})
87
+ receive_raw_answer do |answer|
88
+ begin
89
+ result = @parser.parse(answer,options[:stack])
90
+ rescue Parser::ContinueParsing => ex
91
+ result = ex.stack
92
+ current_result = result
93
+ last_message = @last_message
94
+ while current_result.size == 100 do
95
+ send_message("(subseq #{last_message} #{result.size} " +
96
+ "#{result.size + 100})")
97
+ current_result = receive_answer(options) || []
98
+ result.concat(current_result)
99
+ end
100
+ end
101
+ return result
102
+ end
103
+ end
104
+
105
+ # Receive raw answer from server. If a +block+ is given
106
+ # the answer is yield to the block, otherwise the naswer is returned.
107
+ def receive_raw_answer(options={})
81
108
  answer = connection{|c| c.waitfor(/./)}
82
109
  puts "Recv: #{answer}" if @debug
83
110
  if answer.nil?
84
111
  raise "Unknwon error occured. " +
85
- "Check the submitted query in detail!"
112
+ "Check the submitted query in detail:\n" +
113
+ @last_message
86
114
  end
87
115
  while not answer =~ /\n/ do
88
116
  next_answer = connection{|c| c.waitfor(/./)}
@@ -98,19 +126,10 @@ module Cyc
98
126
  #answer = answer.split("\n")[-1]
99
127
  answer = answer.sub(/(\d\d\d) (.*)/,"\\2")
100
128
  if($1.to_i == 200)
101
- begin
102
- result = @parser.parse(answer,options[:stack])
103
- rescue Parser::ContinueParsing => ex
104
- result = ex.stack
105
- current_result = result
106
- last_message = @last_message
107
- while current_result.size == 100 do
108
- send_message("(subseq #{last_message} #{result.size} " +
109
- "#{result.size + 100})")
110
- current_result = receive_answer(options) || []
111
- result.concat(current_result)
112
- end
113
- result
129
+ if block_given?
130
+ yield answer
131
+ else
132
+ return answer
114
133
  end
115
134
  else
116
135
  unless $2.nil?
@@ -129,18 +148,5 @@ module Cyc
129
148
  @builder.send(name,*args,&block)
130
149
  talk(@builder.to_cyc)
131
150
  end
132
-
133
- protected
134
-
135
- def relevant_mts(term)
136
- @mts_cache[term] ||=
137
- (mts = self.term_mts(term)
138
- if mts
139
- mts.select{|mt| mt.is_a? Symbol}.
140
- reject{|mt| IRRELEVANT_MTS.include?(mt)}
141
- else
142
- []
143
- end)
144
- end
145
151
  end
146
152
  end
data/spec/client.rb CHANGED
@@ -2,24 +2,36 @@ $:.unshift "lib"
2
2
  require 'cycr'
3
3
 
4
4
  describe Cyc::Client do
5
- before(:each) do
5
+ before(:each) do
6
6
  @client = Cyc::Client.new()
7
7
  # @client.debug = true
8
8
  end
9
9
 
10
- after(:each) do
10
+ after(:each) do
11
11
  @client.close
12
12
  end
13
13
 
14
- it "should allow to talk to the server" do
14
+ it "should allow to talk to the server" do
15
15
  @client.talk("(constant-count)").should_not == nil
16
16
  end
17
17
 
18
- it "should allow to talk to server by calling non-existent methods" do
18
+ it "should allow to talk to server by calling SubL methods which are not defined in the client" do
19
19
  @client.constant_count.should_not == nil
20
20
  end
21
21
 
22
- it "should allow multiple processes to use the client" do
22
+ it "should allow to talk to server and return raw answer" do
23
+ result = @client.raw_talk("(constant-count)")
24
+ result.should_not == nil
25
+ result.should be_a_kind_of String
26
+ end
27
+
28
+ it "should allow to talk to server and return parsed answer" do
29
+ result = @client.talk("(genls \#\$Dog)")
30
+ result.should_not == nil
31
+ result.should respond_to :size
32
+ end
33
+
34
+ it "should allow multiple processes to use the client" do
23
35
  parent_pid = Process.pid
24
36
  if fork
25
37
  @client.find_constant("Cat")
metadata CHANGED
@@ -1,12 +1,8 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: cycr
3
3
  version: !ruby/object:Gem::Version
4
- prerelease: false
5
- segments:
6
- - 0
7
- - 0
8
- - 7
9
- version: 0.0.7
4
+ prerelease:
5
+ version: 0.0.8
10
6
  platform: ruby
11
7
  authors:
12
8
  - Aleksander Pohl
@@ -14,7 +10,7 @@ autorequire:
14
10
  bindir: bin
15
11
  cert_chain: []
16
12
 
17
- date: 2010-12-22 00:00:00 +01:00
13
+ date: 2011-04-15 00:00:00 +02:00
18
14
  default_executable:
19
15
  dependencies:
20
16
  - !ruby/object:Gem::Dependency
@@ -25,10 +21,6 @@ dependencies:
25
21
  requirements:
26
22
  - - ">="
27
23
  - !ruby/object:Gem::Version
28
- segments:
29
- - 1
30
- - 2
31
- - 9
32
24
  version: 1.2.9
33
25
  type: :development
34
26
  version_requirements: *id001
@@ -51,11 +43,8 @@ files:
51
43
  - lib/cycr/builder.rb
52
44
  - lib/cycr/client.rb
53
45
  - lib/cycr/collection.rb
54
- - lib/cycr/constants.rb
55
- - lib/cycr/domains.lisp
56
46
  - lib/cycr/extensions.rb
57
47
  - lib/cycr/parser.rb
58
- - lib/cycr/sexpr.flex
59
48
  - lib/cycr/sexpr.rex
60
49
  - lib/cycr/sexpr.rex.rb
61
50
  - spec/assertion.rb
@@ -75,21 +64,17 @@ required_ruby_version: !ruby/object:Gem::Requirement
75
64
  requirements:
76
65
  - - ">="
77
66
  - !ruby/object:Gem::Version
78
- segments:
79
- - 0
80
67
  version: "0"
81
68
  required_rubygems_version: !ruby/object:Gem::Requirement
82
69
  none: false
83
70
  requirements:
84
71
  - - ">="
85
72
  - !ruby/object:Gem::Version
86
- segments:
87
- - 0
88
73
  version: "0"
89
74
  requirements: []
90
75
 
91
76
  rubyforge_project:
92
- rubygems_version: 1.3.7
77
+ rubygems_version: 1.5.2
93
78
  signing_key:
94
79
  specification_version: 3
95
80
  summary: Ruby client for the (Open)Cyc server
@@ -1,8 +0,0 @@
1
- module Cyc
2
- # These Microteories contain non-ontological assertions.
3
- IRRELEVANT_MTS = [:WordNetMappingMt, :EnglishMt, :UniversalVocabularyMt,
4
- :BaseKB, :CycHistoricalPossibilityTheoryMt, :SENSUSMappingMt,
5
- :GeneralLexiconMt, :BookkeepingMt, :CycNounLearnerMt, :HPKBVocabMt,
6
- :SKSIMt, :TopicMt, :SNOMEDMappingMt, :MeSHMappingMt, :CycNounLearnerMt,
7
- :TheMotleyFoolUKCorpusMt, :AnalystDatabaseMt, :CyclistsMt ]
8
- end
@@ -1,584 +0,0 @@
1
- (csetq *domains* '(
2
- ("Accts" . (
3
- #$AccountingMt
4
- ))
5
- ("Admin" . (
6
- #$InternationalOrganizationDataMt
7
- #$RegionalOrganizationsInTheMiddleEastFactsheetMt
8
- #$USGovernmentDomesticOrganizationDataMt
9
- #$USGovernmentOrganizationDataMt
10
- ))
11
- ("Advertg" . (
12
- #$Advertising
13
- ))
14
- ("Aerosp" . (
15
- #$AeronauticalEngineer
16
- #$Aeronautics
17
- ))
18
- ("Agric" . (
19
- ))
20
- ("Anat" . (
21
- #$AnimalPhysiologyMt
22
- #$AnimalPhysiologyVocabularyMt
23
- #$FemaleHumanBodyStructureMt
24
- #$HumanBodyStructureMt
25
- #$MaleHumanBodyStructureMt
26
- ))
27
- ("Anthrop" . (
28
- #$EthnicGroupsMt
29
- #$EthnicGroupsVocabularyMt
30
- #$PeopleLingoTemplateMt
31
- #$PeopleVocabularyMt
32
- ))
33
- ("Antiq" . (
34
- #$PeloponnesianWarMt
35
- ))
36
- ("Archeol" . (
37
- ))
38
- ("Archit" . (
39
- #$NooescapeArchitectureMt
40
- ))
41
- ("Art" . (
42
- #$ArtWorksDataMt
43
- #$ArtWorksDataVocabularyMt
44
- #$PopCultureMythologyMt
45
- ))
46
- ("Astrol" . (
47
- ))
48
- ("Astron" . (
49
- #$EarthObservationalAstronomyMt
50
- #$EarthObservationalAstronomyVocabularyMt
51
- #$ObservationalAstronomyMt
52
- #$PlanetaryBaseKBVocabularyMt
53
- #$SimpleAstronomyDataVocabularyMt
54
- #$SimpleAstronomyMt
55
- #$UniverseDataMt
56
- #$UniverseDataVocabularyMt
57
- #$UniverseVocabularyMt
58
- ))
59
- ("Audio" . (
60
- #$HistoryOfMusicDataMt
61
- ))
62
- ("Aut" . (
63
- #$DriverPerspectiveMt
64
- #$FiremenAndFireTruckIMt
65
- ))
66
- ("Aviat" . (
67
- ))
68
- ("Bible" . (
69
- ))
70
- ("Biol" . (
71
- #$BiochemicalReasoningWithRCCMt
72
- #$BiochemistryMt
73
- #$BiochemistryVocabularyMt
74
- #$BiologicalChemistryMt
75
- #$BiologicalChemistryVocabularyMt
76
- #$BiologicalProcedureMt
77
- #$BiologicalProcedureVocabularyMt
78
- #$BiologicalSocialMt
79
- #$BiologicalSocialVocabularyMt
80
- #$BiologicalWarfareDemoEnvironmentMt
81
- #$BiologyGenericsMt
82
- #$BiologyMt
83
- #$BiologyVocabularyMt
84
- #$MicrobiologicalChemistryMt
85
- #$MicrobiologicalProcedureVocabularyMt
86
- #$MicrobiologyMt
87
- #$MicrobiologyVocabularyMt
88
- #$MolecularBiologyMt
89
- #$MolecularBiologyVocabularyMt
90
- #$NaiveBiologicalDescentVocabularyMt
91
- ))
92
- ("Bot" . (
93
- #$BotanyMt
94
- #$BotanyVocabularyMt
95
- #$FloralMarketingMt
96
- #$VegetationMapCodeMt
97
- ))
98
- ("Chem" . (
99
- #$AcidsAndBases-ChemistryDomainMt
100
- #$BiochemicalReasoningWithRCCMt
101
- #$BiochemistryMt
102
- #$BiochemistryVocabularyMt
103
- #$BiologicalChemistryMt
104
- #$BiologicalChemistryVocabularyMt
105
- #$ChemicalComposition-ChemistryDomainMt
106
- #$ChemicalConstantData-ChemistryDomainMt
107
- #$ChemicalDissociation-ChemistryDomainMt
108
- #$ChemicalEquations-ChemistryDomainMt
109
- #$ChemicalReactions-ChemistryDomainMt
110
- #$ChemicalSolutions-ChemistryDomainMt
111
- #$ChemistryAssumptionsMt
112
- #$ChemistryLaboratory-ChemistryDomainMt
113
- #$ChemistryMt
114
- #$ChemistryTemplateMt
115
- #$ChemistryVocabularyMt
116
- #$OrganicChemistryMt
117
- #$OrganicChemistryVocabularyMt
118
- ))
119
- ("Cin" . (
120
- ))
121
- ("CivEng" . (
122
- #$EngineeringField
123
- ))
124
- ("Comm" . (
125
- #$BrandNameProductGMt
126
- #$BrandNameProductGVocabularyMt
127
- #$BrandNameProductPhysicalCharacteristicsMt
128
- #$BrandNameProductPhysicalCharacteristicsVocabularyMt
129
- #$BrandNameRoadVehicleWorkingsMt
130
- #$BuyingMt
131
- #$CommercialBuyingMt
132
- #$RetailSalesMt
133
- #$ShoppingGMt
134
- #$WesternBusinessPracticesMt
135
- #$WorldProductsMt
136
- ))
137
- ("Comput" . (
138
- #$ComputerDataTypesDataMt
139
- #$ComputereseLexicalMt
140
- #$ComputerGMt
141
- #$ComputerGVocabularyMt
142
- #$ComputerHardwareDataMt
143
- #$ComputerHardwareDataVocabularyMt
144
- #$ComputerHardwareMt
145
- #$ComputerHardwareVocabularyMt
146
- #$ComputerNetworkMt
147
- #$ComputerOrganizationDataMt
148
- #$ComputerRunningDataMt
149
- #$ComputerRunningMt
150
- #$ComputerSecurityDataMt
151
- #$ComputerSecurityMt
152
- #$ComputerSoftwareBuyingMt
153
- #$ComputerSoftwareDataMt
154
- #$ComputerSoftwareMt
155
- #$ComputerSoftwareVocabularyMt
156
- #$ComputerUseDomainMt
157
- #$ComputerVulnerabilityMt
158
- #$NetworkModelMt
159
- #$ProgramModelMt
160
- #$InformationBuyingMt
161
- #$InformationGVocabularyMt
162
- #$InformationSecurityMt
163
- #$InformationTerminologyVocabularyMt
164
- ))
165
- ("Constr" . (
166
- #$BuildingContentsMt
167
- #$BuildingContentsVocabularyMt
168
- #$BuildingMt
169
- #$BuildingVocabularyMt
170
- #$OrganizationBuildingVocabularyMt
171
- ))
172
- ("Cosmet" . (
173
- ))
174
- ("Culin" . (
175
- #$CoffeeMt
176
- #$CookingLingoTemplateMt
177
- #$CookingWorldTestCaseEntitiesMt
178
- #$FoodBuyingGMt
179
- #$FoodSocialMt
180
- #$HumanFoodGVocabularyMt
181
- ))
182
- ("Dance" . (
183
- ))
184
- ("Dent" . (
185
- ))
186
- ("Ecol" . (
187
- #$EcologyMt
188
- #$EcologyVocabularyMt
189
- ))
190
- ("Econ" . (
191
- #$EconomyMt
192
- #$EconomyVocabularyMt
193
- ))
194
- ("Educ" . (
195
- ))
196
- ("Elec" . (
197
- #$ElectricalSystemsMt
198
- #$ElectricalSystemsVocabularyMt
199
- ))
200
- ("Electron" . (
201
- ))
202
- ("Equest" . (
203
- ))
204
- ("Fashn" . (
205
- #$ClothingGMt
206
- #$ClothingGVocabularyMt
207
- #$ClothingLingoTemplateMt
208
- #$ModernWesternClothingConventionMt
209
- ))
210
- ("Fin" . (
211
- #$BusinessGMt
212
- #$BusinessMoneyMt
213
- #$BusinessStillUnsortedForStubsMt
214
- #$BusinessStubMt
215
- #$FinancialTransactionMt
216
- #$WesternBusinessPracticesMt
217
- ))
218
- ("Fishg" . (
219
- ))
220
- ("Games" . (
221
- ))
222
- ("Geog" . (
223
- #$DesertShieldMt
224
- #$DualistGeopoliticalMt
225
- #$DualistGeopoliticalVocabularyMt
226
- #$FranceGeographyDualistMt
227
- #$FranceGeographyMt
228
- #$FranceNaturalGeographyMt
229
- #$GeographicalRegionGVocabularyMt
230
- #$GeographyLingoTemplateMt
231
- #$GeographyVocabularyMt
232
- #$GeopoliticalBordersMt
233
- #$GeopoliticalEntityVocabularyMt
234
- #$NaturalGeographyVocabularyMt
235
- #$NorthernHemisphereMt
236
- #$PhysicalGeographyMt
237
- #$PoliticalGeographyVocabularyMt
238
- #$UnitedStatesCulturalGeographyMt
239
- #$UnitedStatesGeographyMt
240
- #$UnitedStatesGeographyPeopleMt
241
- #$UnitedStatesNaturalGeographyMt
242
- #$UnitedStatesNaturalGeographyVocabularyMt
243
- #$WorldCompleteDualistGeographyMt
244
- #$WorldCulturalGeographyDataMt
245
- #$WorldGeographyDualistMt
246
- #$WorldGeographyMt
247
- #$WorldGeographyPhysicalMt
248
- #$WorldNaturalGeographyMt
249
- #$WorldNaturalGeographyVocabularyMt
250
- #$WorldPoliticalGeographyDataMt
251
- #$WorldPoliticalGeographyDataVocabularyMt
252
- ))
253
- ("Geol" . (
254
- #$GeologicalAge
255
- ))
256
- ("Herald" . (
257
- ))
258
- ("Hist" . (
259
- #$PeopleDataMt
260
- #$ChronologyMt
261
- #$ChronologyVocabularyMt
262
- #$HistoryOfMusicDataMt
263
- #$HistoryOfScienceDataMt
264
- #$WorldHistoryMt
265
- ))
266
- ("Hort" . (
267
- ))
268
- ("Hunt" . (
269
- ))
270
- ("Ind" . (
271
- ))
272
- ("Insur" . (
273
- ))
274
- ("Journ" . (
275
- #$AssociatedPressMt
276
- ))
277
- ("Jur" . (
278
- #$BasicWesternLegalConceptsMt
279
- ))
280
- ("Ling" . (
281
- #$CorpusLexicalMt
282
- #$CrossLinguisticLexicalMt
283
- #$LanguageAndWritingSystemVocabularyMt
284
- #$RelativeClausesTemplateMt
285
- #$WritingSystemCharactersVocabularyMt
286
- ))
287
- ("Literat" . (
288
- #$FactsInFictionalWorksMt
289
- #$LiteraryPeopleDataMt
290
- #$NonfictionalWorksMt
291
- ))
292
- ("Math" . (
293
- #$BayesianNetworkMt
294
- #$DeonticReasoning-InferenceMt
295
- #$DeonticReasoning-LogicMt
296
- #$EqualityReasoningVocabularyMt
297
- #$EuclideanGeometryMt
298
- #$GeometryGMt
299
- #$GeometryGVocabularyMt
300
- #$LogicalTruthImplementationMt
301
- #$LogicalTruthMt
302
- #$MathMt
303
- #$MathVocabularyMt
304
- #$NaiveSpatialMt
305
- #$NaiveSpatialVocabularyMt
306
- #$PathSystemsVocabularyMt
307
- #$PointBasedGeometryMt
308
- #$PointBasedGeometryVocabularyMt
309
- ))
310
- ("Mech" . (
311
- ))
312
- ("Med" . (
313
- #$AilmentMt
314
- #$AilmentVocabularyMt
315
- #$BloodTransfusionMt
316
- #$DiseaseLexicalMt
317
- #$HumanAilmentMt
318
- #$HumanAilmentVocabularyMt
319
- #$MedicalVulnerabilityMt
320
- #$USHealthcareMt
321
- ))
322
- ("Meas" . (
323
- #$CalendarsMt
324
- #$CalendarsVocabularyMt
325
- #$GregorianCalendarMt
326
- #$GregorianCalendarVocabularyMt
327
- #$IslamicCalendarMt
328
- #$JewishCalendarMt
329
- ))
330
- ("Meteorol" . (
331
- #$AmbientConditionsDataMt
332
- #$AmbientConditionsMt
333
- #$AmbientConditionsVocabularyMt
334
- #$EarthWeatherMt
335
- #$EarthWeatherVocabularyMt
336
- #$WeatherMt
337
- #$WeatherVocabularyMt
338
- ))
339
- ("Mgmt" . (
340
- #$InternationalOrganizationDataMt
341
- #$JobMt
342
- #$OrganizationGMt
343
- #$OrganizationGVocabularyMt
344
- #$OrganizationInternalsMt
345
- ))
346
- ("Mil" . (
347
- #$ArmyFM8-10-7Mt
348
- #$ChemicalWeaponsDestructionInRussiaMt
349
- #$China-TaiwanMilitaryTechnologyMt
350
- #$DesertStormMilitaryPresenceMt
351
- #$EmergingCruiseMissileCapabilitiesMt
352
- #$EnemyMovementMt
353
- #$MilitaryForceStructureMt
354
- #$MilitaryGlossaryHoldingMt
355
- #$MilitaryGMt
356
- #$MilitaryGVocabularyMt
357
- #$MilitaryOrganization
358
- #$MilitaryStandard-2408Mt
359
- #$MilitaryTermsVocabularyMt
360
- #$ModernMilitaryMt
361
- #$ModernMilitaryTacticsMt
362
- #$ModernMilitaryVehiclesMt
363
- #$ModernMilitaryWeaponsMt
364
- #$PeloponnesianWarMt
365
- #$RightWingTerrorismAndWeaponsOfMassDestructionMt
366
- #$SAICTerrorismEventsDataMt
367
- #$TerrorismInTheMiddleEastFactsheetMt
368
- #$TerroristGroup
369
- #$UnitedStatesModernMilitaryVehiclesDataMt
370
- #$USArmsControlAndDisarmamentAgencyMt
371
- #$USMarineCorpsPracticesMt
372
- #$USMilitaryPracticesMt
373
- #$USMilitaryStaffOrganizationMt
374
- #$WeaponsOfMassDestructionTacticsMt
375
- #$Year2000MilitaryTechnologyMt
376
- ))
377
- ("Mil" Naut . (
378
- ))
379
- ("Miner" . (
380
- #$MineralogyMt
381
- ))
382
- ("Mining" . (
383
- ))
384
- ("Mus" . (
385
- ))
386
- ("Mythol" . (
387
- #$ChristmasMythologyMt
388
- #$FactsInFictionalWorksMt
389
- #$GreekMythologyMt
390
- #$PopCultureMythologyMt
391
- #$RomanMythologyMt
392
- #$WorldMythologyMt
393
- ))
394
- ("Naut" . (
395
- ))
396
- ("Nucl" nuclear . (
397
- ))
398
- ("Pharm" . (
399
- #$BrandNamePharmaceuticalUseMt
400
- #$PharmaceuticalDetailsMt
401
- #$PharmaceuticalGMt
402
- #$PharmaceuticalGVocabularyMt
403
- #$PharmaceuticalUseMt
404
- #$PharmaceuticalUseVocabularyMt
405
- ))
406
- ("Philos" . (
407
- ))
408
- ("Phon" . (
409
- ))
410
- ("Phot" . (
411
- ))
412
- ("Phys" . (
413
- #$Aerodynamics
414
- #$DefinitionOfKineticEnergyMt
415
- #$DefinitionOfNetWorkMt
416
- #$DefinitionOfWeightMt
417
- #$DefinitionOfWork-ForceAndDisplacementSameDirectionMt
418
- #$DefinitionOfWorkMt
419
- #$NaivePhysicsVocabularyMt
420
- #$NewtonianPhysicsMt
421
- #$NewtonsSecondLawMt
422
- #$NewtonsThirdLawMt
423
- #$NormalPhysicalConditionsMt
424
- #$ObjectPhysicalCharacteristicsVocabularyMt
425
- ))
426
- ("Physiol" . (
427
- #$HumanPerceptionMt
428
- #$HumanPerceptionVocabularyMt
429
- #$HumanPhysiologyVocabularyMt
430
- #$LinnaeanTaxonomyPhysiologyMt
431
- #$LinnaeanTaxonomyPhysiologyVocabularyMt
432
- #$PerceptionMt
433
- #$PerceptionVocabularyMt
434
- #$VertebratePhysiologyMt
435
- #$VertebratePhysiologyVocabularyMt
436
- ))
437
- ("Pol" . (
438
- #$GovernmentAgency
439
- ))
440
- ("Post" postal . (
441
- ))
442
- ("Print" . (
443
- ))
444
- ("Psych" . (
445
- #$AffectMt
446
- #$AffectVocabularyMt
447
- ))
448
- ("Publg" . (
449
- #$PublicationDataMt
450
- ))
451
- ("Radio" . (
452
- ))
453
- ("Rail" . (
454
- ))
455
- ("Relig" . (
456
- #$BuddhismMt
457
- #$CatholicismMt
458
- #$ChristianityMt
459
- #$ChristianityNaiveMt
460
- #$ChristianTrinityMt
461
- #$IslamShiaMt
462
- #$JudaismMt
463
- #$Judeo-ChristianMt
464
- #$NaturalismMt
465
- #$ReligiousAgnostic
466
- #$ReligiousCeremony
467
- #$ReligiousPeopleDataMt
468
- ))
469
- ("Sch" . (
470
- ))
471
- ("Sci" . (
472
- #$GeneralScientificLexicalMt
473
- #$HistoryOfScienceDataMt
474
- #$OrganizedResearchMt
475
- #$TheoryOfScienceVocabularyMt
476
- ))
477
- ("Sewing" . (
478
- ))
479
- ("Sociol" . (
480
- #$AustralasianSocialLifeMt
481
- #$BiologicalSocialVocabularyMt
482
- #$HumanSocialLifeMt
483
- #$HumanSocialLifeWithTenseMt
484
- #$IranianSocialLifeMt
485
- #$PeopleVocabularyMt
486
- #$UnitedStatesSocialLifeMt
487
- #$CultureGMt
488
- #$CultureGVocabularyMt
489
- ))
490
- ("Sport" . (
491
- #$AmericanCollegeSportsOrganizationsDataMt
492
- #$AmericanCollegeSportsPeopleDataMt
493
- #$AmericanProfessionalSportsMt
494
- #$NonUSProfessionalSportsMt
495
- #$OlympicsMt
496
- #$ProfessionalSportsGMt
497
- #$SportsLingoTemplateMt
498
- #$SportsProductsMt
499
- ))
500
- ("Stat" . (
501
- ))
502
- ("Tax" . (
503
- #$AmericanFiscalPracticeMt
504
- #$JapaneseFiscalPracticeMt
505
- ))
506
- ("Tech" . (
507
- #$DevicePerspectiveMt
508
- #$SimpleDeviceFunctioningMt
509
- #$TechnicalEnglishLexicalMt
510
- #$ProductGMt
511
- #$ProductGVocabularyMt
512
- #$ProductPhysicalCharacteristicsMt
513
- #$ProductUsageMt
514
- #$ProductUsageVocabularyMt
515
- ))
516
- ("Telcom" . (
517
- #$CommunicationsSupportMt
518
- #$CommunicationsSupportRulesMt
519
- #$CommunicationsSupportVocabMt
520
- ))
521
- ("Tex" . (
522
- #$MaterialsManipulationMt
523
- ))
524
- ("Theat" . (
525
- ))
526
- ("Tourism" . (
527
- #$GenericTouristMt
528
- ))
529
- ("Transp" . (
530
- #$InternationalTrafficMt
531
- #$MovementMt
532
- #$MovementVocabularyMt
533
- #$SuezCanalTrafficMt
534
- #$TransportationMt
535
- #$TransportationPlanningMt
536
- #$TransportationVocabularyMt
537
- ))
538
- ("Turf" . (
539
- ))
540
- ("TV" . (
541
- #$DCSuperheroesMt
542
- #$LargeCorpBlackBoxMt
543
- #$MassMediaDataMt
544
- #$MassMediaMt
545
- #$TeletubbiesMt
546
- #$ThePeanutsCartoonMt
547
- #$TheSimpsonsMt
548
- #$TheXFilesTVSeriesMt
549
- ))
550
- ("Univ" . (
551
- #$AcademicLifeMt
552
- #$AcademicOrganizationMt
553
- #$AcademicOrganizationVocabularyMt
554
- #$UniversityDataMt
555
- ))
556
- ("Vet" veterinary . (
557
- ))
558
- ("Wine" . (
559
- ))
560
- ("Zool" . (
561
- #$AmericanKennelClubMt
562
- #$AnimalActivitiesMt
563
- #$AnimalActivitiesVocabularyMt
564
- #$AnimalMovementMt
565
- #$DogClassificationSpindleCollectorMt
566
- #$DogClassificationSpindleHeadMt
567
- #$DomesticBreedsMt
568
- #$DomesticBreedsVocabularyMt
569
- #$NaiveAnimalsVocabularyMt
570
- ))
571
- ))
572
-
573
- (define domains-of (term)
574
- (clet (
575
- (result ())
576
- (base-assertions (with-just-mt #$BaseKB (gather-index term)))
577
- )
578
- (cdolist (pair *domains*)
579
- (pif(< 0 (with-mt-list (cdr pair)
580
- (length (set-difference (gather-index term)
581
- base-assertions) )))
582
- (csetq result (adjoin (car pair) result))
583
- ()))
584
- (ret result)))
data/lib/cycr/sexpr.flex DELETED
@@ -1,74 +0,0 @@
1
- package pl.apohllo.lexicon.pwn.server;
2
-
3
- import java.io.StringReader;
4
- %%
5
-
6
- %class Lexer
7
- %unicode
8
- %line
9
- %public
10
- %type Symbol
11
-
12
- %{
13
- StringBuffer string = new StringBuffer();
14
-
15
- public Lexer(String input){
16
- this.zzReader = new StringReader(input);
17
- }
18
-
19
- private Symbol symbol(int type) {
20
- return new Symbol(type, yyline, yycolumn);
21
- }
22
- private Symbol symbol(int type, String value) {
23
- return new Symbol(type, yyline, yycolumn, value);
24
- }
25
- %}
26
-
27
- LineTerminator = \r|\n|\r\n
28
- InputCharacter = [^\r\n\"\(\):& ]
29
- WhiteSpace = {LineTerminator} | [ \t\f]
30
-
31
- Symbol = : {InputCharacter}+
32
-
33
- Atom = {InputCharacter}+
34
-
35
- OpenPar = "("
36
- ClosePar = ")"
37
-
38
- %state STRING
39
-
40
-
41
- %%
42
-
43
- <YYINITIAL> {
44
- /* keywords */
45
- {OpenPar} { return symbol(Symbol.OPEN_PAR); }
46
- {ClosePar} { return symbol(Symbol.CLOSE_PAR); }
47
-
48
- /* identifiers */
49
- {Symbol} { return symbol(Symbol.SYMBOL,yytext()); }
50
- {Atom} { return symbol(Symbol.ATOM,yytext()); }
51
-
52
-
53
- /* literals */
54
- \" { string.setLength(0); yybegin(STRING); }
55
-
56
- /* whitespace */
57
- {WhiteSpace} { /* ignore */ }
58
- }
59
-
60
- <STRING> {
61
- \" { yybegin(YYINITIAL);
62
- return symbol(Symbol.STRING_LITERAL, string.toString()); }
63
- [^\n\r\"\\]+ { string.append( yytext() ); }
64
- \\t { string.append('\t'); }
65
- \\n { string.append('\n'); }
66
-
67
- \\r { string.append('\r'); }
68
- \\\" { string.append('\"'); }
69
- \\ { string.append('\\'); }
70
- }
71
-
72
- /* error fallback */
73
- .|\n { throw new Error("Illegal character <"+ yytext()+">"); }
74
-