blob: b41226afbf0f4397144b03fad5074e0297e50616 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
_:formula1 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102648781statement1 .
_:t1102648781statement1 <http://www.w3.org/2000/10/swap/reify#subject> ?p .
_:t1102648781statement1 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#father> .
_:t1102648781statement1 <http://www.w3.org/2000/10/swap/reify#object> ?q .
_:formula1 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102648781statement2 .
_:t1102648781statement2 <http://www.w3.org/2000/10/swap/reify#subject> ?q .
_:t1102648781statement2 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#father> .
_:t1102648781statement2 <http://www.w3.org/2000/10/swap/reify#object> ?r .
_:formula2 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102648781statement3 .
_:t1102648781statement3 <http://www.w3.org/2000/10/swap/reify#subject> ?p .
_:t1102648781statement3 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#grandfather> .
_:t1102648781statement3 <http://www.w3.org/2000/10/swap/reify#object> ?r .
_:formula1 <http://www.w3.org/2000/10/swap/log#implies> _:formula2 .
|
