About: quality   Goto Sponge  NotDistinct  Permalink

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

AttributesValues
type
label
  • quality
  • bfo:quality
isDefinedBy
subClassOf
topic
described by
has associated axiom(nl)
  • If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])
example of usage
  • the ambient temperature of this portion of air
  • the color of a tomato
  • the length of the circumference of your waist
  • the mass of this piece of gold.
  • the shape of your nose
  • the shape of your nostril
imported from
editor preferred term
  • quality
has associated axiom(fol)
  • (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]
  • (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
elucidation
  • a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])
http://data.bioont...etadata/prefixIRI
  • BFO:0000019
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
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