@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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:hasInputValue a owl:InverseFunctionalProperty,
owl:ObjectProperty ;
rdfs:label "has Input Value"@en ;
ethon:suggestedStringRepresentation "hasInputValue" ;
rdfs:comment "Relates a FunctionCall or a LogEntry to an Input Value that is represented by it. For example a Function Call add(5,6) would be related to two Input Values, one for each Input to the Function."@en ;
rdfs:domain [ a owl:Class ;
owl:unionOf ( ethon:LogEntry :FunctionCall ) ] ;
rdfs:range :InputValue ;
rdfs:subPropertyOf :EthOnContractsObjectProperty ;
ns:term_status "unstable" .