Brinell Test Ontology-BFO

Last uploaded: July 30, 2024
Preferred Name

Agent
Synonyms
Definitions

Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃r(AgentRole(r) ∧ hasRole(x,r)) every instance of 'agent' is defined as exactly an instance of 'person', 'group of agents', or 'engineered system' when it 'has role' some 'agent role'

ID

https://spec.industrialontologies.org/ontology/core/Core/Agent

counter example

1. Of physical and chemical in nature: Cleaning, vulcanizing, fluxing, indicator, sterilizing, emulisifying, refining. 2. Organisms: animals, cells, parts of organisms (organs, organelles, viruses).

definition

Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃r(AgentRole(r) ∧ hasRole(x,r))

every instance of 'agent' is defined as exactly an instance of 'person', 'group of agents', or 'engineered system' when it 'has role' some 'agent role'

explanatory note

1. See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience. 2. The IOF has elected to exclude material substances often referred to as agents. That is, they realize some specific function that some person desires (e.g., platinum is a reducing agent in various reduction-type reactions -- as used in a catalytic converter to eliminate or reduce various pollutants in exhausts). 3. The IOF has, at this time, excluded non-human agents, such as animals and other organisms (often referred to as biological agents).

first order logic definition

Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃r(AgentRole(r) ∧ hasRole(x,r))

is defined by

https://spec.industrialontologies.org/ontology/core/Core/

prefixIRI

iof-core:Agent

prefLabel

Agent

semi-formal natural language definition

every instance of 'agent' is defined as exactly an instance of 'person', 'group of agents', or 'engineered system' when it 'has role' some 'agent role'

subClassOf

https://github.com/Mat-O-Lab/MSEO/raw/main/domain/util/readable_bfo_iris.ttl/MaterialEntity

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

Delete Subject Author Type Created
No notes to display
Create mapping

