sub:assertion {
sub:assertion a nt:AssertionTemplate ;
rdfs:label "Expressing a general claim with a super-pattern" ;
nt:hasStatement sub:st0 ,
sub:st1 ,
sub:st2 ,
sub:st3 ,
sub:st4 ,
sub:st5 .
sub:contextClass a nt:GuidedChoicePlaceholder ;
rdfs:label "URI of the context class" ;
nt:possibleValue sp:UniversalContext ;
nt:possibleValuesFromApi "http://purl.org/nanopub/api/find_signed_things?type=http%3A%2F%2Fwww.w3.org%2F2002%2F07%2Fowl%23Class&searchterm=" , "https://www.wikidata.org/w/api.php?action=wbsearchentities&language=en&format=json&limit=5&search=" .
sub:objectClass a nt:GuidedChoicePlaceholder ;
rdfs:label "URI of the object class (B)" ;
nt:possibleValuesFromApi "http://purl.org/nanopub/api/find_signed_things?type=http%3A%2F%2Fwww.w3.org%2F2002%2F07%2Fowl%23Class&searchterm=" , "https://www.wikidata.org/w/api.php?action=wbsearchentities&language=en&format=json&limit=5&search=" .
sub:qualifier a nt:RestrictedChoicePlaceholder ;
rdfs:label "URI of the qualifier" ;
nt:possibleValue sp:alwaysQualifier ,
sp:canAlwaysQualifier ,
sp:canGenerallyNotQualifier ,
sp:canGenerallyQualifier ,
sp:canMostlyNotQualifier ,
sp:canMostlyQualifier ,
sp:canNeverQualifier ,
sp:canSometimesQualifier ,
sp:generallyNotQualifier ,
sp:generallyQualifier ,
sp:mostlyNotQualifier ,
sp:mostlyQualifier ,
sp:neverQualifier ,
sp:sometimesQualifier .
sub:relation a nt:RestrictedChoicePlaceholder ;
rdfs:label "URI of the relation type" ;
nt:possibleValue sp:causes ,
sp:comparesTo ,
sp:contributesTo ,
sp:cooccursWith ,
sp:decreases ,
sp:enables ,
sp:entails ,
sp:follows ,
sp:hasCausalRelationWith ,
sp:includes ,
sp:increases ,
sp:inhibits ,
sp:isCausedBy ,
sp:isIncludedIn ,
sp:isLargerThan ,
sp:isNecessaryAndSufficientFor ,
sp:isNecessaryFor ,
sp:isSameAs ,
sp:isSmallerThan ,
sp:negativelyCorrelatesWith ,
sp:positivelyCorrelatesWith ,
sp:precedes ,
sp:prevents ,
sp:requires .
sub:spi a nt:IntroducedResource ,
nt:LocalResource ;
rdfs:label "SPI:" .
sub:st0 rdf:object sp:SuperPatternInstance ;
rdf:predicate rdf:type ;
rdf:subject sub:spi ;
a rdf:Statement ;
nt:statementOrder 0 .
sub:st1 rdf:object sub:contextClass ;
rdf:predicate sp:hasContextClass ;
rdf:subject sub:spi ;
a rdf:Statement ;
nt:statementOrder 1 .
sub:st2 rdf:object sub:subjectClass ;
rdf:predicate sp:hasSubjectClass ;
rdf:subject sub:spi ;
a rdf:Statement ;
nt:statementOrder 2 .
sub:st3 rdf:object sub:qualifier ;
rdf:predicate sp:hasQualifier ;
rdf:subject sub:spi ;
a rdf:Statement ;
nt:statementOrder 3 .
sub:st4 rdf:object sub:relation ;
rdf:predicate sp:hasRelation ;
rdf:subject sub:spi ;
a rdf:Statement ;
nt:statementOrder 4 .
sub:st5 rdf:object sub:objectClass ;
rdf:predicate sp:hasObjectClass ;
rdf:subject sub:spi ;
a rdf:Statement ;
nt:statementOrder 5 .
sub:subjectClass a nt:GuidedChoicePlaceholder ;
rdfs:label "URI of the subject class (A)" ;
nt:possibleValuesFromApi "http://purl.org/nanopub/api/find_signed_things?type=http%3A%2F%2Fwww.w3.org%2F2002%2F07%2Fowl%23Class&searchterm=" , "https://www.wikidata.org/w/api.php?action=wbsearchentities&language=en&format=json&limit=5&search=" .
rdf:type rdfs:label "This is a" .
sp:SuperPatternInstance rdfs:label "super-pattern instance" .
sp:UniversalContext rdfs:label "universal context (i.e. no context restriction)" .
sp:alwaysQualifier rdfs:label "always" .
sp:canAlwaysQualifier rdfs:label "can always" .
sp:canGenerallyNotQualifier rdfs:label "can generally not" .
sp:canGenerallyQualifier rdfs:label "can generally" .
sp:canMostlyNotQualifier rdfs:label "can mostly not" .
sp:canMostlyQualifier rdfs:label "can mostly" .
sp:canNeverQualifier rdfs:label "can never" .
sp:canSometimesQualifier rdfs:label "can sometimes" .
sp:causes rdfs:label "A causes B" .
sp:comparesTo rdfs:label "A compares to B" .
sp:contributesTo rdfs:label "A contributes to B" .
sp:cooccursWith rdfs:label "A co-occurs with B" .
sp:decreases rdfs:label "A decreases B" .
sp:enables rdfs:label "A enables B" .
sp:entails rdfs:label "A entails B" .
sp:follows rdfs:label "A follows B" .
sp:generallyNotQualifier rdfs:label "generally not" .
sp:generallyQualifier rdfs:label "generally" .
sp:hasCausalRelationWith rdfs:label "A has causal relation with B" .
sp:hasContextClass rdfs:label "In the context of all things of type" .
sp:hasObjectClass rdfs:label "... to things of type" .
sp:hasQualifier rdfs:label "... (qualifier)" .
sp:hasRelation rdfs:label "... have a relation of type" .
sp:hasSubjectClass rdfs:label "... things of type" .
sp:includes rdfs:label "A includes B" .
sp:increases rdfs:label "A increases B" .
sp:inhibits rdfs:label "A inhibits B" .
sp:isCausedBy rdfs:label "A is caused by B" .
sp:isIncludedIn rdfs:label "A is included in B" .
sp:isLargerThan rdfs:label "A is larger than B" .
sp:isNecessaryAndSufficientFor rdfs:label "A is necessary and sufficient for B" .
sp:isNecessaryFor rdfs:label "A is necessary for B" .
sp:isSameAs rdfs:label "A is same as B" .
sp:isSmallerThan rdfs:label "A is smaller than B" .
sp:mostlyNotQualifier rdfs:label "mostly not" .
sp:mostlyQualifier rdfs:label "mostly" .
sp:negativelyCorrelatesWith rdfs:label "A negatively correlates with B" .
sp:neverQualifier rdfs:label "never" .
sp:positivelyCorrelatesWith rdfs:label "A positively correlates with B" .
sp:precedes rdfs:label "A precedes B" .
sp:prevents rdfs:label "A prevents B" .
sp:requires rdfs:label "A requires B" .
sp:sometimesQualifier rdfs:label "sometimes" .
}