About: independent continuant

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: independent continuant Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Class, within Data Space : wasabi.inria.fr associated with source document(s)

A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.

Attributes	Values
type	Class
label	independent continuant bfo:independent continuant
isDefinedBy	http://purl.obolibrary.org/obo/bfo.owl
comment	A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
disjointWith	characteristic generically dependent continuant
subClassOf	continuant nodeID://b662817284 nodeID://b662818264 nodeID://b663275751 nodeID://b663277129 nodeID://b663955245 nodeID://b663956255 nodeID://b663961985 nodeID://b663962995 nodeID://b663964049 nodeID://b663965059 nodeID://b663966093 nodeID://b663967103 nodeID://b665100506 nodeID://b665101516 nodeID://b665385121 nodeID://b665386131 nodeID://b665387141 nodeID://b665388151 nodeID://b665389161 nodeID://b665390171 nodeID://b665417847 nodeID://b665418857 nodeID://b665460146 nodeID://b665461156 nodeID://b665501981 nodeID://b665502991 nodeID://b665758115 nodeID://b665759125 nodeID://b665760135 nodeID://b665761145 nodeID://b665801443 nodeID://b665802453 nodeID://b665803463 nodeID://b665804473 nodeID://b665858531 nodeID://b665859541 nodeID://b666498561 nodeID://b666499571
topic	characteristic http://purl.obolibrary.org/obo/bfo.owl has associated axiom(nl) continuant example of usage definition generically dependent continuant has associated axiom(fol) http://purl.obolibrary.org/obo/BFO_0000004#this http://purl.obolibrary.org/obo/BFO_0000004#DataCreation http://purl.obolibrary.org/obo/BFO_0000004#rdf_load_html_response BFO OWL specification label BFO CLIF specification label nodeID://b665410353
described by	proxy:entity/http/purl.obolibrary.org/obo/ro.owl proxy:entity/http/w3id.org/ontopbm proxy:entity/http/purl.obolibrary.org/obo/iao.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/iao.owl proxy:entity/http/purl.obolibrary.org/obo/BFO_0000040 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/hso.owl proxy:entity/https/w3id.org/hso proxy:entity/http/purl.obolibrary.org/obo/hso.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/ro.owl https://covidontheweb.inria.fr:4443/about/id/entity/https/w3id.org/hso proxy:entity/http/purl.obolibrary.org/obo/bfo.owl proxy:entity/http/purl.obolibrary.org/obo/obi.owl proxy:entity/http/purl.obolibrary.org/obo/BFO_0000141 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/BFO_0000040 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl
has associated axiom(nl)	For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]) For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
example of usage	a chair a heart a leg a molecule a spatial region an atom an orchestra. an organism the bottom right portion of a human torso the interior of your mouth
definition	b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
has associated axiom(fol)	(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
http://data.bioont...etadata/prefixIRI	BFO:0000004
BFO OWL specification label	ic
BFO CLIF specification label	IndependentContinuant
is first of	nodeID://b254664532 nodeID://b254664616 nodeID://b254665002 nodeID://b254665006 nodeID://b254672386

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software