Mapping To Ontology Source
https://w3id.org/linkml-common/Agent COMET LOOM
https://w3id.org/biolink/vocab/Agent BIOLINK LOOM
http://purl.bioontology.org/NEMO/ontology/NEMO.owl#NEMO_0826000 NEMO LOOM
http://purl.obolibrary.org/obo/NCIT_C1708 PREMEDONTO LOOM
http://purl.bioontology.org/ontology/RCD/X904J RCD LOOM
http://www.w3.org/ns/prov#Agent DCAT3 LOOM
http://www.w3.org/ns/prov#Agent PROVO LOOM
http://www.w3.org/ns/prov#Agent CHEAR LOOM
http://www.w3.org/ns/prov#Agent BTO-PROVO LOOM
http://www.w3.org/ns/prov#Agent NEUROBRG LOOM
http://www.w3.org/ns/prov#Agent BMS-LM LOOM
http://www.w3.org/ns/prov#Agent MIAPA LOOM
http://www.w3.org/ns/prov#Agent MCRO LOOM
http://www.w3.org/ns/prov#Agent DCAT-FDC LOOM
http://www.w3.org/ns/prov#Agent SEPIO LOOM
http://www.w3.org/ns/prov#Agent HHEAR LOOM
http://www.w3.org/ns/prov#Agent KGCL LOOM
http://www.w3.org/ns/prov#Agent NIDM-RESULTS LOOM
http://www.w3.org/ns/prov#Agent GBOL LOOM
http://www.w3.org/ns/prov#Agent PROJ LOOM
http://www.w3.org/ns/prov#Agent G-PROV LOOM
http://www.w3.org/ns/prov#Agent REPRODUCE-ME LOOM
http://www.w3.org/ns/prov#Agent MATERIALSMINE LOOM
http://purl.bioontology.org/ontology/HL7/C1551364 HL7 LOOM
http://www.semanticweb.org/IPD-Onto#Agent IPD LOOM
http://www.w3.org/2006/vcard/ns#Agent VIVO-ISF LOOM
http://www.w3.org/2006/vcard/ns#Agent VIVO LOOM
http://www.w3.org/2006/vcard/ns#Agent SLSO LOOM
http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent BCI-O LOOM
http://purl.obolibrary.org/obo/ICO_0000220 ICO LOOM
http://xmlns.com/foaf/0.1/Agent BIBLIOTEK-O LOOM
http://xmlns.com/foaf/0.1/Agent BCI-O LOOM
http://xmlns.com/foaf/0.1/Agent VIVO-ISF LOOM
http://xmlns.com/foaf/0.1/Agent FOAF LOOM
http://xmlns.com/foaf/0.1/Agent COKPME LOOM
http://xmlns.com/foaf/0.1/Agent NLN LOOM
http://xmlns.com/foaf/0.1/Agent SSN LOOM
http://xmlns.com/foaf/0.1/Agent MCRO LOOM
http://xmlns.com/foaf/0.1/Agent TYPON LOOM
http://xmlns.com/foaf/0.1/Agent OCO LOOM
http://xmlns.com/foaf/0.1/Agent VIVO LOOM
http://xmlns.com/foaf/0.1/Agent CODO LOOM
http://xmlns.com/foaf/0.1/Agent FDT-O LOOM
http://xmlns.com/foaf/0.1/Agent HORD LOOM
http://xmlns.com/foaf/0.1/Agent GBOL LOOM
http://xmlns.com/foaf/0.1/Agent HERO LOOM
http://xmlns.com/foaf/0.1/Agent MODSCI LOOM
http://xmlns.com/foaf/0.1/Agent SLSO LOOM
http://xmlns.com/foaf/0.1/Agent G-PROV LOOM
http://xmlns.com/foaf/0.1/Agent BRIDG LOOM
http://xmlns.com/foaf/0.1/Agent ERO LOOM
http://xmlns.com/foaf/0.1/Agent MATERIALSMINE LOOM
http://lsdis.cs.uga.edu/projects/glycomics/propreo#agent PROPREO LOOM
http://sweetontology.net/reprSciProvenance/Agent SWEET LOOM
https://w3id.org/emmo#Agent BTO-EMMO LOOM
http://purl.org/hed/releases/2024-06-10/hed/HED_0012009 HED LOOM
http://ncicb.nci.nih.gov/xml/owl/EVS/Thesaurus.owl#C1708 ACESO LOOM
http://ncicb.nci.nih.gov/xml/owl/EVS/Thesaurus.owl#C1708 NCIT LOOM
http://purl.bioontology.org/ontology/SNOMEDCT/260872001 SNOMEDCT LOOM
http://www.limics.fr/ontologies/ontoparonnoy#Agent ONTOPARON LOOM
http://www.limics.fr/ontologies/ontoparonnoy#Agent ONTOPARON_SOCIAL LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#agent ONL-MSA LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#agent OntoVIP LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#agent ONL-MR-DA LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#agent ONL-DP LOOM
http://purl.obolibrary.org/obo/GSSO_000229 GSSO LOOM
http://rdf.glycoinfo.org/SugarBind/ontology#Agent GB LOOM
http://rdf.glycoinfo.org/SugarBind/ontology#Agent SUGARBIND LOOM
https://www.w3.org/ns/prov#Agent G-PROV LOOM
http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl#Agent ICPS LOOM
https://w3id.org/emmo#EMMO_2480b72b_db8d_460f_9a5f_c2912f979046 BTO-EMMO LOOM
http://knoesis.wright.edu/provenir/provenir.owl#agent PEO LOOM
http://purl.org/dc/terms/Agent DCAT3 LOOM
http://purl.org/dc/terms/Agent FOAF LOOM
http://purl.org/dc/terms/Agent FMA LOOM
http://purl.org/dc/terms/Agent GVO LOOM
http://purl.org/dc/terms/Agent DCAT-FDC LOOM
http://purl.org/dc/terms/Agent HELIFIT LOOM
http://purl.org/dc/terms/Agent NGSONTO LOOM
http://purl.org/dc/terms/Agent OPTION-ONTOLOGY LOOM
http://purl.org/dc/terms/Agent FDT-O LOOM
http://purl.org/dc/terms/Agent HERO LOOM
http://purl.org/dc/terms/Agent MODSCI LOOM
http://purl.org/dc/terms/Agent PROJ LOOM
http://purl.org/dc/terms/Agent G-PROV LOOM
http://purl.org/dc/terms/Agent BRIDG LOOM
http://purl.org/dc/terms/Agent MATERIALSMINE LOOM
http://purl.org/dc/terms/Agent DCT LOOM
http://doe-generated-ontology.com/OntoAD#C0450442 ONTOAD LOOM
http://www.knowledgegrid.org/koro#KORO_300 KORO LOOM