search

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)
227 stars 71 forks source link

reorganization of the terms and concepts #219

Closed arademaker closed 4 years ago

arademaker commented 4 years ago
  1. FirstFn and LastFn are defined -- that is, they are declared as instances of something with (instance FirstFn ...) -- in Mid-level-ontology.kif but used -- mentioned in axioms -- in Merge,.kif.
  2. Axiom (subclass PairwiseDisjointClass SetOrClass) is commented and PairwiseDisjointClass is not mentioned in the rest of the ontology.
  3. Axiom (subclass MutuallyDisjointClass SetOrClass) is commented and MutuallyDisjointClass is not mentioned in the rest of the ontology.
  4. UnitOfMass, Transfer, DiagnosticProcess, and Searching Chinese documentation axioms are using the wrong EnglishLanguage argument and not the ChineseLanguage argument. Moreover, they are in Merge.kif and should be in the translations folder.
arademaker commented 4 years ago
  1. I moved to Merge.kif the definitions
  2. I commented all remain axioms related to the concept.
  3. I commented all remain axioms related to the concept.
  4. I moved the documentation axioms to the Translations folder and changed the argument to ChineseLanguage.

Once the #220 is accepted, this issue can be closed.