About: is direct form of

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

About: is direct form of Goto Sponge NotDistinct Permalink

An Entity of Type : owl:AnnotationProperty, within Data Space : taxref.i3s.unice.fr associated with source document(s)

Attributes	Values
rdf:type	AnnotationProperty
subPropertyOf	logical macro assertion on an object property
label	is direct form of
dc:creator	Chris Mungall
definition	relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y
http://purl.obolib...g/obo/IAO_0000116	The general property hierarchy is: "directly P" SubPropertyOf "P" Transitive(P) Where we have an annotation assertion "directly P" "is direct form of" "P"
logical macro asse...notation property	If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q'

Faceted Search & Find service v1.13.91 as of Jun 18 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3217 as of Jun 15 2018, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (31 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software