About: has sub-expression

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

About: has sub-expression Goto Sponge NotDistinct Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : yang.eurecom.fr associated with source document(s)

Relates a `Statement` or `Expression` to the `Expression`s it contains.

Attributes	Values
rdf:type	InverseFunctionalProperty ObjectProperty
rdfs:subPropertyOf	http://rdf-vocabulary.ddialliance.org/xkos#hasPart
inverseOf	is sub-expression of
rdfs:label	has sub-expression (en)
rdfs:domain	nodeID://b12169 nodeID://b13361
rdfs:range	nodeID://b12172 nodeID://b13364
rdfs:comment	Relates a `Statement` or `Expression` to the `Expression`s it contains. (en)
is rdfs:subPropertyOf of	has assert expression has case expression has condition has for init has for update has initializer has iterable has left hand side has returned expression has right hand side has switch expression has target has thrown expression
is onProperty of	nodeID://b11583 nodeID://b11719 nodeID://b12546 nodeID://b12675 nodeID://b12775 nodeID://b12911 nodeID://b13738 nodeID://b13867

Faceted Search & Find service v1.16.120 as of Nov 11 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (252 GB total memory, 476 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software