Object Property: properPhysicalPartOf

http://purl.org/biotop/biotop.owl#properPhysicalPartOf

Annotations (3)

comment "As for physical part of, with the additional constraint that part and whole are distinct (nothing can be proper physical part of itself)" ()
comment "inverse of has proper physical part" ()
label "proper physical part of" ()

Property Characteristics (1)

Transitive (properPhysicalPartOf)

Domains (1)

ImmaterialObject or MaterialObject

Ranges (1)

ImmaterialObject or MaterialObject

Inverses (1)

hasProperPhysicalPart

Superproperties (1)

physicalPartOf

Usage (31)

ObjectProperty: properPhysicalPartOf
EntireCarbohydrateMonomer ≡ CarbohydrateMonomer and not (properPhysicalPartOf some MonoMolecularEntity)
EntireMolecularEntity ≡ MonoMolecularEntity and not (properPhysicalPartOf some MonoMolecularEntity)
NucleicAcidRegion ≡ NucleicAcidStructure and properPhysicalPartOf some EntireNucleicAcidMolecule
TwoDimensionalBiologicalEntity ≡ TwoDimensionalPhysicalEntity and physicallyBounds some BiologicalSpace or physicallyBounds some StructuredBiologicalEntity or properPhysicalPartOf some StructuredBiologicalEntity and not (BiologicalSpace or StructuredBiologicalEntity) and physicallyBounds only (BiologicalSpace or StructuredBiologicalEntity)
Lung ≡ Organ and not (hasLocus some (Abdomen or Extremity)) and properPhysicalPartOf some LowerRespiratoryTract
CellInVivo ⊆ LivingOrganism or properPhysicalPartOf some LivingOrganism
EntireNucleicAcidMolecule ⊆ NucleicAcidStructure and not (properPhysicalPartOf some MonoMolecularEntity)
EntireProteinMolecule ⊆ not (properPhysicalPartOf some MonoMolecularEntity)
ModifiedCell ⊆ not (properPhysicalPartOf some LivingOrganism)
GeneRegion ⊆ properPhysicalPartOf some Gene
Kidney ⊆ properPhysicalPartOf some UpperUrinaryTract
LargeIntestine ⊆ properPhysicalPartOf some LowerGastrointestinalTract
Liver ⊆ properPhysicalPartOf some GastrointestinalTract
LungTissue ⊆ properPhysicalPartOf some Lung
MuscleOrgan ⊆ properPhysicalPartOf some MuscleTissue
MuscleOrgan ⊆ properPhysicalPartOf some MusculoskeletalSystem
NeuralTree ⊆ properPhysicalPartOf some NervousSystem
Neuraxis ⊆ properPhysicalPartOf some NervousSystem
Pancreas ⊆ properPhysicalPartOf some GastrointestinalTract
Skin ⊆ properPhysicalPartOf some IntegumentarySystem
SmallIntestine ⊆ properPhysicalPartOf some LowerGastrointestinalTract
Stomach ⊆ properPhysicalPartOf some UpperGastrointestinalTract
TracheobronchialTree ⊆ properPhysicalPartOf some LowerRespiratoryTract
Ureter ⊆ properPhysicalPartOf some UpperUrinaryTract
UrinaryBladder ⊆ properPhysicalPartOf some LowerUrinaryTract
componentPartOf ⊆ properPhysicalPartOf
granularPartOf ⊆ properPhysicalPartOf
originatingPhysicalPartOf ⊆ properPhysicalPartOf
properPhysicalPartOf ⊆ physicalPartOf
properPhysicalPartOf inverse hasProperPhysicalPart