PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 99 (xsd:integer)
nif:isString
  • A⊆B ∈ I implies A ∈ I; for A, B ∈ I, if |A | <|B|, then there exists e ∈ B − A such that A ∪ e ∈ I.
rdf:type