Category:PositiveEntailmentTest
From RIF
Positive entailment test cases
Pages in category "PositiveEntailmentTest"
The following 74 pages are in this category, out of 74 total.
B
C
D
E
F
I
M
O
R
- RDF Combination Blank Node
- RDF Combination Constant Equivalence 1
- RDF Combination Constant Equivalence 2
- RDF Combination Constant Equivalence 3
- RDF Combination Constant Equivalence 4
- RDF Combination Constant Equivalence Graph Entailment
- RDF Combination Member 1
- RDF Combination SubClass 2
- RDF Combination SubClass 4
- RDF Combination SubClass 6
