Preferred Name

fiat object part

ID

http://purl.obolibrary.org/obo/BFO_0000024

BFO CLIF specification label

FiatObjectPart

BFO OWL specification label

fiat-object-part

editor note

BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions

elucidation

b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004])

example of usage

the FMA:regional parts of an intact human body.

the Western hemisphere of the Earth

the division of the planet into hemispheres

the dorsal and ventral surfaces of the body

the upper and lower lobes of the left lung

the division of the brain into regions

or with divisions drawn by cognitive subjects for practical reasons, such as the division of a cake (before slicing) into (what will become) slices (and thus member parts of an object aggregate). However, this does not mean that fiat object parts are dependent for their existence on divisions or delineations effected by cognitive subjects. If, for example, it is correct to conceive geological layers of the Earth as fiat object parts of the Earth, then even though these layers were first delineated in recent times, still existed long before such delineation and what holds of these layers (for example that the oldest layers are also the lowest layers) did not begin to hold because of our acts of delineation.Treatment of material entity in BFOExamples viewed by some as problematic cases for the trichotomy of fiat object part, object, and object aggregate include: a mussel on (and attached to) a rock, a slime mold, a pizza, a cloud, a galaxy, a railway train with engine and multiple carriages, a clonal stand of quaking aspen, a bacterial community (biofilm), a broken femur. Note that, as Aristotle already clearly recognized, such problematic cases – which lie at or near the penumbra of instances defined by the categories in question – need not invalidate these categories. The existence of grey objects does not prove that there are not objects which are black and objects which are white; the existence of mules does not prove that there are not objects which are donkeys and objects which are horses. It does, however, show that the examples in question need to be addressed carefully in order to show how they can be fitted into the proposed scheme, for example by recognizing additional subdivisions [29

has associated axiom(fol)

(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004]

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

label

fiat object part

prefixIRI

BFO:0000024

prefLabel

fiat object part

subClassOf

http://purl.obolibrary.org/obo/BFO_0000040

Delete Subject Author Type Created
No notes to display
Create New Mapping

Delete Mapping To Ontology Source
http://purl.obolibrary.org/obo/BFO_0000024 Protein Ontology / 蛋白质本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Protein Ontology / 蛋白质本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 中国人类表型本体 / Human Phenotype Ontology China LOOM
http://purl.obolibrary.org/obo/BFO_0000024 中国人类表型本体 / Human Phenotype Ontology China SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 基本形式化本体 (中文翻译)/ Basic Formal Ontology (Chinese Translation) LOOM
http://purl.obolibrary.org/obo/BFO_0000024 基本形式化本体 (中文翻译)/ Basic Formal Ontology (Chinese Translation) SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Ontology of Genes and Genomes / 基因和基因组本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Basic Formal Ontology / 基本形式化本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Basic Formal Ontology / 基本形式化本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Ontology for Biomedical Investigations / 生物医学研究本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Ontology for Biomedical Investigations / 生物医学研究本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Cell Line Ontology Subset for Chinese National Infrastructure of Cell Line Resource (NICR) / 国家实验细胞资源共享服务平台(NICR)细胞系本体子集 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Cell Line Ontology Subset for Chinese National Infrastructure of Cell Line Resource (NICR) / 国家实验细胞资源共享服务平台(NICR)细胞系本体子集 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Coronavirus Infectious Disease Ontology / 冠状病毒感染性疾病本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Coronavirus Infectious Disease Ontology / 冠状病毒感染性疾病本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Ontology for General Medical Science / 通用医学科学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Ontology for General Medical Science / 通用医学科学本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 International Classification of Diseases Ontology / 国际疾病分类本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 International Classification of Diseases Ontology / 国际疾病分类本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Ontology for Biobanking / 生物样本库本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Ontology for Biobanking / 生物样本库本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Informed Consent Ontology / 知情同意本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Informed Consent Ontology / 知情同意本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 Environment Ontology / 环境本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 Environment Ontology / 环境本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000024 GenEpiO / 基因组流行病学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000024 GenEpiO / 基因组流行病学本体 SAME_URI
http://www.ifomis.org/bfo/1.1/snap#FiatObjectPart MicroRNA Ontology / MicroRNA本体 LOOM