@prefix : <http://ethon.consensys.net/Contracts/> .
@prefix ethon: <http://ethon.consensys.net/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:hasOutputValue a owl:InverseFunctionalProperty,
owl:ObjectProperty ;
rdfs:label "has Output Value"@en ;
ethon:suggestedStringRepresentation "hasOutputValue" ;
rdfs:comment "Relates a FunctionCall to an Output Value that is represented by it. For example a Function Call add(5,6) that returns the sum of two integers would be related to one Output Value, that contains the result of the addition."@en ;
rdfs:domain :FunctionCall ;
rdfs:range :OutputValue ;
rdfs:subPropertyOf :EthOnContractsObjectProperty ;
ns:term_status "unstable" .