home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / BABEL.REF < prev    next >
Text File  |  1996-06-04  |  15KB  |  539 lines
  1.  
  2. *** Yes
  3. > > 
  4. art <| subjects.
  5. music <| art.
  6. painting <| art.
  7. sculpture <| art.
  8. architecture <| art.
  9.  
  10. *** Yes
  11. > 
  12. subjects <| @.
  13. philosophy <| subjects.
  14. religion <| subjects.
  15. social_science <| subjects.
  16. language <| subjects.
  17. pure_science <| subjects.
  18. applied_science <| subjects.
  19. art <| subjects.
  20. literature <| subjects.
  21. history <| subjects.
  22.  
  23. *** Yes
  24. > 
  25. *** Yes
  26. > 
  27. *** No
  28. > 
  29. *** No
  30. > 
  31. history <| subjects.
  32. ancient_history <| history.
  33. europe_history <| history.
  34. asia_history <| history.
  35. america_history <| history.
  36.  
  37. *** Yes
  38. > 
  39. mathematics <| pure_science.
  40. algebra <| mathematics.
  41. analysis <| mathematics.
  42. topology <| mathematics.
  43. theory_of_computation <| mathematics.
  44.  
  45. *** Yes
  46. > 
  47. pure_science <| subjects.
  48. mathematics <| pure_science.
  49. computer_science <| pure_science.
  50. physics <| pure_science.
  51. chemistry <| pure_science.
  52. biology <| pure_science.
  53.  
  54. *** Yes
  55. > 
  56. *** Yes
  57. > 
  58. *** No
  59. > 
  60. *** Yes
  61. A = library_material(attribute => "
  62.      'library_material' has following attributes:",
  63.                      call_number => lc_number(attribute => "
  64.      'lc_number' consists of four attributes:
  65.         'c_letter': a category letter which is one or two alphabet characters.
  66.         'f_digit':  the first four digits of lc_number.
  67.         's_digit':  the second 7 digits.
  68.         'cuttering':  a cutterring of the item",
  69.                                               c_letter => string,
  70.                                               cuttering => string,
  71.                                               definition => "'lc_number' is a library congress number.",
  72.                                               f_digit => [1 -- 9999],
  73.                                               s_digit => [1 -- 9999999]),
  74.                      date_of_pub => date(attribute => "'date' has three attributes, day, month, and year",
  75.                                          day => [1 -- 31],
  76.                                          definition => "It is a date",
  77.                                          month => [1 -- 12],
  78.                                          year => [0 -- 3000]),
  79.                      definition => "library_material spans all objects in the library",
  80.                      l_responsibility => list_responsibility,
  81.                      language => languages,
  82.                      lend_info => lend_tab(attribute => "
  83.      'lend_tab' has five attributes:
  84.        'library_use_only': boolean if a material can be checked out.
  85.        'lend_period'  :  allowed check out period of a material.
  86.        'checked_out'  :  a boolean if a material is currently checked out.
  87.        'checking_time':  the time a material is checked out.
  88.        'return_time'  :  the time a material is returned.",
  89.                                            checked_out => record__key,
  90.                                            checking_time => record__key,
  91.                                            definition => "
  92.      'lend_tab' contains informations about lend status of a material",
  93.                                            lend_period => record__key,
  94.                                            library_use_only => record__key,
  95.                                            return_time => record__key,
  96.                                            ss_number => record__key),
  97.                      publisher => publish(address => place(attribute => "
  98.      'place' has five attributes: 'street' which is a street address, 
  99.      'city', 'state', 'zip_code', and 'nation'",
  100.                                                            city => string,
  101.                                                            definition => "'place' is an address",
  102.                                                            nation => string,
  103.                                                            state => string,
  104.                                                            street => string,
  105.                                                            zip_code => string),
  106.                                           attribute => "'publish' has two attributes, publisher_name and address.",
  107.                                           definition => "'publish' has the information of publisher",
  108.                                           publisher_name => @),
  109.                      recall_info => record__key,
  110.                      recalled => record__key,
  111.                      reserve_info => record__key,
  112.                      s_responsibility => set_responsibility,
  113.                      subject => subjects,
  114.                      title => string).
  115.  
  116. --1> 
  117. *** No
  118. > > 
  119. *** Yes
  120. A = full_name(attribute => "
  121.      'full_name' has three attributes. 'fname' for first name,
  122.      'mname' for middle name, 'lname' for last name",
  123.               definition => "'full_name' is a full name of a person",
  124.               fname => string,
  125.               lname => string,
  126.               mname => string).
  127.  
  128. --1> 
  129. *** No
  130. > 
  131. *** Yes
  132. > 
  133. language <| subjects.
  134. linguistics <| language.
  135. english <| language.
  136. german <| language.
  137. french <| language.
  138.  
  139. languages <| @.
  140. english <| languages.
  141. french <| languages.
  142. german <| languages.
  143. japanese <| languages.
  144. chinese <| languages.
  145. korean <| languages.
  146. spanish <| languages.
  147. portuguese <| languages.
  148. italian <| languages.
  149. latin <| languages.
  150. greek <| languages.
  151. hebrew <| languages.
  152.  
  153. *** Yes
  154. > 
  155. *** Yes
  156. A = automata.
  157. --1> 
  158. *** Yes
  159. A = natural_language_processing.
  160. --1> 
  161. *** No
  162. > 
  163. *** Yes
  164. > 
  165. *** Yes
  166. > 
  167. *** Yes
  168. A = computer_science.
  169. --1> 
  170. *** Yes
  171. A = computer_science, B = mathematics.
  172. ----2> 
  173. *** Yes
  174. A = theory_of_computation, B = A.
  175. ------3> 
  176. *** No
  177. A = computer_science, B = mathematics.
  178. ----2> 
  179. *** No
  180. A = computer_science.
  181. --1> 
  182. *** No
  183. > 
  184. *** No
  185. > 
  186. *** No
  187. > 
  188. *** No
  189. > 
  190. *** Yes
  191. > 
  192. *** Yes
  193. > 
  194. *** No
  195. > 
  196. analogy <| logic.
  197.  
  198. *** Yes
  199. > 
  200. *** No
  201. > 
  202. :: place(attribute => "
  203.      'place' has five attributes: 'street' which is a street address, 
  204.      'city', 'state', 'zip_code', and 'nation'",
  205.          city => string,
  206.          definition => "'place' is an address",
  207.          nation => string,
  208.          state => string,
  209.          street => string,
  210.          zip_code => string).
  211. place <| @.
  212.  
  213. *** Yes
  214. > 
  215. :: ss_num(attribute => "
  216.      'ss_num' has three attributes:
  217.         'first': the first three digits of a social security number.
  218.         'middle': the two digits in the middle.
  219.         'last': is the last four digits.",
  220.           definition => "'ss_num' is a social security number",
  221.           first => ['000' -- '999'],
  222.           last => ['0000' -- '9999'],
  223.           middle => ['00' -- '99']).
  224. ss_num <| @.
  225.  
  226. *** Yes
  227. > 
  228. :: library_material(attribute => "
  229.      'library_material' has following attributes:",
  230.                     call_number => lc_number,
  231.                     date_of_pub => date,
  232.                     definition => "library_material spans all objects in the library",
  233.                     l_responsibility => list_responsibility,
  234.                     language => languages,
  235.                     lend_info => lend_tab,
  236.                     publisher => publish,
  237.                     recall_info => record__key,
  238.                     recalled => record__key,
  239.                     reserve_info => record__key,
  240.                     s_responsibility => set_responsibility,
  241.                     subject => subjects,
  242.                     title => string).
  243. library_material <| @.
  244. printed_monograph <| library_material.
  245. cartographic_material <| library_material.
  246. music_score <| library_material.
  247. sound_recording <| library_material.
  248. motion_picture <| library_material.
  249. microforms <| library_material.
  250. serials <| library_material.
  251. general_reference <| library_material.
  252. philosophy_material <| library_material.
  253. religion_material <| library_material.
  254. social_science_material <| library_material.
  255. language_material <| library_material.
  256. pure_science_material <| library_material.
  257. applied_science_material <| library_material.
  258. art_material <| library_material.
  259. literature_material <| library_material.
  260. history_material <| library_material.
  261.  
  262. *** Yes
  263. > 
  264. *** Yes
  265. A = vlsi.
  266. --1> 
  267. *** Yes
  268. A = computer_architecture.
  269. --1> 
  270. *** No
  271. > 
  272. *** Yes
  273. A = ai_machine.
  274. --1> 
  275. *** No
  276. > 
  277. *** Yes
  278. A = mathematical_logic.
  279. --1> 
  280. *** No
  281. > 
  282. *** Yes
  283. A = automata.
  284. --1> 
  285. *** No
  286. > 
  287. *** Yes
  288. A = parallel_processing_for_ai.
  289. --1> 
  290. *** No
  291. > 
  292. *** Yes
  293. A = ai_programming_language.
  294. --1> 
  295. *** No
  296. > 
  297. *** Yes
  298. A = medical_expert_system.
  299. --1> 
  300. *** No
  301. > 
  302. expert_system <| artificial_intelligence.
  303. medical_expert_system <| expert_system.
  304.  
  305. *** Yes
  306. > 
  307. parallel_processing <| computer_science.
  308. parallel_processing_for_ai <| parallel_processing.
  309.  
  310. *** Yes
  311. > 
  312. *** Yes
  313. A = student_user(address => place(attribute => "
  314.      'place' has five attributes: 'street' which is a street address, 
  315.      'city', 'state', 'zip_code', and 'nation'",
  316.                                   city => string,
  317.                                   definition => "'place' is an address",
  318.                                   nation => string,
  319.                                   state => string,
  320.                                   street => string,
  321.                                   zip_code => string),
  322.                  attribute => "
  323.      'library_user' has three attributes, 'ss_number', 'name', and
  324.       'address'. ",
  325.                  definition => "
  326.      'library_user' is an authorized person to use a library",
  327.                  fine => object_state_key,
  328.                  name => full_name(attribute => "
  329.      'full_name' has three attributes. 'fname' for first name,
  330.      'mname' for middle name, 'lname' for last name",
  331.                                    definition => "'full_name' is a full name of a person",
  332.                                    fname => string,
  333.                                    lname => string,
  334.                                    mname => string),
  335.                  ss_number => ss_num(attribute => "
  336.      'ss_num' has three attributes:
  337.         'first': the first three digits of a social security number.
  338.         'middle': the two digits in the middle.
  339.         'last': is the last four digits.",
  340.                                      definition => "'ss_num' is a social security number",
  341.                                      first => ['000' -- '999'],
  342.                                      last => ['0000' -- '9999'],
  343.                                      middle => ['00' -- '99']),
  344.                  status => student).
  345.  
  346. --1> 
  347. *** No
  348. > 
  349. time_unit <| @.
  350. hours <| time_unit.
  351. days <| time_unit.
  352. weeks <| time_unit.
  353. months <| time_unit.
  354. years <| time_unit.
  355.  
  356. *** Yes
  357. > 
  358. set_responsibility <| @.
  359. author_set <| set_responsibility.
  360. editor_set <| set_responsibility.
  361. association_set <| set_responsibility.
  362.  
  363. *** Yes
  364. > 
  365. *** Yes
  366. A = full_name(attribute => "
  367.      'full_name' has three attributes. 'fname' for first name,
  368.      'mname' for middle name, 'lname' for last name",
  369.               definition => "'full_name' is a full name of a person",
  370.               fname => string,
  371.               lname => string,
  372.               mname => string).
  373.  
  374. --1> 
  375. *** Yes
  376. A = full_name(attribute => "
  377.      'full_name' has three attributes. 'fname' for first name,
  378.      'mname' for middle name, 'lname' for last name",
  379.               definition => "'full_name' is a full name of a person",
  380.               fname => string,
  381.               lname => string,
  382.               mname => string).
  383.  
  384. --1> 
  385. *** Yes
  386. A = full_name(attribute => "
  387.      'full_name' has three attributes. 'fname' for first name,
  388.      'mname' for middle name, 'lname' for last name",
  389.               definition => "'full_name' is a full name of a person",
  390.               fname => string,
  391.               lname => string,
  392.               mname => string).
  393.  
  394. --1> 
  395. *** Yes
  396. A = full_name(attribute => "
  397.      'full_name' has three attributes. 'fname' for first name,
  398.      'mname' for middle name, 'lname' for last name",
  399.               definition => "'full_name' is a full name of a person",
  400.               fname => string,
  401.               lname => string,
  402.               mname => string).
  403.  
  404. --1> 
  405. *** Yes
  406. A = full_name(attribute => "
  407.      'full_name' has three attributes. 'fname' for first name,
  408.      'mname' for middle name, 'lname' for last name",
  409.               definition => "'full_name' is a full name of a person",
  410.               fname => string,
  411.               lname => string,
  412.               mname => string).
  413.  
  414. --1> 
  415. *** Yes
  416. A = full_name(attribute => "
  417.      'full_name' has three attributes. 'fname' for first name,
  418.      'mname' for middle name, 'lname' for last name",
  419.               definition => "'full_name' is a full name of a person",
  420.               fname => string,
  421.               lname => string,
  422.               mname => string).
  423.  
  424. --1> 
  425. *** Yes
  426. A = full_name(attribute => "
  427.      'full_name' has three attributes. 'fname' for first name,
  428.      'mname' for middle name, 'lname' for last name",
  429.               definition => "'full_name' is a full name of a person",
  430.               fname => string,
  431.               lname => string,
  432.               mname => string).
  433.  
  434. --1> 
  435. *** Yes
  436. A = full_name(attribute => "
  437.      'full_name' has three attributes. 'fname' for first name,
  438.      'mname' for middle name, 'lname' for last name",
  439.               definition => "'full_name' is a full name of a person",
  440.               fname => string,
  441.               lname => string,
  442.               mname => string).
  443.  
  444. --1> 
  445. *** No
  446. > 
  447. *** Yes
  448. A = string.
  449. --1> 
  450. *** Yes
  451. A = string.
  452. --1> 
  453. *** Yes
  454. A = string.
  455. --1> 
  456. *** Yes
  457. A = string.
  458. --1> 
  459. *** Yes
  460. A = string.
  461. --1> 
  462. *** Yes
  463. A = string.
  464. --1> 
  465. *** No
  466. > 
  467. boolean <| @.
  468. yes <| boolean.
  469. no <| boolean.
  470.  
  471. *** Yes
  472. > 
  473. semesters <| @.
  474. spring <| semesters.
  475. summer <| semesters.
  476. fall <| semesters.
  477.  
  478. *** Yes
  479. > 
  480. degree_list <| @.
  481. 'Ph.D' <| degree_list.
  482. 'M.A.' <| degree_list.
  483. 'M.S.' <| degree_list.
  484. 'M.D.' <| degree_list.
  485. 'M.B.A.' <| degree_list.
  486.  
  487. *** Yes
  488. > 
  489. :: maps_atlas(attribute => "
  490.      'maps_atlas' has an attribute, 'edition', which has edition number.
  491.       It has several subclasses including 'maps' and 'atlas'.",
  492.               definition => "'maps_atlas' is a class of all kind of maps and atlas.",
  493.               edition => integer).
  494. maps_atlas <| cartographic_material.
  495. maps_atlas <| geographical_reference.
  496. maps <| maps_atlas.
  497. atlas <| maps_atlas.
  498.  
  499. *** Yes
  500. > 
  501. disc_speed <| @.
  502. lp <| disc_speed.
  503. sp <| disc_speed.
  504. lsp <| disc_speed.
  505.  
  506. *** Yes
  507. > 
  508. :: sound_film(definition => "'sound_film' is a class of all film with sound track.").
  509. sound_film <| sound_recording.
  510. sound_film <| motion_film.
  511.  
  512. *** Yes
  513. > 
  514. *** No
  515. > 
  516. *** No
  517. > 
  518. *** Yes
  519. A = parallel_processing_for_ai.
  520. --1> 
  521. *** No
  522. > > 
  523. :: academic_journal(definition => "
  524.      'academic_journal' is a class of all journals whose content is 
  525.       a news of academic society and research papers.").
  526. academic_journal <| serials.
  527. weekly_academic_journal <| academic_journal.
  528. monthly_academic_journal <| academic_journal.
  529. quarterly_academic_journal <| academic_journal.
  530. yearly_academic_journal <| academic_journal.
  531.  
  532. *** Yes
  533. > 
  534. *** Yes
  535. A = europe_history.
  536. --1> 
  537. *** No
  538. > > 
  539.