Define idspace for EFO, which is not part of OBO Foundry

[anitacaron]

Fixes #3327

[github-actions]

This PR violates some taxon constraints. Here is what the reasoner has to say:

ZFA_0001713 SubClassOf Nothing

• ZFA_0001713 EquivalentTo parallel fiber, teleost and (part of some Danio)
  • Danio SubClassOf Danioninae
    • Danioninae SubClassOf Danionidae
      • Danionidae SubClassOf Cyprinoidei
        • Cyprinoidei SubClassOf Cypriniformes
          • Cypriniformes SubClassOf Cypriniphysae
            • Cypriniphysae SubClassOf Otophysi
              • Otophysi SubClassOf Ostariophysi
                • Ostariophysi SubClassOf Otomorpha
                  • Otomorpha SubClassOf Clupeocephala
                  • Clupeocephala SubClassOf Osteoglossocephalai
  • parallel fiber, teleost SubClassOf tissue
    • tissue SubClassOf multicellular anatomical structure
      • multicellular anatomical structure EquivalentTo anatomical structure and (has quality some multicellular)
        • anatomical structure SubClassOf material anatomical entity
          • material anatomical entity EquivalentTo material anatomical entity
            • material anatomical entity SubClassOf anatomical entity
              • anatomical entity EquivalentTo anatomical entity
  • parallel fiber, teleost SubClassOf only in taxon some teleost fish
    • only in taxon SubPropertyOf: in taxon
    • teleost fish SubClassOf unclassified Teleostei
• in taxon some Osteoglossocephalai DisjointWith in taxon some unclassified Teleostei
• anatomical entity and (part of some Danio) SubClassOf only in taxon some Danio

Axiom Impact

Axioms used 1 times

• anatomical entity EquivalentTo anatomical entity [core.owl]
• material anatomical entity EquivalentTo material anatomical entity [core.owl]
• multicellular anatomical structure EquivalentTo anatomical structure and (has quality some multicellular) [core.owl]
• ZFA_0001713 EquivalentTo parallel fiber, teleost and (part of some Danio) [core.owl]
• material anatomical entity SubClassOf anatomical entity [core.owl]
• Clupeocephala SubClassOf Osteoglossocephalai [core.owl]
• Otophysi SubClassOf Ostariophysi [core.owl]
• Cypriniphysae SubClassOf Otophysi [core.owl]
• Otomorpha SubClassOf Clupeocephala [core.owl]
• Danionidae SubClassOf Cyprinoidei [core.owl]
• Danioninae SubClassOf Danionidae [core.owl]
• Cyprinoidei SubClassOf Cypriniformes [core.owl]
• Ostariophysi SubClassOf Otomorpha [core.owl]
• teleost fish SubClassOf unclassified Teleostei [core.owl]
• Cypriniformes SubClassOf Cypriniphysae [core.owl]
• Danio SubClassOf Danioninae [core.owl]
• anatomical structure SubClassOf material anatomical entity [core.owl]
• tissue SubClassOf multicellular anatomical structure [core.owl]
• parallel fiber, teleost SubClassOf tissue [core.owl]
• parallel fiber, teleost SubClassOf only in taxon some teleost fish [core.owl]
• anatomical entity and (part of some Danio) SubClassOf only in taxon some Danio [core.owl]
• in taxon some Osteoglossocephalai DisjointWith in taxon some unclassified Teleostei [core.owl]
• only in taxon SubPropertyOf: in taxon [core.owl]

Ontologies used:

• core.owl (http://purl.obolibrary.org/obo/uberon/core.owl)

[anitacaron]

Checking the latest taxslim-disjoint-over-in-taxon.owl release, it added:

• in taxon some Osteoglossocephalai DisjointWith in taxon some unclassified Teleostei

[anitacaron]

Merging with QC failed because it's unrelated to this PR but to the new release on the taxslim that should be fixed in another PR.