About: has body

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

About: has body Goto Sponge NotDistinct Permalink

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

Relates an `Executable`, a `Lambda Expression` or some `Statement`s to their body.

Attributes	Values
rdf:type	InverseFunctionalProperty FunctionalProperty ObjectProperty
rdfs:subPropertyOf	has sub-statement
inverseOf	is body of
rdfs:label	has body (en)
rdfs:domain	nodeID://b12240 nodeID://b13432
rdfs:range	Block Statement
rdfs:comment	Relates an `Executable`, a `Lambda Expression` or some `Statement`s to their body. (en)
is onProperty of	nodeID://b11782 nodeID://b11784 nodeID://b11920 nodeID://b11922 nodeID://b11925 nodeID://b11927 nodeID://b12089 nodeID://b12091 nodeID://b12250 nodeID://b12252 nodeID://b12264 nodeID://b12266 nodeID://b12354 nodeID://b12356 nodeID://b12455 nodeID://b12457 nodeID://b12542 nodeID://b12544 nodeID://b12974 nodeID://b12976 nodeID://b13112 nodeID://b13114 nodeID://b13117 nodeID://b13119 nodeID://b13281 nodeID://b13283 nodeID://b13442 nodeID://b13444 nodeID://b13456 nodeID://b13458 nodeID://b13546 nodeID://b13548 nodeID://b13647 nodeID://b13649 nodeID://b13734 nodeID://b13736

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