Basic Formal Ontology / 基本形式化本体

Last uploaded: February 25, 2019
Preferred Name

continuant

ID

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

BFO CLIF specification label

Continuant

BFO OWL specification label

continuant

editor note

Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants

BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240

elucidation

A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])

has associated axiom(fol)

(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]

(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]

(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]

(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]

has associated axiom(nl)

if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])

if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])

if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])

isDefinedBy

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

label

continuant

prefixIRI

BFO:0000002

prefLabel

continuant

subClassOf

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

disjointWith

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

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

Delete Mapping To Ontology Source
http://www.ifomis.org/bfo/1.1/snap#Continuant MicroRNA Ontology / MicroRNA本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology of Adverse Events / 不良事件本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology of Adverse Events / 不良事件本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 中国人类表型本体 / Human Phenotype Ontology China LOOM
http://purl.obolibrary.org/obo/BFO_0000002 中国人类表型本体 / Human Phenotype Ontology China SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Phenotypic Quality Ontology / 表型特质本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Phenotypic Quality Ontology / 表型特质本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Ontology of Genes and Genomes / 基因和基因组本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology of Genes and Genomes / 基因和基因组本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Plant Ontology / 植物本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Plant Ontology / 植物本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Vaccine Ontology / 疫苗本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Vaccine Ontology / 疫苗本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Relations Ontology / 关系本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Relations Ontology / 关系本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Uber Anatomy Ontology / 超级解剖学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Uber Anatomy Ontology / 超级解剖学本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Information Artifact Ontology / 信息工具本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Information Artifact Ontology / 信息工具本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Ontology for Biomedical Investigations / 生物医学研究本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology for Biomedical Investigations / 生物医学研究本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 The Drug Ontology / 药物本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 The Drug Ontology / 药物本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Ontology of Drug Adverse Events / 药物不良反应本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology of Drug Adverse Events / 药物不良反应本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Cell Line Ontology Subset for Chinese National Infrastructure of Cell Line Resource (NICR) / 国家实验细胞资源共享服务平台(NICR)细胞系本体子集 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Cell Line Ontology Subset for Chinese National Infrastructure of Cell Line Resource (NICR) / 国家实验细胞资源共享服务平台(NICR)细胞系本体子集 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 细胞系本体(中文翻译) / Cell Line Ontology (Chinese Translation) SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Coronavirus Infectious Disease Ontology / 冠状病毒感染性疾病本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Coronavirus Infectious Disease Ontology / 冠状病毒感染性疾病本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Ontology for General Medical Science / 通用医学科学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology for General Medical Science / 通用医学科学本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 International Classification of Diseases Ontology / 国际疾病分类本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 International Classification of Diseases Ontology / 国际疾病分类本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Ontology for Biobanking / 生物样本库本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Ontology for Biobanking / 生物样本库本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Infectious Disease Ontology / 传染性疾病本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Infectious Disease Ontology / 传染性疾病本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Informed Consent Ontology / 知情同意本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Informed Consent Ontology / 知情同意本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 中药本体 / Traditional Chinese Drug Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000002 中药本体 / Traditional Chinese Drug Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Environment Ontology / 环境本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Environment Ontology / 环境本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 GenEpiO / 基因组流行病学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 GenEpiO / 基因组流行病学本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000002 Cell Ontology / 细胞本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000002 Cell Ontology / 细胞本体 SAME_URI