Ontologies Classes Object Properties Data Properties Annotation Properties Individuals Datatypes Clouds

Class: 'all-some all-times interpretation modifier'

Annotations (4)

  • dcterms:description "A modifier on a triple that causes the triple to be interpreted as an all-some statement holding for all times at which the subject exists"
  • example "
    <<nucleus part-of cell>> os:interpretation os:AllSomeAllTimesInterpretation ->
    all i, t: <<i a nucleus>> os:context t -> exists j: <<j a cell>> os:context t, <<i part-of j>> os:context t
    "
  • 'for mapping' "<<?s ?p ?o>> os:interpretation os:AllSomeAllTimesInterpretation -> all i,t : <<i a ?s>> os:context t -> exists j: <<j a ?o>> os:context t, <<i p j>> os:context t"
  • rdfs:label "all-some all-times interpretation modifier"

Superclasses (1)

OWL HTML inside