Skip to content
Permalink
Browse files

updated quotes in Dolce hierarchies

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 0d3b932 commit ff671b7036bbbf0b454ee963d5ea7de6f5574f94
Showing with 842 additions and 842 deletions.
  1. +4 −4 ontologies/dolce/cp_temporary_parthood.clif
  2. +9 −9 ontologies/dolce/dolce_colore.clif
  3. +155 −155 ontologies/dolce/dolce_core.clif
  4. +327 −327 ontologies/dolce/dolce_hets_tptp.clif
  5. +30 −30 ontologies/dolce_constitution/dolce_constitution.clif
  6. +2 −2 ontologies/dolce_constitution/mappings/dolce_constitution2ideal_cem_downward_m_foliation2.clif
  7. +2 −2 ...ogies/dolce_constitution/mappings/dolce_constitution2ideal_cem_lower_reflect_down_foliation1.clif
  8. +2 −2 ...ogies/dolce_constitution/mappings/dolce_constitution2ideal_cem_lower_reflect_down_foliation4.clif
  9. +4 −4 ontologies/dolce_constitution/mappings/dolce_constitution2ideal_cem_wmg3.clif
  10. +2 −2 ontologies/dolce_constitution/mappings/dolce_constitution_reduction.clif
  11. +4 −4 ontologies/dolce_dependence/AQ_NPED_dependence.clif
  12. +4 −4 ontologies/dolce_dependence/F_NAPO_dependence.clif
  13. +4 −4 ontologies/dolce_dependence/MOB_APO_dependence.clif
  14. +4 −4 ontologies/dolce_dependence/NASO_SC_dependence.clif
  15. +4 −4 ontologies/dolce_dependence/PQ_PED_dependence.clif
  16. +4 −4 ontologies/dolce_dependence/SAG_APO_dependence.clif
  17. +4 −4 ontologies/dolce_dependence/TQ_PD_dependence.clif
  18. +36 −36 ontologies/dolce_dependence/dolce_dependence.clif
  19. +42 −42 ontologies/dolce_mereology/dolce_mereology.clif
  20. +20 −20 ontologies/dolce_participation/dolce_participation.clif
  21. +1 −1 ...ogies/dolce_participation/mappings/dolce_participation2ideal_cem_plane_downward_in_foliation.clif
  22. +1 −1 ontologies/dolce_participation/mappings/dolce_participation2ideal_cem_wmg.clif
  23. +1 −1 ontologies/dolce_participation/mappings/dolce_participation_reduction.clif
  24. +16 −16 ontologies/dolce_present/dolce_present.clif
  25. +17 −17 ontologies/dolce_present/dolce_present_star.clif
  26. +3 −3 ontologies/dolce_present/mappings/dolce_present2ideal_cem_wmg.clif
  27. +3 −3 ontologies/dolce_present/mappings/dolce_present_reduction.clif
  28. +22 −22 ontologies/dolce_taxonomy/dolce_taxonomy.clif
  29. +1 −1 ontologies/dolce_taxonomy/taxonomy.clif
  30. +5 −5 ontologies/dolce_temporary_parthood/cp_temporary_parthood.clif
  31. +34 −34 ontologies/dolce_temporary_parthood/dolce_temporary_parthood.clif
  32. +3 −3 ...dolce_temporary_parthood/mappings/dolce_temporary_parthood2ideal_cem_downward_cem_foliation1.clif
  33. +3 −3 ...dolce_temporary_parthood/mappings/dolce_temporary_parthood2ideal_cem_downward_cem_foliation2.clif
  34. +4 −4 ontologies/dolce_temporary_parthood/mappings/dolce_temporary_parthood2ideal_cem_wmg3.clif
  35. +6 −6 ontologies/dolce_temporary_parthood/mappings/dolce_temporary_parthood_reduction.clif
  36. +29 −29 ontologies/dolce_time_mereology/dolce_time_mereology.clif
  37. +4 −4 ontologies/dolce_time_mereology/interprets/input/ex0718_dolce_time_mereology.clif
  38. +22 −22 ontologies/dolce_time_mereology/interprets/input/ex0718_reduction.clif
  39. +2 −2 ontologies/dolce_time_mereology/mappings/dolce_time_mereology2cem_mereology.clif
  40. +2 −2 ontologies/dolce_time_mereology/mappings/dolce_time_mereology_reduction.clif
@@ -10,13 +10,13 @@

(cl-text http://colore.oor.net/dolce_core/dolce_core_temporary_parthood.clif

(cl-comment "Import the DOLCE temporary parthood theory.")
(cl-comment 'Import the DOLCE temporary parthood theory.')
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif)

(cl-comment "This is a non-conservative extension of dolce_temporary_parthood. It imports dolce_mereology because of the P relation (part).")
(cl-comment 'This is a non-conservative extension of dolce_temporary_parthood. It imports dolce_mereology because of the P relation (part).')

(cl-comment "Source: Foundational Choices in DOLCE by: Stefano Borgo, and Claudio Masolo In: Handbook on Ontologies Springer (2009).")
(cl-comment "Identifier: dolcecore_A16")
(cl-comment 'Source: Foundational Choices in DOLCE by: Stefano Borgo, and Claudio Masolo In: Handbook on Ontologies Springer (2009).')
(cl-comment 'Identifier: dolcecore_A16')
(forall (x y)
(if (exists (t) (PRE x t))
(iff (CP x y)(P x y))))
@@ -10,30 +10,30 @@

(cl-text http://colore.oor.net/dolce_core/dolce_colore.clif

(cl-comment "This CLIF file contains imports of all of the DOLCE modules.")
(cl-comment 'This CLIF file contains imports of all of the DOLCE modules.')

(cl-comment "Import the DOLCE taxonomy.")
(cl-comment 'Import the DOLCE taxonomy.')
(cl-imports http://colore.oor.net/dolce_taxonomy/dolce_taxonomy.clif)

(cl-comment "Import the DOLCE constitution theory.")
(cl-comment 'Import the DOLCE constitution theory.')
(cl-imports http://colore.oor.net/dolce_constitution/dolce_constitution.clif)

(cl-comment "Import the DOLCE dependence theory.")
(cl-comment 'Import the DOLCE dependence theory.')
(cl-imports http://colore.oor.net/dolce_dependence/dolce_dependence.clif)

(cl-comment "Import the DOLCE mereology theory.")
(cl-comment 'Import the DOLCE mereology theory.')
(cl-imports http://colore.oor.net/dolce_mereology/dolce_mereology.clif)

(cl-comment "Import the DOLCE participation theory.")
(cl-comment 'Import the DOLCE participation theory.')
(cl-imports http://colore.oor.net/dolce_participation/dolce_participation.clif)

(cl-comment "Import the DOLCE present theory.")
(cl-comment 'Import the DOLCE present theory.')
(cl-imports http://colore.oor.net/dolce_present/dolce_present.clif)

(cl-comment "Import the DOLCE temporary_parthood theory.")
(cl-comment 'Import the DOLCE temporary_parthood theory.')
(cl-imports http://colore.oor.net/dolce_temporary_parthood/dolce_temporary_parthood.clif)

(cl-comment "Import the DOLCE time_mereology theory.")
(cl-comment 'Import the DOLCE time_mereology theory.')
(cl-imports http://colore.oor.net/dolce_time_mereology/dolce_time_mereology.clif)

)

Large diffs are not rendered by default.

Oops, something went wrong.
Oops, something went wrong.

0 comments on commit ff671b7

Please sign in to comment.
You can’t perform that action at this time.