@prefix : <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#> .
:hasAccountStorage a owl:FunctionalProperty,
owl:InverseFunctionalProperty,
owl:ObjectProperty ;
rdfs:label "has Account Storage"@en ;
:suggestedStringRepresentation "hasAccountStorage" ;
rdfs:comment "Relates an account to the Merkle Patricia tree that encodes its storage contents at a certain account state. This property is Functional because an account state can have only one instance of account storage and inverse functional because an account storage can have only one associated account state."@en ;
rdfs:range :AccountStorage ;
rdfs:subPropertyOf :AccountObjectProperty ;
ns:term_status "unstable" .