<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <https://w3id.org/framester/framenet/tbox/hasSuperFE> <https://w3id.org/framester/framenet/abox/fe/Time.process_completed_state> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <https://w3id.org/framester/framenet/tbox/definition> "<def-root>The point at which the <fen>Agent</fen> is done with the <fen>Activity</fen>.</def-root>"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2002/07/owl#Thing> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#range> <https://w3id.org/framester/framenet/abox/semType/Time> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/framenet/abox/fe/Time.process_completed_state> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/abox/frame/Activity_done_state> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <https://w3id.org/framester/framenet/abox/fe/Time.process> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/abox/frame/Process_completed_state> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/framester/framenet/tbox/FrameElement> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/abox/frame/Process> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <https://w3id.org/framester/framenet/tbox/FE_name> "Time"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <https://w3id.org/framester/framenet/tbox/FE_coreType> "Peripheral"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <https://w3id.org/framester/framenet/tbox/hasSemType> <https://w3id.org/framester/framenet/abox/semType/Time> .
<https://w3id.org/framester/framenet/abox/fe/Time.activity_done_state> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <https://w3id.org/framester/framenet/abox/fe/Time.process_completed_state> .