File: formulae-03.nt

package info (click to toggle)
rdflib 6.1.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 38,248 kB
  • sloc: python: 39,216; sh: 153; makefile: 110
file content (13 lines) | stat: -rw-r--r-- 1,119 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
_:formula3 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102793569statement1 .
_:t1102793569statement1 <http://www.w3.org/2000/10/swap/reify#subject> _:node4 .
_:t1102793569statement1 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#father> .
_:t1102793569statement1 <http://www.w3.org/2000/10/swap/reify#object> ?var2 .
_:formula3 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102793569statement2 .
_:t1102793569statement2 <http://www.w3.org/2000/10/swap/reify#subject> ?var1 .
_:t1102793569statement2 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#father> .
_:t1102793569statement2 <http://www.w3.org/2000/10/swap/reify#object> _:node4 .
_:formula5 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102793569statement3 .
_:t1102793569statement3 <http://www.w3.org/2000/10/swap/reify#subject> ?var1 .
_:t1102793569statement3 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#grandfather> .
_:t1102793569statement3 <http://www.w3.org/2000/10/swap/reify#object> ?var2 .
_:formula3 <http://www.w3.org/2000/10/swap/log#implies> _:formula5 .