PREFIX pims-ii: PREFIX rdf: PREFIX rdfs: PREFIX xsd: pims-ii:Perception a rdfs:Class ; rdfs:label "Perception"@en ; rdfs:comment "Perception, i.e., a semiosis in which the referent is a participant (as a perceived object) and therefore needs to be physically present"@en ; rdfs:subClassOf pims-ii:Semiosis . pims-ii:isProperPartOf a rdf:Property ; rdfs:label "isProperPartOf"@en ; rdfs:comment "Spatiotemporal (mereological) proper parthood relation; (x isProperPartOf y) means that x is an improper part of y such that x and y are not the same, in other words, all points within x are also within y, but not vice versa" ; rdfs:range ; rdfs:subPropertyOf pims-ii:isTemporallyIncludedIn , pims-ii:isImproperPartOf . pims-ii:isInitialStepIn a rdf:Property ; rdfs:label "isInitialStepIn"@en ; rdfs:comment "(x isInitialStepIn y) means that y is a step in x (i.e., a subprocess of x) that is not preceded by any other step" ; rdfs:domain pims-ii:Process ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:isStepIn . pims-ii:isStepIn a rdf:Property ; rdfs:label "isStepIn"@en ; rdfs:comment "(x isStepIn y) means that x and y are processes, where x is a proper part of y that plays a well-defined role within y (e.g., a task within a project, the execution of a single command within the execution of a program, etc.)" ; rdfs:domain pims-ii:Process ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:isProperParticipantIn . pims-ii:isGroundedStepIn a rdf:Property ; rdfs:label "isGroundedStepIn"@en ; rdfs:comment "(x isGroundedStepIn y) == y is a grounding step where x is the grounded step, i.e., the third element" ; rdfs:domain pims-ii:CognitiveStep ; rdfs:range pims-ii:GroundingMetonymization ; rdfs:subPropertyOf pims-ii:isNewReferentInMetonymization . pims-ii:isStepInCognitiveChain a rdf:Property ; rdfs:label "isStepInCognitiveChain"@en ; rdfs:comment "(x isStepInCognitiveChain y) means that y is a cognitive chain that consists of multiple logically connected cognitive steps (following Peirce, these are typically triads, i.e., semioses and semantic changes), and that x is one of these steps" ; rdfs:domain pims-ii:CognitiveStep ; rdfs:range pims-ii:Cognition ; rdfs:subPropertyOf pims-ii:isStepIn , pims-ii:isParticipantInCognition . pims-ii:logicallyPrecedes a rdf:Property ; rdfs:label "logicallyPrecedes"@en ; rdfs:comment "(x logicallyPrecedes y) means that x and y are cognitive steps that are connected by a cognitive chain, leading from x and y, that does not contain a cognitive rupture"@en ; rdfs:domain pims-ii:Cognition ; rdfs:range pims-ii:Cognition ; rdfs:subPropertyOf pims-ii:precedesStep . pims-ii:directlyPrecedesStep a rdf:Property ; rdfs:label "directlyPrecedesStep"@en ; rdfs:comment "(x directlyPrecedesStep y) means that x and y are processes such that y can commence when x (and possibly other steps that also directly precede y) has finished"@en ; rdfs:domain pims-ii:Process ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:precedesStep , pims-ii:hasDirectCausalConnectionWith . pims-ii:isValidatedIn a rdf:Property ; rdfs:label "isEvaluatedIn"@en ; rdfs:comment "(x isValidatedIn y) means that y is a validation where x is the cognitive action undergoing validation, i.e., the second element"@en ; rdfs:domain pims-ii:CognitiveAction ; rdfs:range pims-ii:Validation ; rdfs:subPropertyOf pims-ii:isEvaluatedIn . pims-ii:isPresentStepInGrounding a rdf:Property ; rdfs:label "isPresentStepInGrounding"@en ; rdfs:comment "(x isPresentStepInGrounding y) == y is a grounding interpretation where x is the second element, i.e., the considered cognitive step" ; rdfs:domain pims-ii:CognitiveStep ; rdfs:range pims-ii:GroundingInterpretation ; rdfs:subPropertyOf pims-ii:isObjectInInterpretation . pims-ii:isActionInSteering a rdf:Property ; rdfs:label "isActionInSteering"@en ; rdfs:comment "(x isActionInSteering y) == y is a steering operation (reflection in actu) where x is an ongoing action, i.e., the second element, against which the telos is evaluated" ; rdfs:domain pims-ii:Action ; rdfs:range pims-ii:Steering ; rdfs:subPropertyOf pims-ii:isPerceivedIn , pims-ii:isObjectInTelesis . pims-ii:directlyPrecedesByRupture a rdf:Property ; rdfs:label "directlyPrecedesByRupture"@en ; rdfs:comment "(x directlyPrecedesByRupture y) == x is the cognitive step that directly precedes y logically (and typically, y takes over a dyadic representation relation from x), but either x or y constitutes a cognitive rupture, i.e., it interrupts the chain of grounding" ; rdfs:domain pims-ii:CognitiveStep ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:directlyPrecedesCognitiveStep . pims-ii:isSpatiotemporallyDisconnectedFrom a rdf:Property ; rdfs:label "isSpatiotemporallyDisconnectedFrom"@en ; rdfs:comment "(x isSpatiotemporallyDisconnectedFrom y) is the negation of (x isSpatiotemporallyConnectedWith y); i.e., to go from any point in x to any point in y, it is necessary to leave the fusion (x U y)" ; rdfs:range ; rdfs:subPropertyOf pims-ii:doesNotOverlapWith . pims-ii:hasProperPart a rdf:Property ; rdfs:label "hasProperPart"@en ; rdfs:comment "(x hasProperPart y) means that y is an improper part of x such that x and y are not the same, in other words, all points within y are also within x, but not vice versa"@en ; rdfs:range ; rdfs:subPropertyOf pims-ii:hasImproperPart . pims-ii:isTerminalStepIn a rdf:Property ; rdfs:label "isTerminalStepIn"@en ; rdfs:comment "(x isTerminalStepIn y) means that y is a step in x (i.e., a subprocess of x) that does not precede any other step" ; rdfs:domain pims-ii:Process ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:isStepIn . pims-ii:precedesStep a rdf:Property ; rdfs:label "precedesStep"@en ; rdfs:comment "'precedesStep' is the transitive closure of 'directlyPrecedesStep'; (x precedesStep y) means that the processes x and y are, possibly indirectly, causally connected such that x needs to be concluded before y can commence" ; rdfs:domain pims-ii:Process ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:temporallyPrecedes , pims-ii:hasCausalConnectionWith . pims-ii:isTriadOf a rdf:Property ; rdfs:label "isTriadOf"@en ; rdfs:comment "'x isTriadOf (e1 e2 e3)' is a shorthand for 'e1 isFirstElementIn x; e2 isSecondElementIn x; e3 isThirdElementIn x'"@en ; rdfs:domain pims-ii:TriadicCognition ; rdfs:range rdf:List ; rdfs:subPropertyOf pims-ii:isRelatedToList . pims-ii:temporallyPrecedes a rdf:Property ; rdfs:label "temporallyPrecedes"@en ; rdfs:comment "(x temporallyPrecedes y) means that every point in x is earlier in time than every point in y; the spacetime regions x and y may be connected, but they cannot overlap temporally" ; rdfs:range ; rdfs:subPropertyOf pims-ii:doesNotTemporallyOverlapWith . pims-ii:isGroundingStepIn a rdf:Property ; rdfs:label "isGroundingStepIn"@en ; rdfs:comment "(x isGroundingStepIn y) == y is a grounding step where x is the grounding step, i.e., the first element" ; rdfs:domain pims-ii:CognitiveStep ; rdfs:range pims-ii:GroundingMetonymization ; rdfs:subPropertyOf pims-ii:isOldReferentInMetonymization . pims-ii:isEvaluatedIn a rdf:Property ; rdfs:label "isEvaluatedIn"@en ; rdfs:comment "(x isEvaluatedIn y) == y is an evaluation (reflection ex post) where x is the action undergoing evaluation, i.e., the second element; n.b., the action needs to temporally precede the evaluation" ; rdfs:domain pims-ii:Action ; rdfs:range pims-ii:Evaluation ; rdfs:subPropertyOf pims-ii:isObjectInTelesis , pims-ii:temporallyPrecedes , pims-ii:isObjectInInterpretation . pims-ii:isCognitiveSubstepOf a rdf:Property ; rdfs:label "isCognitiveSubstepOf"@en ; rdfs:comment "In certain cases, multiple cognitive steps can be combined to yield one; e.g., the substep a: s - o - s' and the substep b: s' - o - s'' can be combined to yield a single triad, (a o b) = c: s - o - s''; in that case, c can be an element of a higher-order cognitive chain (of which it is a step), and a and b are its cognitive substeps" ; rdfs:domain pims-ii:CognitiveStep ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:isStepInCognitiveChain . pims-ii:directlyGrounds a rdf:Property ; rdfs:label "directlyGrounds"@en ; rdfs:comment "(x directlyGrounds y) == x is the cognitive step (or basic ground) that directly precedes y logically, such that a dyadic representation relation from y is taken over from x (or assumed to be grounded a priori due to x)" ; rdfs:domain pims-ii:Cognition ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:logicallyPrecedes , pims-ii:directlyPrecedesCognitiveStep . pims-ii:isActionInUndertaking a rdf:Property ; rdfs:label "isActionInUndertaking"@en ; rdfs:comment "(x isActionInUndertaking y) == y is an undertaking where x is the action that is undertaken, i.e., the third element" ; rdfs:domain pims-ii:Action ; rdfs:range pims-ii:Undertaking ; rdfs:subPropertyOf pims-ii:isNewReferentInMetonymization . pims-ii:isMereotopologicalMemberOf a rdf:Property ; rdfs:label "isMereotopologicalMemberOf"@en ; rdfs:comment "(x isMereotopologicalMemberOf y) means that x is one out of several mereotopologically connected components of y" ; rdfs:domain pims-ii:Item ; rdfs:range pims-ii:MereotopologicalCollective ; rdfs:subPropertyOf pims-ii:isMereologicallyConstitutiveOf , pims-ii:isMemberOf . pims-ii:Metonymization a rdfs:Class ; rdfs:label "Metonymization"@en ; rdfs:comment "Metonymization, i.e., a semantic change where there is a causal connection between the old and the new referent, so that the criterion of a 'real causal connection' (between signs and objects) from Peircean semiotics is preserved" ; rdfs:subClassOf pims-ii:CognitiveStep , pims-ii:SemanticChange . pims-ii:CanonicalTUCAN a rdfs:Class ; rdfs:label "CanonicalTUCAN"@en ; rdfs:comment "Canonical TUCAN, i.e., the material identifier as developed within the NFDI4Chem project"@en ; rdfs:subClassOf pims-ii:MaterialIdentifier . pims-ii:isDesignParameterWithin a rdf:Property ; rdfs:label "isDesignParameterWithin"@en ; rdfs:comment "(x isDesignParameterWithin y) == x is one of the parameters that make up the design space considered in the optimization problem y"@en ; rdfs:domain pims-ii:Conventional ; rdfs:range pims-ii:OptimizationProblem ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:articulatesLiterally a rdf:Property ; rdfs:label "articulatesLiterally"@en ; rdfs:comment "(x articulatesLiterally y) means that x is a collective literal expressing the proposition y, and possibly additional propositions beside y" ; rdfs:domain pims-ii:CollectiveLiteral ; rdfs:range pims-ii:Proposition ; rdfs:subPropertyOf pims-ii:articulates . pims-ii:isSecondInDyad a rdf:Property ; rdfs:label "isSecondInDyad"@en ; rdfs:comment "(y isSecondInDyad d) means that y is the second element of the dyad d" ; rdfs:domain pims-ii:Conventional ; rdfs:range pims-ii:Dyad ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isMaximizationObjectiveIn a rdf:Property ; rdfs:label "isMaximizationObjectiveIn"@en ; rdfs:comment "(x isMaximizationObjectiveIn y) == x is a maximization objective/criterion considered in the optimization problem y"@en ; rdfs:domain pims-ii:Conventional ; rdfs:range pims-ii:Optimization ; rdfs:subPropertyOf pims-ii:isOptimizationObjectiveWithin . pims-ii:isRepresentamenFor a rdf:Property ; rdfs:label "isRepresentamenFor"@en ; rdfs:comment "Dyadic representation relation; (x isRepresentamenFor y) means that there is a cognitive step z such that (x isRepresentamenIn z) and (y isReferentIn z)" ; rdfs:range ; rdfs:subPropertyOf pims-ii:msIRHPIP , pims-ii:msIRHRIR , pims-ii:msHPIPIR . pims-ii:isOptimizationObjectiveWithin a rdf:Property ; rdfs:label "isOptimizationObjectiveWithin"@en ; rdfs:comment "(x isOptimizationObjectiveWithin y) == x is one of the optimization criteria that make up the objective space considered in the optimization problem y"@en ; rdfs:domain pims-ii:Conventional ; rdfs:range pims-ii:OptimizationProblem ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isLiterally a rdf:Property ; rdfs:label "isLiterally"@en ; rdfs:comment "points to the expression of a collective literal as an RDFS literal (e.g., xs:string or xs:decimal)" ; rdfs:domain pims-ii:CollectiveLiteral ; rdfs:range . pims-ii:articulatesNonliterally a rdf:Property ; rdfs:label "articulatesNonliterally"@en ; rdfs:comment "(x articulatesNonliterally y) means that x is a collective non-literal expression (e.g., an utterance) of proposition y, and possibly additional propositions beside y" ; rdfs:domain pims-ii:Articulation ; rdfs:range pims-ii:Proposition ; rdfs:subPropertyOf pims-ii:articulates . pims-ii:isMinimizationObjectiveIn a rdf:Property ; rdfs:label "isMaximizationObjectiveIn"@en ; rdfs:comment "(x isMaximizationObjectiveIn y) == x is a maximization objective/criterion considered in the optimization problem y"@en ; rdfs:domain pims-ii:Conventional ; rdfs:range pims-ii:Optimization ; rdfs:subPropertyOf pims-ii:isOptimizationObjectiveWithin . pims-ii:isFirstInDyad a rdf:Property ; rdfs:label "isFirstInDyad"@en ; rdfs:comment "(x isFirstInDyad d) means that x is the first element of the dyad d" ; rdfs:domain pims-ii:Conventional ; rdfs:range pims-ii:Dyad ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isAbout a rdf:Property ; rdfs:label "isAbout"@en ; rdfs:comment "(x isAbout y) means that x is a proposition and y is the object that x is related to by aboutness"@en ; rdfs:range ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:describesMethodEmployedBy a rdf:Property ; rdfs:label "describesMethodEmployedBy"@en ; rdfs:comment "(x describesMethodEmployedBy y) means that the agent y follows a methodology described by x in carrying out an action"@en ; rdfs:domain pims-ii:Articulation ; rdfs:range pims-ii:Agent ; rdfs:subPropertyOf pims-ii:msIRHPIP . pims-ii:isNameFor a rdf:Property ; rdfs:label "isNameFor"@en ; rdfs:comment "(x isNameFor y), to be applied in the frequent special case where x is represented by a name for x, i.e., where social convention has established y as a rigid designator for x" ; rdfs:domain pims-ii:Name ; rdfs:range ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:isRepresentationalElementIn a rdf:Property ; rdfs:label "isRepresentationalElementIn"@en ; rdfs:comment "(x isRepresentationalElementIn y) == x acts as a representamen or referent in the cognitive step y" ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:articulates a rdf:Property ; rdfs:label "articulates"@en ; rdfs:comment "(x articulates y) means that x is a semiotic member of the proposition y, giving a literal or non-literal (e.g., spoken) expression to its propositional content; n.b., x may also express other propositions beside y"@en ; rdfs:domain pims-ii:Articulation ; rdfs:range pims-ii:Proposition ; rdfs:subPropertyOf pims-ii:isSemioticMemberOf . pims-ii:describesMethodAppliedIn a rdf:Property ; rdfs:label "describesMethodAppliedIn"@en ; rdfs:comment "(x describesMethodAppliedIn y) means that x describes y in terms of the method that is employed"@en ; rdfs:domain pims-ii:Articulation ; rdfs:range pims-ii:Action ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:Dyad a rdfs:Class ; rdfs:label "Dyad"@en ; rdfs:comment "Dyad, i.e., a data item by which two conventionals are grouped together; e.g., an equality or inequality articulation" ; rdfs:subClassOf pims-ii:DataItem . pims-ii:isOrthodataWithin a rdf:Property ; rdfs:label "isOrthodataWithin"@en ; rdfs:comment "(x isOrthodataWithin y) means that x articulates a substantial aspect of either the antecedent or the consequent side of the rule y"@en ; rdfs:domain pims-ii:DigitalArticulation ; rdfs:range pims-ii:Rule ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isParadataWithin a rdf:Property ; rdfs:label "isParadataWithin"@en ; rdfs:comment "(x isParadataWithin y) means that x articulates something explicitly said to be unsubstantial to the rule y, and thereby semiotically constitutive of it, e.g., by a mechanism of logical subtraction"@en ; rdfs:domain pims-ii:DigitalArticulation ; rdfs:range pims-ii:Rule ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:ModelPropertyClaim a rdfs:Class ; rdfs:label "PropertyClaim"@en ; rdfs:comment "Model property claim (MPC), i.e., a PC concerning a property of a model"@en ; rdfs:subClassOf pims-ii:PropertyClaim . pims-ii:isInterpretantIn a rdf:Property ; rdfs:label "isInterpretantIn"@en ; rdfs:comment "(x isInterpretantIn y) == y is a semiosis where x acts as the interpretant, i.e., the third element" ; rdfs:range pims-ii:Semiosis ; rdfs:subPropertyOf pims-ii:isThirdElementIn , pims-ii:isRepresentamenIn . pims-ii:isAccumulationConditionIn a rdf:Property ; rdfs:label "isAccumulationConditionIn"@en ; rdfs:comment "(x isAccumulationConditionIn y) == in the accumulation process y, the condition x controls in what way the input and the additionally included elements interact to yield a combined output" ; rdfs:domain pims-ii:Proposition ; rdfs:range pims-ii:Accumulation ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:isConsequentWithin a rdf:Property ; rdfs:label "isConsequentWithin"@en ; rdfs:comment "(x isConsequentWithin y) means that x is a consequent from the rule y" ; rdfs:domain pims-ii:Proposition ; rdfs:range pims-ii:Rule ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isHeldBy a rdf:Property ; rdfs:label "isHeldBy"@en ; rdfs:comment "(x isHeldBy y) means that the claim x is consistently asserted by the knowledge base y whenever it is queried about it; if y extends significantly through time and changes opinion about x (i.e., it does not assert it consistently over the whole time), it cannot be said to hold x as a claim, merely to assert it; in this case, it may be advisable to define a (temporal) part y' of y which can then be said to hold x as a claim" ; rdfs:domain pims-ii:Claim ; rdfs:range pims-ii:KnowledgeBase ; rdfs:subPropertyOf pims-ii:isAssertedBy . pims-ii:isClaimOf a rdf:Property ; rdfs:label "isClaimOf"@en ; rdfs:comment "(x isClaimOf y) means that the x is a proposition that has some kind of belief-like or knowledge-like epistemic status for the intelligent agent y"@en ; rdfs:domain pims-ii:Claim ; rdfs:range pims-ii:IntelligentAgent ; rdfs:subPropertyOf pims-ii:overlapsWith . pims-ii:isAssertedBy a rdf:Property ; rdfs:label "isAssertedBy"@en ; rdfs:comment "(x isAssertedBy y) means that x is a claim that is affirmatively expressed/stated/uttered by the interlocutor y"@en ; rdfs:domain pims-ii:Claim ; rdfs:range pims-ii:Interlocutor ; rdfs:subPropertyOf pims-ii:isExpressedBy . pims-ii:hasSubjectMatter a rdf:Property ; rdfs:label "hasSubjectMatter"@en ; rdfs:comment "(x hasSubjectMatter y) means that x is a proposition or articulation that addresses the topic or sum (i.e., plurality) of topics y, i.e., that has y as its subject matter"@en ; rdfs:range ; rdfs:subPropertyOf pims-ii:isAbout . pims-ii:isSelectionConditionIn a rdf:Property ; rdfs:label "isSelectionConditionIn"@en ; rdfs:comment "(x isSelectionConditionIn y) == in the selection process y, the condition x controls what constitutive element(s) of the input are retained as part of the output" ; rdfs:domain pims-ii:Proposition ; rdfs:range pims-ii:Selection ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:isAntecedentWithin a rdf:Property ; rdfs:label "isAntecedentWithin"@en ; rdfs:comment "(x isAntecedentWithin y) means that x is the antecedent from the rule y" ; rdfs:domain pims-ii:Proposition ; rdfs:range pims-ii:Rule ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isAssertedIn a rdf:Property ; rdfs:label "isAssertedIn"@en ; rdfs:comment "(x isAssertedIn y) means that x is a claim that is affirmatively expressed/stated/uttered in the expressive act y (by its speaker)"@en ; rdfs:domain pims-ii:Claim ; rdfs:range pims-ii:ExpressiveAct ; rdfs:subPropertyOf pims-ii:isExpressedIn . pims-ii:QuantityValue a rdfs:Class ; rdfs:label "QuantityValue"@en ; rdfs:comment "Quantity value, i.e., a value that has a numerical magnitude and a physical unit"@en ; rdfs:subClassOf pims-ii:Value . pims-ii:isValueInAssignment a rdf:Property ; rdfs:label "isValueInAssignment"@en ; rdfs:comment "(y isValueInAssignment a) mans that a: x = y is an assignment where the value y is assigned to a variable x" ; rdfs:domain pims-ii:Value ; rdfs:range pims-ii:Assignment ; rdfs:subPropertyOf pims-ii:isRightHandSideIn . pims-ii:isRightHandSideIn a rdf:Property ; rdfs:label "isRightHandSideIn"@en ; rdfs:comment "(y isRightHandSideIn a) mans that a: x = y is an equality articulation with the term y as its right-hand side"@en ; rdfs:domain pims-ii:Term ; rdfs:range pims-ii:EqualityArticulation ; rdfs:subPropertyOf pims-ii:isSecondInDyad . pims-ii:isLeftHandSideIn a rdf:Property ; rdfs:label "isLeftHandSideIn"@en ; rdfs:comment "(x isLeftHandSideIn a) mans that a: x = y is an equality articulation with the term x as its left-hand side" ; rdfs:domain pims-ii:Term ; rdfs:range pims-ii:EqualityArticulation ; rdfs:subPropertyOf pims-ii:isFirstInDyad . pims-ii:isAdmissibleValueFor a rdf:Property ; rdfs:label "isAdmissibleValueFor"@en ; rdfs:comment "(x isAdmissibleValueFor y) means that y is a term that could in principle evaluate to the value x; subsumption under msIPIRIR is explained as follows: There is a sign z for the term y (where z is the range of admissible values of y), for which in turn there is another sign z' (where z' lists members of z, explicitly including x) of which x is a part" ; rdfs:domain pims-ii:Value ; rdfs:range pims-ii:Term ; rdfs:subPropertyOf pims-ii:msIPIRIR . pims-ii:Term a rdfs:Class ; rdfs:label "Term"@en ; rdfs:comment "Term, i.e., a conventional that can evaluate to a value; terms include variables, values, and any mathematically and semantically valid ways of combining variables, values, and mathematical operators - note that it is required for a term to potentially take a value" ; rdfs:subClassOf pims-ii:Conventional . pims-ii:Plurality a rdfs:Class ; rdfs:label "Plurality"@en ; rdfs:comment "Plurality, i.e., a semiotic collective the semiotic members of which are a representational element (referent or representamen) together, whereby all act/contribute in the same way - this latter point distinguishes a plurality from a structure; e.g., the referent of the expression 'the four seasons/quarters of the year' (for a given year, within a given spatial region) is a plurality, and each of the four seasons/quarters is one of its semiotic members" ; rdfs:subClassOf pims-ii:SemioticCollective . pims-ii:RelationalIRI a rdfs:Class ; rdfs:label "RelationalIRI"@en ; rdfs:comment "Relational IRI, i.e., the internationalized resource identifier of a something that can play the role of the predicate in a triple; this includes 'rdf:type', object properties, datatype properties, their negations" ; rdfs:subClassOf pims-ii:IRI . pims-ii:hasQualifiedNecessityMode a rdf:Property ; rdfs:label "hasQualifiedNecessityMode"@en ; rdfs:comment "(x hasQualifiedNecessityMode y) means that x is a relational IRI and y is a qualified modal IRI for 'necessarily x'"@en ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:QualifiedModalIRI ; rdfs:subPropertyOf pims-ii:hasNecessityMode . pims-ii:hasQualifiedPossibilityMode a rdf:Property ; rdfs:label "hasQualifiedPossibilityMode"@en ; rdfs:comment "(x hasQualifiedPossibilityMode y) means that x is a relational IRI and y is a qualified modal IRI for 'possibly x'"@en ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:QualifiedModalIRI ; rdfs:subPropertyOf pims-ii:hasPossibilityMode . pims-ii:hasNecessityMode a rdf:Property ; rdfs:label "hasNecessityMode"@en ; rdfs:comment "(x hasNecessityMode y) means that x is a relational IRI and y is a modal IRI for 'necessarily x'"@en ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:ModalIRI ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:hasAbsoluteNecessityMode a rdf:Property ; rdfs:label "hasAbsoluteNecessityMode"@en ; rdfs:comment "(x hasAbsoluteNecessityMode y) means that x is a relational IRI and y is an absolute modal IRI for 'necessarily x'"@en ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:AbsoluteModalIRI ; rdfs:subPropertyOf pims-ii:hasNecessityMode . pims-ii:isPredicateWithinTriple a rdf:Property ; rdfs:label "isPredicateWithinTriple"@en ; rdfs:comment "(x isPredicateWithinTriple y) means that y is a subject-predicate-object triple wherein x is the IRI of the predicate" ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:Triple ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:hasPossibilityMode a rdf:Property ; rdfs:label "hasPossibilityMode"@en ; rdfs:comment "(x hasPossibilityMode y) means that x is a relational IRI and y is a modal IRI for 'possibly x'"@en ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:ModalIRI ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:hasAbsolutePossibilityMode a rdf:Property ; rdfs:label "hasAbsolutePossibilityMode"@en ; rdfs:comment "(x hasAbsolutePossibilityMode y) means that x is a relational IRI and y is an absolute modal IRI for 'possibly x'"@en ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:AbsoluteModalIRI ; rdfs:subPropertyOf pims-ii:hasPossibilityMode . pims-ii:hasNegation a rdf:Property ; rdfs:label "hasNegation"@en ; rdfs:comment "(x hasNegation y) means that x and y are IRIs that can possibly occur in the predicate (middle) position of a triple, and that y is 'not x'; n.b., this is not a symmetrical relation, since 'not not x' is syntactically different from x" ; rdfs:domain pims-ii:RelationalIRI ; rdfs:range pims-ii:RelationalIRI ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:IntelligentAgent a rdfs:Class ; rdfs:label "IntelligentAgent"@en ; rdfs:comment "Intelligent agent, i.e., a goal-oriented agent that can internally make/hold claims (knowledge, beliefs, etc.). This requires the agent to have some kind of internal representation of its surroundings, and to store and process information about its surroundings. (Note that this does not require the agent to be queryable for its claims; for that purpose, use KnowledgeBase.)" ; rdfs:subClassOf pims-ii:GoalOrientedAgent . pims-ii:isAgentIn a rdf:Property ; rdfs:label "isAgentIn"@en ; rdfs:comment "(x isAgentIn y) means that x is *the* agent that conducts/undertakes the action y; n.b., an action has exactly one agent (which can be a straightforward item, or a plurality, a structure, or similar)" ; rdfs:domain pims-ii:Agent ; rdfs:range pims-ii:Action ; rdfs:subPropertyOf pims-ii:isParticipantIn . pims-ii:isInterpreterIn a rdf:Property ; rdfs:label "isInterpreterIn"@en ; rdfs:comment "(x isInterpreterIn y) means that x is the (unique) agent who conducts/undertakes the cognitive action y" ; rdfs:domain pims-ii:Agent ; rdfs:range pims-ii:CognitiveAction ; rdfs:subPropertyOf pims-ii:isParticipantInCognition , pims-ii:isAgentIn . pims-ii:Cognition a rdfs:Class ; rdfs:label "Cognition"@en ; rdfs:comment "Cognition, i.e., a process dealing with representamina (signs) consisting either of a single cognitive step, of multiple steps that are connected to each other as a cognitive chain, or of an anchor point for epistemic grounding" ; rdfs:subClassOf pims-ii:Process . pims-ii:Semiosis a rdfs:Class ; rdfs:label "Semiosis"@en ; rdfs:comment "Semiosis, i.e., a triadic congition that relates 'the sign', 'the object', and 'the interpretant' to each other; a semiosis is either a perception (if the object needs to be present and participate physically in the process) or an interpretation (if the physical participation of the object is not inherently necessary)" ; rdfs:subClassOf pims-ii:CognitiveStep , pims-ii:TriadicCognition . pims-ii:WholeToPart a rdfs:Class ; rdfs:label "WholeToPart"@en ; rdfs:comment "Whole-to-part synecdoche, i.e., a metonymization where the new referent is a spatiotemporal proper part of the old referent (additionally, the old and new referent need to be connected causally)" ; rdfs:subClassOf pims-ii:Synecdoche . pims-ii:Optimization a rdfs:Class ; rdfs:label "Optimization"@en ; rdfs:comment "Optimization, i.e., an interpretation in which the sign is the optimization problem, the object is that which the optimization problem is ultimately about, and the interpretant is the optimization output" ; rdfs:subClassOf pims-ii:Interpretation . pims-ii:ResearchQuestion a rdfs:Class ; rdfs:label "ResearchQuestion"@en ; rdfs:comment "Research question, i.e., a question that could, has been, or is being addressed by scientific research and e.g. could be answered by a knowledge claim formulated on the grounds of scientific research data"@en ; rdfs:subClassOf pims-ii:Question . pims-ii:isTopicalSummandIn a rdf:Property ; rdfs:label "isTopicalSummandIn"@en ; rdfs:comment "(x isTopicalSummandIn y) means that x is one of the topics contained in y, a collection of topics that are not immediately closely related to each other"@en ; rdfs:domain pims-ii:Topical ; rdfs:range pims-ii:TopicalSum ; rdfs:subPropertyOf pims-ii:isMemberOfPlurality . pims-ii:isTopicalFactorIn a rdf:Property ; rdfs:label "isTopicalFactorIn"@en ; rdfs:comment "(x isTopicalFactorIn y) means that x is combined with other subtopics into the topical proposition y, such that x and the other subtopics are not just standing beside each other, but exhibiting some meaningful interaction"@en ; rdfs:range pims-ii:TopicalProduct ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:Name a rdfs:Class ; rdfs:label "Name"@en ; rdfs:comment "Name, i.e., a lexeme that acts as a rigid designator due to social convention" ; rdfs:subClassOf pims-ii:Lexeme . pims-ii:ExpressiveAct a rdfs:Class ; rdfs:label "ExpressiveAct"@en ; rdfs:comment "Expressive act, i.e., a purposeful communication (e.g., a speech act or an analogous digital act of communicating) issued by its agent, the speaker (understood in a generalized sense, i.e., not limited to speech) - the purpose of the action consists of its illocutionary and perlocutionary intent" ; rdfs:subClassOf pims-ii:CognitiveAction , pims-ii:Communication , pims-ii:PurposefulAction . pims-ii:Planning a rdfs:Class ; rdfs:label "Planning"@en ; rdfs:comment "Planning, i.e., a reflection ex ante or predetermination, carried out by analysing the perceived present situation in advance of potentially undertaking an action" ; rdfs:subClassOf pims-ii:Perception , pims-ii:Telesis . pims-ii:Examination a rdfs:Class ; rdfs:label "Examination"@en ; rdfs:comment "Examination (by pattern matching & similar), i.e., an observation by which a legisign (specifying patterns or rules) is applied to an examined object, yielding an examination outcome that expresses in what way or to what extent the object matches the legisign" ; rdfs:subClassOf pims-ii:Observation . pims-ii:GroundingStep a rdfs:Class ; rdfs:label "GroundingStep"@en ; rdfs:comment "Grounding step, i.e., a triadic cognition that establishes epistemic grounding" ; rdfs:subClassOf pims-ii:TriadicCognition . pims-ii:DataItem a rdfs:Class ; rdfs:label "DataItem"@en ; rdfs:comment "Data item, i.e., a digital articulation given as a tuple of digital conventionals"@en ; rdfs:subClassOf pims-ii:DigitalArticulation . pims-ii:Claim a rdfs:Class ; rdfs:label "Claim"@en ; rdfs:comment "Claim, i.e., a proposition that is expressed by an interlocutor or believed/held by an intelligent agent" ; rdfs:subClassOf pims-ii:Proposition . pims-ii:Evaluation a rdfs:Class ; rdfs:label "Evaluation"@en ; rdfs:comment "Evaluation, i.e., a reflection ex post (Reflexion des Vollzugs following Baumann and Tulatz) or redetermination, carried out after an action has terminated, either by the same agent or by somebody else" ; rdfs:subClassOf pims-ii:Interpretation , pims-ii:Telesis . pims-ii:PurposefulAction a rdfs:Class ; rdfs:label "PurposefulAction"@en ; rdfs:comment "Purposeful action, i.e., an action carried out with an aim of which its agent (hence, a goal-directed agent) is aware"@en ; rdfs:subClassOf pims-ii:Action . pims-ii:PhysicalPropertyClaim a rdfs:Class ; rdfs:label "PropertyClaim"@en ; rdfs:comment "Physical property claim (PPC), i.e., a PC concerning a property of a physical system"@en ; rdfs:subClassOf pims-ii:PropertyClaim . pims-ii:CollectiveUtterance a rdfs:Class ; rdfs:label "CollectiveUtterance"@en ; rdfs:comment "Collective utterance, i.e., a semiotic collective the members of which do not have digital, printed, or written textual/numerical form and the members of which are all attributed the same semantics and pragmatics; n.b., collective utterances are not permitted to have other semiotic collectives as their semiotic members" ; rdfs:subClassOf pims-ii:Articulation . pims-ii:Question a rdfs:Class ; rdfs:label "Question"@en ; rdfs:comment "Question, i.e., a topical proposition the semantics/pragmatics of which are of interrogative character"@en ; rdfs:subClassOf pims-ii:Topical . pims-ii:GroundingChain a rdfs:Class ; rdfs:label "GroundingChain"@en ; rdfs:comment "Grounding chain, i.e., a cognitive chain that establishes epistemic grounding" ; rdfs:subClassOf pims-ii:CognitiveChain . pims-ii:isJustificationFor a rdf:Property ; rdfs:label "isJustificationFor"@en ; rdfs:comment "(x isJustificationFor y) means that x is a grounding chain that provides epsitemic grounding for the cognition y, which thereby becomes a grounded cognition" ; rdfs:domain pims-ii:GroundingChain ; rdfs:range pims-ii:GroundedCognition ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:GroundedCognition a rdfs:Class ; rdfs:label "GroundedCognition"@en ; rdfs:comment "Grounded cognition, i.e., a cognition that is logically preceded by a presupposition such that there is a grounding chain establishing its epistemic status as a grounded cognition" ; rdfs:subClassOf pims-ii:Cognition . pims-ii:Variable a rdfs:Class ; rdfs:label "Variable"@en ; rdfs:comment "Variable, i.e., a conventional that is employed for something to which values can be assigned (this may include different notations for the same variable including, e.g., computational representations); this is to be understood very generally, e.g., a variable may be an array or set of elements or have another kind of internal structure" ; rdfs:subClassOf pims-ii:Term . pims-ii:isVariableInAssignment a rdf:Property ; rdfs:label "isVariableInAssignment"@en ; rdfs:comment "(x isVariableInAssignment a) mans that a: x = y is an assignment where a value y is assigned to the variable x" ; rdfs:domain pims-ii:Variable ; rdfs:range pims-ii:Assignment ; rdfs:subPropertyOf pims-ii:isLeftHandSideIn . pims-ii:Communication a rdfs:Class ; rdfs:label "Communication"@en ; rdfs:comment "Communication, i.e., a cognitive process wherein multiple interlocutors engage in an exchange with another; a communication involves at least one expressive act (with a well defined role, i.e. in terms of participation)" ; rdfs:subClassOf pims-ii:Cognition . pims-ii:Validation a rdfs:Class ; rdfs:label "Validation"@en ; rdfs:comment "Validation, i.e., an evaluation of a cognition yielding a validity claim as its interpretant"@en ; rdfs:subClassOf pims-ii:Evaluation . pims-ii:Interpretation a rdfs:Class ; rdfs:label "Interpretation"@en ; rdfs:comment "Interpretation, i.e., a semiosis where the sign-object relation is carried over from the preceding cognitive step, without the need for the represented object to be present physically" ; rdfs:subClassOf pims-ii:Semiosis . pims-ii:Number a rdfs:Class ; rdfs:label "Number"@en ; rdfs:comment "Number, i.e., a lexeme that is numerical in nature, such as the collective containing realizations of 'two', '2', and '2.0'" ; rdfs:subClassOf pims-ii:Lexeme . pims-ii:isMagnitudeOf a rdf:Property ; rdfs:label "isMagnitudeOf"@en ; rdfs:comment "(x isMagnitudeOf y) means that x is the numerical magnitude of y, e.g., in 200 kPa, x would be 200" ; rdfs:domain pims-ii:Number ; rdfs:range pims-ii:Value ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:Dataset a rdfs:Class ; rdfs:label "Dataset"@en ; rdfs:comment "Dataset, i.e., a digital articulation that is composed of multiple data items that are similar in shape, kind, and content type"@en ; rdfs:subClassOf pims-ii:DigitalArticulation . pims-ii:MaterialIdentifier a rdfs:Class ; rdfs:label "MaterialIdentifier"@en ; rdfs:comment "Name or label that identifies the material of its referent, or the material that some semiotic collective is about"@en ; rdfs:subClassOf pims-ii:Name . pims-ii:Duplication a rdfs:Class ; rdfs:label "Duplication"@en ; rdfs:comment "Duplication, i.e., an information-processing step in which the given information is reproduced, copied, converted into a different, but equivalent format, or any similar procedure; e.g., this may be based on a legisign to which the original (sign) and the duplicate (interpretant) jointly conform or on a semiotic collective of which they both semiotic members" ; rdfs:subClassOf pims-ii:InformationProcessing . pims-ii:Simulation a rdfs:Class ; rdfs:label "Simulation"@en ; rdfs:comment "Simulation, i.e., a purposefully conducted numerical interpretation of simulation input (model, etc.), where the interpretant is the simulation result" ; rdfs:subClassOf pims-ii:Interpretation , pims-ii:PurposefulAction . pims-ii:Law a rdfs:Class ; rdfs:label "Law"@en ; rdfs:comment "Law, i.e., a proposition consisting of an antecedent and one or multiple consequent(s) such that the antecedent is stated to necessarily imply the consequent(s)" ; rdfs:subClassOf pims-ii:Rule . pims-ii:EqualityArticulation a rdfs:Class ; rdfs:label "EqualityArticulation"@en ; rdfs:comment "Equality articulation, i.e., a dyad by which two terms are asserted to be equal or to become equal" ; rdfs:subClassOf pims-ii:Dyad . pims-ii:KnowledgeClaim a rdfs:Class ; rdfs:label "KnowledgeClaim"@en ; rdfs:comment "Knowledge claim (KC), i.e., a claim about something with respect to its knowledge status"@en ; rdfs:subClassOf pims-ii:Claim . pims-ii:ExperimentalWorkflow a rdfs:Class ; rdfs:label "ExperimentalWorkflow"@en ; rdfs:comment "experimental workflow, i.e., a cognition that is purposefully conducted in a controlled environment and has at least one measurement as a step" ; rdfs:subClassOf pims-ii:CognitiveWorkflow . pims-ii:TeamChangeReproducibilityClaim a rdfs:Class ; rdfs:label "TeamChangeReproducibilityClaim"@en ; rdfs:comment "Team-change reproducibility claim (TRC), i.e., a reproducibility claim obtained as an outcome of a reproducibility study conducted by an independent team"@en ; rdfs:subClassOf pims-ii:ReproducibilityClaim . pims-ii:isValidationOutcomeIn a rdf:Property ; rdfs:label "isValidationOutcomeIn"@en ; rdfs:comment "(x isValidationOutcomeIn y) means that x is the validity claim, i.e., the third element, obtained as an interpretant from the validation y"@en ; rdfs:domain pims-ii:ValidityClaim ; rdfs:range pims-ii:Validation ; rdfs:subPropertyOf pims-ii:isEvaluationOutcomeIn . pims-ii:Collective a rdfs:Class ; rdfs:label "Collective"@en ; rdfs:comment "Collective, i.e., an object that has multiple items as members"@en ; rdfs:subClassOf pims-ii:Object . pims-ii:DigitalArticulation a rdfs:Class ; rdfs:label "DigitalArticulation"@en ; rdfs:comment "Digital articulation, i.e., an articulation the members of which are copies of the same digital content (a file, assignment of a value to a variable, a data set, etc.)"@en ; rdfs:subClassOf pims-ii:Articulation . pims-ii:Lexeme a rdfs:Class ; rdfs:label "Lexeme"@en ; rdfs:comment "Lexeme, i.e., a semiotic collective the members of which are all instances/utterances/copies of the same word (or a fragment or group of words that fulfills the corresponding function) which acts as a conventional articulation due to social convention; different ways of writing the word, such as an abbreviation and the full version, may belong to the same lexeme" ; rdfs:subClassOf pims-ii:CollectiveLiteral , pims-ii:Conventional . pims-ii:InformationProcessing a rdfs:Class ; rdfs:label "InformationProcessing"@en ; rdfs:comment "Information processing, i.e., an interpretation in which information is handled, revised, reformatted, extended, or narrowed down (or anything comparable to such actions), e.g., preprocessing or postprocessing in a simulation workflow" ; rdfs:subClassOf pims-ii:Interpretation . pims-ii:SemanticChange a rdfs:Class ; rdfs:label "SemanticChange"@en ; rdfs:comment "Semantic change, i.e., a triadic cognition by which a representamen is assigned a new referent" ; rdfs:subClassOf pims-ii:TriadicCognition . pims-ii:Undertaking a rdfs:Class ; rdfs:label "Undertaking"@en ; rdfs:comment "Undertaking, i.e., a metonymization by which a resolution, which was previously determined (by telesis) in response to the pre-existing situation, is actively taken up by the agent, motivating an action" ; rdfs:subClassOf pims-ii:Metonymization . pims-ii:IRI a rdfs:Class ; rdfs:label "IRI"@en ; rdfs:comment "Internationalized resource identifier (IRI) as defined by RFC 3987; an IRI object should be related by 'isLiterally' to an xs:string containing the IRI literal" ; rdfs:subClassOf pims-ii:CollectiveLiteral , pims-ii:DigitalArticulation . pims-ii:CognitiveStep a rdfs:Class ; rdfs:label "CognitiveStep"@en ; rdfs:comment "Cognitive step, i.e., an elementary cognition that can form an part of a cognitive chain" ; rdfs:subClassOf pims-ii:Cognition . pims-ii:ModalIRI a rdfs:Class ; rdfs:label "ModalIRI"@en ; rdfs:comment "Modal IRI, i.e., the IRI of a relation that is defined by (absolute or qualified) necessity or possibility of another relation" ; rdfs:subClassOf pims-ii:RelationalIRI . pims-ii:OptimizationProblem a rdfs:Class ; rdfs:label "OptimizationProblem"@en ; rdfs:comment "Optimization problem, i.e., an intention expressed or expressible in terms of one or multiple objectives (objective space) and one or multiple design parameters (parameter space)"@en ; rdfs:subClassOf pims-ii:Intention . pims-ii:isGoalFor a rdf:Property ; rdfs:label "isGoalFor"@en ; rdfs:comment "(x isGoalFor y) means that to the goal-directed agent y, the telos x represents something that is to be reached."@en ; rdfs:domain pims-ii:Intention ; rdfs:range pims-ii:GoalDirectedAgent ; rdfs:subPropertyOf pims-ii:overlapsWith , pims-ii:isGoalOf . pims-ii:isOptimizationProblemIn a rdf:Property ; rdfs:label "isOptimizationProblemIn"@en ; rdfs:comment "(x isOptimizationProblemIn y) == y is an optimization where x is the optimization problem, i.e., the first element."@en ; rdfs:domain pims-ii:OptimizationProblem ; rdfs:range pims-ii:Optimization ; rdfs:subPropertyOf pims-ii:isSignInInterpretation , pims-ii:isAimIn . pims-ii:isTelosIn a rdf:Property ; rdfs:label "isTelosIn"@en ; rdfs:comment "(x isTelosIn y) == y is a telesis where x acts as the telos (initial guiding objective), i.e., the first element" ; rdfs:domain pims-ii:Intention ; rdfs:range pims-ii:Telesis ; rdfs:subPropertyOf pims-ii:isSignIn . pims-ii:isResolutionInTelesis a rdf:Property ; rdfs:label "isResolutionInTelesis"@en ; rdfs:comment "(x isResolutionInTelesis y) == y is a telesis where x acts as the resolution (a plan, revised objective, or other comparable sort of evaluation outcome), i.e., the third element" ; rdfs:domain pims-ii:Intention ; rdfs:range pims-ii:Telesis ; rdfs:subPropertyOf pims-ii:isInterpretantIn . pims-ii:isGoalOf a rdf:Property ; rdfs:label "isGoalOf"@en ; rdfs:comment "(x isGoalOf y) means that y is a goal-oriented agent with the tendency to work toward a state of affairs that is described/represented by y; accordingly, the goal y is also a representamen for the agent itself; this does *not* imply that the agent x is aware of pursuing y as a goal, or that y is somehow included in x as a mental representation - for that purpose, use the relation 'isGoalFor'" ; rdfs:domain pims-ii:Intention ; rdfs:range pims-ii:GoalOrientedAgent ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:isAimIn a rdf:Property ; rdfs:label "isAimIn"@en ; rdfs:comment "(x isAimIn y) means that y is a purposeful action, and x is one of the aims followed by the agent of y by undertaking y"@en ; rdfs:domain pims-ii:Intention ; rdfs:range pims-ii:Action ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:isResolutionInUndertaking a rdf:Property ; rdfs:label "isResolutionInUndertaking"@en ; rdfs:comment "(x isResolutionInUndertaking y) == y is an undertaking where x is the resolution (obtained from a previous telesis), i.e., the second element" ; rdfs:domain pims-ii:Intention ; rdfs:range pims-ii:Undertaking ; rdfs:subPropertyOf pims-ii:changesReferentInMetonymization . pims-ii:Accumulation a rdfs:Class ; rdfs:label "Accumulation"@en ; rdfs:comment "Accumulation, i.e., an information-processing step in which the given information is extended/complemented such that the input (sign) and one or multiple additional representamina (cf. relation isIncludedInAccumulation) are jointly constitutive of the output (interpretant); this includes conditional accumulation, where the choice and the way in which information is combined depends on an accumulation condition (cf. relation isAccumulationConditionIn)" ; rdfs:subClassOf pims-ii:InformationProcessing . pims-ii:ConceptualIRI a rdfs:Class ; rdfs:label "ConceptualIRI"@en ; rdfs:comment "Conceptual IRI, i.e., the internationalized resource identifier of a concept (i.e., of an owl:Class)" ; rdfs:subClassOf pims-ii:IRI . pims-ii:isObjectWithinTriple a rdf:Property ; rdfs:label "isObjectWithinTriple"@en ; rdfs:comment "(x isObjectWithinTriple y) means that y is a subject-predicate-object triple wherein x is the IRI of the object" ; rdfs:range pims-ii:Triple ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:PTRC a rdfs:Class ; rdfs:label "PTRC"@en ; rdfs:comment "PTRC, i.e., a provenance-conscious team-change reproducibility claim"@en ; rdfs:subClassOf pims-ii:ProvenanceConsciousReproducibilityClaim , pims-ii:TeamChangeReproducibilityClaim . pims-ii:ProvenanceConsciousReproducibilityClaim a rdfs:Class ; rdfs:label "ProvenanceConsciousReproducibilityClaim"@en ; rdfs:comment "Provenance-conscious reproducibility claim (PRC), i.e., a reproducibility claim obtained from an attempt that was subject to the requirement to retain the original research process or aspects of it"@en ; rdfs:subClassOf pims-ii:ReproducibilityClaim . pims-ii:OwnClaim a rdfs:Class ; rdfs:label "OwnClaim"@en ; rdfs:comment "Own claim, i.e., a claim that is asserted by a self reference (i.e., a/the present interlocutor)"@en ; rdfs:subClassOf pims-ii:Claim . pims-ii:Rule a rdfs:Class ; rdfs:label "Rule"@en ; rdfs:comment "Rule, i.e., a proposition consisting of an antecedent and one or multiple consequent(s) such that the antecedent is stated to imply the consequent(s)" ; rdfs:subClassOf pims-ii:Proposition . pims-ii:SemioticCollective a rdfs:Class ; rdfs:label "SemioticCollective"@en ; rdfs:comment "Semiotic collective, i.e., a collective the semiotic members of which act together as one representational element (i.e., referent or representamen) in a cognitive process" ; rdfs:subClassOf pims-ii:Collective . pims-ii:PropertyClaim a rdfs:Class ; rdfs:label "PropertyClaim"@en ; rdfs:comment "Property claim (PC), i.e., a knowledge claim concerning a property"@en ; rdfs:subClassOf pims-ii:KnowledgeClaim . pims-ii:GroundingInterpretation a rdfs:Class ; rdfs:label "GroundingInterpretation"@en ; rdfs:comment "Grounding interpretation, i.e., an interpretation where the sign is a ground for the considered cognitive step, the object is the considered cognitive step, and the interpretant is a ground for a subsequent cognitive step" ; rdfs:subClassOf pims-ii:GroundingStep , pims-ii:Interpretation , pims-ii:Semiosis . pims-ii:BasicGround a rdfs:Class ; rdfs:label "BasicGround"@en ; rdfs:comment "Basic ground, i.e., a ground that is assumed to be valid and reliable a priori; a cognitive step for which there is a basic ground is a presupposition"@en ; rdfs:subClassOf pims-ii:Ground . pims-ii:groundsPresentStepIn a rdf:Property ; rdfs:label "groundsPresentStepIn"@en ; rdfs:comment "(x groundsPresentStepIn y) == y is a grounding interpretation where x is the first element, i.e., a ground for the considered cognitive step" ; rdfs:domain pims-ii:Ground ; rdfs:range pims-ii:GroundingInterpretation ; rdfs:subPropertyOf pims-ii:isSignInInterpretation . pims-ii:groundsNextStepIn a rdf:Property ; rdfs:label "groundsNextStepIn"@en ; rdfs:comment "(x groundsNextStepIn y) == y is a grounding interpretation where x is the third element, i.e., a ground for the subsequent cognitive step; thereby, x also serves as a ground for y itself" ; rdfs:domain pims-ii:Ground ; rdfs:range pims-ii:GroundingInterpretation ; rdfs:subPropertyOf pims-ii:isInterpretantInInterpretation , pims-ii:isGroundFor . pims-ii:isGroundFor a rdf:Property ; rdfs:label "isGroundFor"@en ; rdfs:comment "(g isGroundFor y) means that g is a representamen for the cognitive step y, explaining how y is grounded"@en ; rdfs:domain pims-ii:Ground ; rdfs:range pims-ii:Presupposition , pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:isAbout . pims-ii:isGroundingPropositionIn a rdf:Property ; rdfs:label "isGroundingPropositionIn"@en ; rdfs:comment "(x isGroundingPropositionIn y) == y is a grounding step where x is the grounding proposition, i.e., the second element; therein, x is a ground for the grounded step, and x is also a ground for y itself" ; rdfs:domain pims-ii:Ground ; rdfs:range pims-ii:GroundingMetonymization ; rdfs:subPropertyOf pims-ii:isGroundFor , pims-ii:changesReferentInMetonymization . pims-ii:Steering a rdfs:Class ; rdfs:label "Steering"@en ; rdfs:comment "Steering, i.e., a reflection in actu (Reflexion im Vollzug following Baumann and Tulatz) or determination, carried out while undertaking an action and playing a role in that action by proper participation" ; rdfs:subClassOf pims-ii:Perception , pims-ii:Telesis . pims-ii:Proposition a rdfs:Class ; rdfs:label "Proposition"@en ; rdfs:comment "Proposition, i.e., a semiotic collective the members of which are collective literals and collective utterances understood to be attributed some joint semantic and/or pragmatic content, or undergoing evaluation jointly for the presence of such a content"@en ; rdfs:subClassOf pims-ii:SemioticCollective . pims-ii:Ground a rdfs:Class ; rdfs:label "Ground"@en ; rdfs:comment "Ground (of a cognitive step), i.e., a proposition that justifies a cognitive step by explaning it and stating from what preceding step (which directly grounds that step) a sign-object relation is carried over, and in what way" ; rdfs:subClassOf pims-ii:Proposition . pims-ii:AbsoluteLaw a rdfs:Class ; rdfs:label "AbsoluteLaw"@en ; rdfs:comment "Absolute law, i.e., a law where the necessary entailment of the consequent(s) by the antecedent is expressed in terms of absolute logical/physical necessity" ; rdfs:subClassOf pims-ii:Law . pims-ii:GoalOrientedAgent a rdfs:Class ; rdfs:label "GoalOrientedAgent"@en ; rdfs:comment "Goal-oriented agent, i.e., an agent that exhibits the tendency 'to achieve a certain state of the world' (Conte, doi:10.1007/978-1-4614-1800-9_158, 2009)"@en ; rdfs:subClassOf pims-ii:Agent . pims-ii:Query a rdfs:Class ; rdfs:label "Query"@en ; rdfs:comment "Query, i.e., a digital articulation of a question"@en ; rdfs:subClassOf pims-ii:DigitalArticulation . pims-ii:CognitiveRupture a rdfs:Class ; rdfs:label "CognitiveRupture"@en ; rdfs:comment "Cognitive rupture, i.e., a cognitive step that constitutes a break in the chain of epistemic grounding" ; rdfs:subClassOf pims-ii:CognitiveStep . pims-ii:Observation a rdfs:Class ; rdfs:label "Observation"@en ; rdfs:comment "Observation, i.e., a perception by which characteristic aspects of an object (e.g., a target property or some more complex kind of behaviour) are purposefully investigated through specific means of perception; the procedure and evaluation may occur based on subjective judgement or according to an agreed procedure" ; rdfs:subClassOf pims-ii:Perception , pims-ii:PurposefulAction . pims-ii:AbstractModelPropertyClaim a rdfs:Class ; rdfs:label "AbstractModelPropertyClaim"@en ; rdfs:comment "Abstract model property claim (CMPC), i.e., a model property claim that is not immediately applied to the corresponding property of a real physical system"@en ; rdfs:subClassOf pims-ii:ModelPropertyClaim . pims-ii:Articulation a rdfs:Class ; rdfs:label "Articulation"@en ; rdfs:comment "Articulation (collective expression), i.e., a semiotic collective the semiotic members (i.e., realizations) of which are not semiotic collectives, but individual literal (written or digital) or non-literal (e.g., spoken) items with the same semiotic function (or undergoing evaluation whether such a function is present)" ; rdfs:subClassOf pims-ii:SemioticCollective . pims-ii:Value a rdfs:Class ; rdfs:label "Value"@en ; rdfs:comment "Value, i.e., an articulation that is by social convention understood to be potentially assignable to a variable" ; rdfs:subClassOf pims-ii:Term . pims-ii:Conventional a rdfs:Class ; rdfs:label "Conventional"@en ; rdfs:comment "Conventional, i.e., a semiotic collective articulation the members of which jointly fulfill a certain semiotic function by social convention; e.g., many spoken or written occurrences of the words 'enthalpy of vaporization' or 'latent heat' may act together as a property in this sense" ; rdfs:subClassOf pims-ii:Articulation . pims-ii:MeasurementUnit a rdfs:Class ; rdfs:label "MeasurementUnit"@en ; rdfs:comment "Measurement unit, i.e., a 'real scalar quantity, defined and adopted by convention' (EMMO, ISO 80000-1)" ; rdfs:subClassOf pims-ii:Lexeme . pims-ii:isUnitOf a rdf:Property ; rdfs:label "isUnitOf"@en ; rdfs:comment "(x isUnitOf y) means that x is the unit of y, e.g., in 200 kPa, x would be kPa" ; rdfs:domain pims-ii:MeasurementUnit ; rdfs:range pims-ii:Value ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isAdmissibleUnitFor a rdf:Property ; rdfs:label "isAdmissibleUnitFor"@en ; rdfs:comment "(x isAdmissibleUnitFor y) means that x is a unit that can be associated with the variable y; subsumption under msHPIPIR is explained as follows: There is a sign z for the variable y (where z is a description of admissible values of y) of which x is constitutive (and with which x hence overlaps)" ; rdfs:domain pims-ii:MeasurementUnit ; rdfs:range pims-ii:Variable ; rdfs:subPropertyOf pims-ii:msHPIPIR . pims-ii:RationalAgent a rdfs:Class ; rdfs:label "RationalAgent"@en ; rdfs:comment "A rational agent is an intelligent agent that exhibits rationality, i.e., a tendency toward maximizing a quantity: The performance measure of the agent."@en ; rdfs:subClassOf pims-ii:IntelligentAgent . pims-ii:TopicalProduct a rdfs:Class ; rdfs:label "TopicalProduct"@en ; rdfs:comment "Topical product, i.e., a topical proposition with multiple topical factors"@en ; rdfs:subClassOf pims-ii:Topical . pims-ii:Visualization a rdfs:Class ; rdfs:label "Visualization"@en ; rdfs:comment "Visualization, i.e., an interpretation in which the object is the visualized system and the interpretant is a visual representation of the object - the sign is a pre-existing representamen for the same object, e.g., a simulation result" ; rdfs:subClassOf pims-ii:Interpretation . pims-ii:NegativeKnowledgeClaim a rdfs:Class ; rdfs:label "NegativeKnowledgeClaim"@en ; rdfs:comment "Negative knowledge claim (NKC), i.e., a knowledge claim that expresses what we don't know, a gap or limitation of our knowledge"@en ; rdfs:subClassOf pims-ii:KnowledgeClaim . pims-ii:TopicalSum a rdfs:Class ; rdfs:label "TopicalSum"@en ; rdfs:comment "Topical sum, i.e., a plurality of topical propositions, where the individual elements (summands) don't genuinely interact but are just standing beside each other as independent, unrelated (or not very closely related) parts of what is addressed"@en ; rdfs:subClassOf pims-ii:Plurality . pims-ii:ProofBasedValidityClaim a rdfs:Class ; rdfs:label "ProofBasedValidityClaim"@en ; rdfs:comment "Proof-based validity claim (PVC), i.e., a validity claim obtained by formal verification, i.e., by deductive logical and mathematical reasoning"@en ; rdfs:subClassOf pims-ii:ValidityClaim . pims-ii:KnowledgeBasedAgent a rdfs:Class ; rdfs:label "KnowledgeBasedAgent"@en ; rdfs:comment "Knowledge-based agent, i.e., an intelligent agent that uses a knowledge base to store and process its opinions/claims/worldview"@en ; rdfs:subClassOf pims-ii:IntelligentAgent . pims-ii:MereotopologicalCollective a rdfs:Class ; rdfs:label "MereotopologicalCollective"@en ; rdfs:comment "Mereotopological collective, i.e., a region of spacetime that consists of multiple connected components, which are its mereotopological members"@en ; rdfs:subClassOf pims-ii:Collective , pims-ii:Object . pims-ii:Assessment a rdfs:Class ; rdfs:label "Assessment"@en ; rdfs:comment "Assessment (of a cognitive step), i.e., a ground that provides an explanation including a proposition on the extent (quantitatively or qualitatively) to which the grounded cognitive step is reliable/accurate/valid (or similar), why that is the case, and how that relates to the reliability/accuracy/etc. of the preceding step" ; rdfs:subClassOf pims-ii:Ground . pims-ii:isAssessmentFor a rdf:Property ; rdfs:label "isAssessmentFor"@en ; rdfs:comment "(g isAssessmentFor y) means that g is a ground for the cognitive step y, explaining how y is grounded in a way that provides a proposition on its validity, accuracy, and/or reliability, relating it to that of the previous step that directly grounds y" ; rdfs:domain pims-ii:Assessment ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:isGroundFor . pims-ii:ETRC a rdfs:Class ; rdfs:label "ETRC"@en ; rdfs:comment "ETRC, i.e., an exact-agreement team-change reproducibility claim"@en ; rdfs:subClassOf pims-ii:ExactAgreementReproducibilityClaim , pims-ii:TeamChangeReproducibilityClaim . pims-ii:TriadicCognition a rdfs:Class ; rdfs:label "TriadicCognition"@en ; rdfs:comment "Triadic cognition, i.e., a cognitive step of the type s-o-s' (semiosis) or o-s-o' (semantic change), thus containing three elements, in line with the approach by Peirce" ; rdfs:subClassOf pims-ii:CognitiveAction , pims-ii:CognitiveStep . pims-ii:GroundingMetonymization a rdfs:Class ; rdfs:label "GroundingMetonymization"@en ; rdfs:comment "Grounding metonymization, i.e., a metonymization where a the old referent is a cognitive step (i.e., the grounding step) that grounds another (i.e., the grounded step), which is the new referent; the referent for both is a ground (i.e., the grounding proposition) that is a ground for the grounded step" ; rdfs:subClassOf pims-ii:GroundingStep , pims-ii:Metonymization , pims-ii:SemanticChange . pims-ii:Person a rdfs:Class ; rdfs:label "Person"@en ; rdfs:comment "Person, i.e., an interlocutor that is socially identified as a natural or legal person by social convention that involves using a name (or multiple names) for it as rigid designators" ; rdfs:subClassOf pims-ii:Interlocutor . pims-ii:isEvaluatorIn a rdf:Property ; rdfs:label "isEvaluatorIn"@en ; rdfs:comment "(x isEvaluatorIn y) means that y is an evaluation and x is the interpreter in it"@en ; rdfs:domain pims-ii:Interlocutor ; rdfs:range pims-ii:Evaluation ; rdfs:subPropertyOf pims-ii:isInterpreterIn . pims-ii:isInterlocutorIn a rdf:Property ; rdfs:label "isInterlocutorIn"@en ; rdfs:comment "(x isInterlocutorIn y) means that x engages, jointly with other interlocutors, in the communication y" ; rdfs:domain pims-ii:Interlocutor ; rdfs:range pims-ii:Communication ; rdfs:subPropertyOf pims-ii:isParticipantIn . pims-ii:isSpeakerIn a rdf:Property ; rdfs:label "isSpeakerIn"@en ; rdfs:comment "(x isSpeakerIn y) means that x is (the only) speaker in the expressive act y, where the role of the speaker is to be understood as that of an agent that conducts/undertakes the expressive act, i.e., it is not limited to vocal speech"@en ; rdfs:domain pims-ii:Interlocutor ; rdfs:range pims-ii:ExpressiveAct ; rdfs:subPropertyOf pims-ii:isInterlocutorIn , pims-ii:isAgentIn . pims-ii:isListenerIn a rdf:Property ; rdfs:label "isListenerIn"@en ; rdfs:comment "(x isListenerIn y) means that x is one of the interlocutors listening to the speaker's expressive act y" ; rdfs:domain pims-ii:Interlocutor ; rdfs:range pims-ii:ExpressiveAct ; rdfs:subPropertyOf pims-ii:isInterlocutorIn . pims-ii:Structure a rdfs:Class ; rdfs:label "Structure"@en ; rdfs:comment "Structure, i.e., a semiotic collective the semiotic members of which complement each other, contributing in different ways (or, at least, not all int the same way) to their joint action as a referent or a representamen" ; rdfs:subClassOf pims-ii:SemioticCollective . pims-ii:KnowledgeBase a rdfs:Class ; rdfs:label "KnowledgeBase"@en ; rdfs:comment "Knowledge base, i.e., an interlocutor that makes a consistent set of claims and will respond consistently if queried; n.b., that propositional content which 'isHeldBy' a knowledge base needs to be invariable over the whole 4D spacetime in which the knowledge base exist. Since technical knowledge bases do happen to change their propositional content over time, it may make sense either to define proper parts with a short temporal extension or to take care with what a knowledge base is stated to hold. Other kinds of propositional content (varying over time or depending on who makes the query) can be said to be asserted rather than held by the knowledge base." ; rdfs:subClassOf pims-ii:Interlocutor . pims-ii:Synecdoche a rdfs:Class ; rdfs:label "Synecdoche"@en ; rdfs:comment "Synecdoche, i.e., a metonymization where a sign is reassigned to a part of its old referent (WholeToPart) or vice versa (PartToWhole)" ; rdfs:subClassOf pims-ii:Metonymization . pims-ii:PartToWhole a rdfs:Class ; rdfs:label "PartToWhole"@en ; rdfs:comment "Part-to-whole synecdoche, i.e., a metonymization where the old referent is a spatiotemporal proper part of the new referent (additionally, the old and new referent need to be connected causally)" ; rdfs:subClassOf pims-ii:Synecdoche . pims-ii:EPRC a rdfs:Class ; rdfs:label "EPRC"@en ; rdfs:comment "EPRC, i.e., an exact-agreement provenance-conscious reproducibility claim"@en ; rdfs:subClassOf pims-ii:ExactAgreementReproducibilityClaim , pims-ii:ProvenanceConsciousReproducibilityClaim . pims-ii:CognitiveChain a rdfs:Class ; rdfs:label "CognitiveChain"@en ; rdfs:comment "Cognitive chain, i.e., a cognition that consists of multiple (sub)steps" ; rdfs:subClassOf pims-ii:Cognition . pims-ii:Object a rdfs:Class ; rdfs:label "Object"@en ; rdfs:comment "Object (PIMS-II top class) = cognizable entity"@en . pims-ii:GoalDirectedAgent a rdfs:Class ; rdfs:label "GoalDirectedAgent"@en ; rdfs:comment "'Goal-directed agents are intelligent agents that have an internal representation of the goals they [tend to] achieve' (Conte, doi:10.1007/978-1-4614-1800-9_158, 2009)"@en ; rdfs:subClassOf pims-ii:IntelligentAgent . pims-ii:UniqueIdentifier a rdfs:Class ; rdfs:label "UniqueIdentifier"@en ; rdfs:comment "Unique identifier, i.e., a rigid designator that is applied to exactly one object" ; rdfs:subClassOf pims-ii:Name . pims-ii:Modelling a rdfs:Class ; rdfs:label "Modelling"@en ; rdfs:comment "Modelling, i.e., an interpretation in which the sign is the basis for the modelling process (e.g., an unparameterized or previously parameterized model, knowledge about the modelled system, etc.), the object is the modelled system, and the interpretant is the modelling output (e.g., a parameterized model)" ; rdfs:subClassOf pims-ii:Interpretation . pims-ii:QualifiedLaw a rdfs:Class ; rdfs:label "QualifiedLaw"@en ; rdfs:comment "Qualified law, i.e., a law where the necessary entailment of the consequent(s) by the antecedent is expressed in terms of qualified necessity, to be understood in terms of its modal context" ; rdfs:subClassOf pims-ii:Law . pims-ii:Presupposition a rdfs:Class ; rdfs:label "Presupposition"@en ; rdfs:comment "Presupposition, i.e., a cognition that has a basic ground, so that it is accepted a priori as an ultimate anchor point for epistemic grounding; any cognition that is logically preceded by a presupposition is a grounded cognition" ; rdfs:subClassOf pims-ii:CognitiveStep , pims-ii:GroundedCognition . pims-ii:CognitiveAction a rdfs:Class ; rdfs:label "CognitiveAction"@en ; rdfs:comment "Cognitive action, i.e., a cognition that is conducted/undertaken by an agent; the agent of a cognitive action is called its interpreter" ; rdfs:subClassOf pims-ii:Action , pims-ii:Cognition . pims-ii:InvestigationSetup a rdfs:Class ; rdfs:label "InvestigationSetup"@en ; rdfs:comment "Investigation setup, i.e., a metonymization where a sign (e.g., a model and/or open question) that has come up for an 'object of application' (the old referent, e.g., the system to which a use case refers) is reassigned to an 'object of investigation' to which dedicated studies can be applied, such as a system that will be simulated or investigated experimentally; n.b., there needs to be a causal connection between the old and the new referent, i.e., between the object of application and the object of investigation" ; rdfs:subClassOf pims-ii:Metonymization . pims-ii:Agent a rdfs:Class ; rdfs:label "Agent"@en ; rdfs:comment "Agent, i.e., an object that interacts with its surroundings by a) perceiving and b) doing, i.e., an object that carries out actions, including perceptive actions"@en ; rdfs:subClassOf pims-ii:Object . pims-ii:ContextualIRI a rdfs:Class ; rdfs:label "ContextualIRI"@en ; rdfs:comment "Contextual IRI, i.e., the internationalized resource identifier of a modal context, i.e., the frame of reference for a qualified-modal semiotic collective; that context defines how exactly necessity and possibility are to be understood" ; rdfs:subClassOf pims-ii:IRI . pims-ii:isContextWithinLaw a rdf:Property ; rdfs:label "isContextWithinLaw"@en ; rdfs:comment "(x isContextWithinLaw y) means that x is an IRI for the modal context of relatively necessary implication in the relative law y"@en ; rdfs:domain pims-ii:ContextualIRI ; rdfs:range pims-ii:QualifiedLaw ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:isContextOfRelation a rdf:Property ; rdfs:label "isContextOfRelation"@en ; rdfs:comment "(x isContextOfRelation y) means that x is an IRI for the modal context of qualified possibility/necessity in the relative modal IRI y"@en ; rdfs:domain pims-ii:ContextualIRI ; rdfs:range pims-ii:QualifiedModalIRI ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:CognitiveWorkflow a rdfs:Class ; rdfs:label "CognitiveWorkflow"@en ; rdfs:comment "Cognitive workflow, i.e., a purposefully conducted cognitive chain" ; rdfs:subClassOf pims-ii:CognitiveAction , pims-ii:CognitiveChain , pims-ii:PurposefulAction . pims-ii:Item a rdfs:Class ; rdfs:label "Item"@en ; rdfs:comment "Item, i.e., a connected region of spacetime that does not consist of multiple connected components"@en ; rdfs:subClassOf pims-ii:Object . pims-ii:SimulationWorkflow a rdfs:Class ; rdfs:label "SimulationWorkflow"@en ; rdfs:comment "simulation workflow, i.e., a cognitive workflow in which simulation plays a major role" ; rdfs:subClassOf pims-ii:CognitiveWorkflow . pims-ii:DigitalConventional a rdfs:Class ; rdfs:label "DigitalConventional"@en ; rdfs:comment "Digital conventional, i.e., a conventional that is a digital articulation"@en ; rdfs:subClassOf pims-ii:Conventional , pims-ii:DigitalArticulation . pims-ii:Interlocutor a rdfs:Class ; rdfs:label "Interlocutor"@en ; rdfs:comment "Interlocutor, i.e., an agent that can be addressed and is capable of addressing others in a communication process"@en ; rdfs:subClassOf pims-ii:Agent . pims-ii:Assignment a rdfs:Class ; rdfs:label "Assignment"@en ; rdfs:comment "Assignment, i.e., an equality articulation by which a value is assigned to a variable with respect to a particular referent (e.g., T = 200 K for substance o as it was measured in a particular cognitive step); therein, T is the variable, related to the assignment by [inverseOf isVariableInAssignment], 200 K is the value, related to the assignment by [inverseOf isValueInAssignment], and o is the referent, related to the assignment by isAssignmentFor" ; rdfs:subClassOf pims-ii:DigitalConventional , pims-ii:EqualityArticulation . pims-ii:isAssignmentFor a rdf:Property ; rdfs:label "isAssignmentFor"@en ; rdfs:comment "(d isAssignmentFor o) means that d: x = y is an assignment that refers to o"@en ; rdfs:domain pims-ii:Assignment ; rdfs:range ; rdfs:subPropertyOf pims-ii:isAbout . pims-ii:ExactAgreementReproducibilityClaim a rdfs:Class ; rdfs:label "ExactAgreementReproducibilityClaim"@en ; rdfs:comment "Exact-agreement reproducibility claim (ERC), i.e., a reproducibility claim obtained as an outcome of an attempt at obtaining exactly the same outcome as the original study"@en ; rdfs:subClassOf pims-ii:ReproducibilityClaim . pims-ii:Measurement a rdfs:Class ; rdfs:label "Measurement"@en ; rdfs:comment "Measurement, i.e., an observation that follows a standard procedure, so that it can be expected to yield an objective (rather than subjective) outcome" ; rdfs:subClassOf pims-ii:Observation . pims-ii:QualifiedModalIRI a rdfs:Class ; rdfs:label "QualifiedModalIRI"@en ; rdfs:comment "Qualified modal IRI, i.e., the IRI of a relation that is defined by qualified necessity or possibility of another relation"@en ; rdfs:subClassOf pims-ii:ModalIRI . rdf:List a rdfs:Class ; rdfs:comment "the first element is related to the list by rdf:first, the second by (rdf:rest o rdf:first), the third by (rdf:rest o rdf:rest o rdf:first), and so on; where the list ends, it is related by rdf:rest to rdf:nil"@en . pims-ii:Topical a rdfs:Class ; rdfs:label "Topical"@en ; rdfs:comment "Topical proposition, i.e., something that can be understood as stating the topic of something"@en ; rdfs:subClassOf pims-ii:Proposition . pims-ii:MathematicalOperator a rdfs:Class ; rdfs:label "MathematicalOperator"@en ; rdfs:comment "Mathematical operator, i.e., a lexeme that articulates a mathematical operation, such as the collective containing realizations of '*', 'ยท', 'times', etc." ; rdfs:subClassOf pims-ii:Lexeme . pims-ii:CollectiveLiteral a rdfs:Class ; rdfs:label "CollectiveLiteral"@en ; rdfs:comment "Collective literal, i.e., a semiotic collective the members of which all have a digital, printed, or written textual/numerical form in that they are all instances/copies of the same RDFS literal (or multiple RDFS literals that are very similar, e.g., different ways of spelling/abbreviating the same word or denoting the same number); n.b., collective literals are not permitted to have other semiotic collectives as their semiotic members" ; rdfs:subClassOf pims-ii:Articulation . pims-ii:Intention a rdfs:Class ; rdfs:label "Intention"@en ; rdfs:comment "Intention, i.e., a proposition that constitutes an aim or goal"@en ; rdfs:subClassOf pims-ii:Proposition . pims-ii:EPTRC a rdfs:Class ; rdfs:label "EPTRC"@en ; rdfs:comment "EPTRC, i.e., an exact-agreement provenance-conscious team-change reproducibility claim"@en ; rdfs:subClassOf pims-ii:EPRC , pims-ii:ETRC , pims-ii:ExactAgreementReproducibilityClaim , pims-ii:PTRC , pims-ii:ProvenanceConsciousReproducibilityClaim , pims-ii:TeamChangeReproducibilityClaim . pims-ii:TestBasedValidityClaim a rdfs:Class ; rdfs:label "TestBasedValidityClaim"@en ; rdfs:comment "Test-based validity claim (TVC), i.e., a validity claim obtained from validation or testing"@en ; rdfs:subClassOf pims-ii:ValidityClaim . pims-ii:ConceptualKnowledgeClaim a rdfs:Class ; rdfs:label "ConceptualKnowledgeClaim"@en ; rdfs:comment "Conceptual knowledge claim (CKC), i.e., a knowledge claim establishing the ontological status of a lexeme"@en ; rdfs:subClassOf pims-ii:KnowledgeClaim . pims-ii:Process a rdfs:Class ; rdfs:label "Process"@en ; rdfs:comment "Process, i.e., a connected region that has at least one participant, an entity with which it overlaps spatiotemporally and that plays a certain role in the process"@en ; rdfs:subClassOf pims-ii:Item . pims-ii:ValidityClaim a rdfs:Class ; rdfs:label "ValidityClaim"@en ; rdfs:comment "Validity claim (VC), i.e., a claim about another claim, saying something about that claim's (in-)accuracy or somebody's (dis-)trust in the claim"@en ; rdfs:subClassOf pims-ii:Claim . pims-ii:IndividualIRI a rdfs:Class ; rdfs:label "IndividualIRI"@en ; rdfs:comment "Individual IRI, i.e., the internationalized resource identifier of an individual (owl:Thing or pims-ii:Object)" ; rdfs:subClassOf pims-ii:IRI , pims-ii:UniqueIdentifier . pims-ii:isSubjectWithinTriple a rdf:Property ; rdfs:label "isSubjectWithinTriple"@en ; rdfs:comment "(x isSubjectWithinTriple y) means that y is a subject-predicate-object triple wherein x is the IRI of the subject" ; rdfs:domain pims-ii:IndividualIRI ; rdfs:range pims-ii:Triple ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf . pims-ii:Action a rdfs:Class ; rdfs:label "Action"@en ; rdfs:comment "Action, i.e., a process that is conducted/undertaken by an agent - the action has exactly one agent" ; rdfs:subClassOf pims-ii:Process . pims-ii:Selection a rdfs:Class ; rdfs:label "Selection"@en ; rdfs:comment "Selection, i.e., an information-processing step in which the given information is narrowed down such that the output (interpretant) is constitutive of the input (sign); this includes conditional selection, where one component of the input or another is retained depending on a selection condition (cf. relation isSelectionConditionIn)" ; rdfs:subClassOf pims-ii:InformationProcessing . a rdfs:Class ; rdfs:comment "An unconstrained type or object" . pims-ii:Property a rdfs:Class ; rdfs:label "Property"@en ; rdfs:comment "Property, i.e., a variable that is employed for the possible outcome of observations and similar processes (this may include different words used for the same property, in one or multiple languages, and different ways of expressing these words)" ; rdfs:subClassOf pims-ii:Variable . pims-ii:isTargetPropertyIn a rdf:Property ; rdfs:label "isTargetPropertyIn"@en ; rdfs:comment "(x isTargetPropertyIn y) means that cognitive action x targets y as the property for which a value is to be determined by observation or by theoretical or computational methods"@en ; rdfs:domain pims-ii:Property ; rdfs:range pims-ii:CognitiveAction ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:isPerformanceMeasureOf a rdf:Property ; rdfs:label "isPerformanceMeasureOf"@en ; rdfs:comment "(x isPerformanceMeasureOf y) means that x is the single/unique performance measure of the rational agent y."@en ; rdfs:domain pims-ii:Property ; rdfs:range pims-ii:RationalAgent ; rdfs:subPropertyOf pims-ii:isRepresentamenFor . pims-ii:Telesis a rdfs:Class ; rdfs:label "Telesis"@en ; rdfs:comment "Telesis (teleological semiosis), i.e., a semiosis where the sign is a telos (aim), the object is an action, claim, or situation against which that aim is evaluated, and the interpretant is a resolution, e.g., a revised objective, plan, or similar evaluation outcome" ; rdfs:subClassOf pims-ii:CognitiveAction , pims-ii:Semiosis . pims-ii:ReproducibilityClaim a rdfs:Class ; rdfs:label "ReproducibilityClaim"@en ; rdfs:comment "Reproducibility claim (RC), i.e., a validity claim obtained as an outcome of a reproduction attempt/reproducibility study"@en ; rdfs:subClassOf pims-ii:QualifiedLaw , pims-ii:ValidityClaim . pims-ii:ConcreteModelPropertyClaim a rdfs:Class ; rdfs:label "ConcretePropertyClaim"@en ; rdfs:comment "Concrete model property claim (CMPC), i.e., a model property claim that is immediately also applied to the corresponding property of a real physical system"@en ; rdfs:subClassOf pims-ii:ModelPropertyClaim , pims-ii:PhysicalPropertyClaim . pims-ii:Triple a rdfs:Class ; rdfs:label "Triple"@en ; rdfs:comment "Triple, i.e., a subject-predicate-object triple (connected by relations to the IRIs of the subject, predicate, and object)" ; rdfs:subClassOf pims-ii:DataItem . pims-ii:AbsoluteModalIRI a rdfs:Class ; rdfs:label "AbsoluteModalIRI"@en ; rdfs:comment "Absolute modal IRI, i.e., the IRI of a relation that is defined by absolute necessity or possibility of another relation. Absolute necessity means 'logical or physical necessity', and absolute possibility means 'logical or physical possibility'. Accordingly, absolute modal relations do not require the specification of a modal context, i.e., the frame of reference for understanding what 'necessity' and 'possibility' mean does not need to be specified. " ; rdfs:subClassOf pims-ii:ModalIRI . pims-ii:ReferenceToSelf a rdfs:Class ; rdfs:label "ReferenceToSelf"@en ; rdfs:comment "Reference to self, i.e., an entity for the interlocutor who *is* the present system, i.e., the system containing the present triples, etc., and whose claims are to be accepted as the present system's 'own claims.' A self-reference is an entity that is either identical with the system at hand, namely, the digital infrastructure or other interlocutor that stores the present semantic content, or a component of it"@en ; rdfs:subClassOf pims-ii:Interlocutor . pims-ii:affirmsCognition a rdf:Property ; rdfs:label "affirmsCognition"@en ; rdfs:comment "(x affirmsCognition y) means that x is about the cognition y, affirming its validity"@en ; rdfs:range pims-ii:Cognition ; rdfs:subPropertyOf pims-ii:isAbout . pims-ii:changesReferentIn a rdf:Property ; rdfs:label "changesReferentIn"@en ; rdfs:comment "(x changesReferentIn y) == y is a semantic change where x acts as the representamen, i.e., the second element" ; rdfs:range pims-ii:SemanticChange ; rdfs:subPropertyOf pims-ii:isSecondElementIn , pims-ii:isRepresentamenIn . pims-ii:changesReferentInMetonymization a rdf:Property ; rdfs:label "changesReferentInMetonymization"@en ; rdfs:comment "(x changesReferentInMetonymization y) == y is a metonymization where x acts as the representamen, i.e., the second element" ; rdfs:range pims-ii:Metonymization ; rdfs:subPropertyOf pims-ii:changesReferentIn . pims-ii:changesReferentInPartToWhole a rdf:Property ; rdfs:label "changesReferentInPartToWhole"@en ; rdfs:comment "(x changesReferentInPartToWhole y) == y is a part-to-whole synecdoche where x acts as the representamen, i.e., the second element" ; rdfs:range pims-ii:PartToWhole ; rdfs:subPropertyOf pims-ii:changesReferentInSynecdoche . pims-ii:changesReferentInSynecdoche a rdf:Property ; rdfs:label "changesReferentInSynecdoche"@en ; rdfs:comment "(x changesReferentInSynecdoche y) == y is a synecdoche where x acts as the representamen, i.e., the second element" ; rdfs:range pims-ii:Synecdoche ; rdfs:subPropertyOf pims-ii:changesReferentInMetonymization . pims-ii:changesReferentInWholeToPart a rdf:Property ; rdfs:label "changesReferentInWholeToPart"@en ; rdfs:comment "(x changesReferentInWholeToPart y) == y is a whole-to-part synecdoche where x acts as the representamen, i.e., the second element" ; rdfs:range pims-ii:WholeToPart ; rdfs:subPropertyOf pims-ii:changesReferentInSynecdoche . pims-ii:directlyPrecedesCognitiveStep a rdf:Property ; rdfs:label "directlyPrecedesCognitiveStep"@en ; rdfs:comment "(x directlyPrecedesCognitiveStep y) == x is the cognitive step (or basic ground) that directly precedes y logically; typically, this means that y takes over a dyadic representation relation from x" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:directlyPrecedesStep . pims-ii:doesNotOverlapWith a rdf:Property ; rdfs:label "doesNotOverlapWith"@en ; rdfs:comment "(x doesNotOverlapWith y) is the negation of (x overlapsWith y); i.e., the spatiotemporal intersection of x and y is empty"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:doesNotTemporallyOverlapWith a rdf:Property ; rdfs:label "doesNotTemporallyOverlapWith"@en ; rdfs:comment "(x doesNotTemporallyOverlapWith y) is the negation of (x temporallyOverlapsWith y); i.e., there is no temporal overlap between x and y"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:doesNotOverlapWith . pims-ii:hasCausalConnectionWith a rdf:Property ; rdfs:label "hasCausalConnectionWith"@en ; rdfs:comment "'Real causal connection' relation following Peirce, here, given by the transitive closure of 'hasDirectCausalConnectionWith'"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:hasDirectCausalConnectionWith a rdf:Property ; rdfs:label "hasDirectCausalConnectionWith"@en ; rdfs:comment "Direct causal connection (in a broad sense)"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:hasCausalConnectionWith . pims-ii:hasImproperPart a rdf:Property ; rdfs:label "hasImproperPart"@en ; rdfs:comment "Spatiotemporal (mereological) improper parthood relation; in other words, it is the reflexive closure of proper parthood: (x hasImproperPart y) means that all points within y are also within x" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:overlapsWith . pims-ii:hasRepresentamen a rdf:Property ; rdfs:label "hasRepresentamen"@en ; rdfs:comment "Dyadic representation relation; (x hasRepresentamen y) means that there is a cognitive step z such that (x isReferentIn z) and (y isRepresentamenIn z)"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIP , pims-ii:msHRIRHR , pims-ii:msHPIPHR . pims-ii:isAccumulationInputIn a rdf:Property ; rdfs:label "isAccumulationInputIn"@en ; rdfs:comment "(x isAccumulationInputIn y) == y is an accumulation where x is the input (initially given information), i.e., the first element; n.b., in an accumulation, the input needs to be constitutive of the output" ; rdfs:range pims-ii:Accumulation ; rdfs:subPropertyOf pims-ii:isInformationProcessingInputIn . pims-ii:isAccumulationOutputIn a rdf:Property ; rdfs:label "isAccumulationOutputIn"@en ; rdfs:comment "(x isAccumulationOutputIn y) == y is an accumulation where x is the output (combined information), i.e., the third element; n.b., in a selection, the input and any additionally included elements need to be constitutive of the output" ; rdfs:range pims-ii:Accumulation ; rdfs:subPropertyOf pims-ii:isInformationProcessingOutputIn . pims-ii:isCausallyDisconnectedFrom a rdf:Property ; rdfs:label "isCausallyDisconnectedFrom"@en ; rdfs:comment "(x isCausallyDisconnectedFrom y) means that between x and y there is no 'real causal connection' in the Peircean sense; therefore, x and y cannot be the old and new referents in a metonymization; similarly, x cannot act as a representamen for y in a grounded cognition (if it does, then the cognition is not grounded)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:isConstitutiveOf a rdf:Property ; rdfs:label "isConstitutiveOf"@en ; rdfs:comment "(x isConstitutiveOf y) means that, by virtue of an interaction requiring spatiotemporal overlap, x contributes causally to y fulfilling a certain function, exhibiting certain properties, or relating to other objects in the way it does, thereby creating a direct causal connection between x and y"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:overlapsWith , pims-ii:underlies , pims-ii:hasDirectCausalConnectionWith . pims-ii:isDuplicateIn a rdf:Property ; rdfs:label "isDuplicateIn"@en ; rdfs:comment "(x isDuplicateIn y) == y is a duplication step where x is the output (duplicate), i.e., the third element" ; rdfs:range pims-ii:Duplication ; rdfs:subPropertyOf pims-ii:isInformationProcessingOutputIn . pims-ii:isEvaluationOutcomeIn a rdf:Property ; rdfs:label "isEvaluationOutcomeIn"@en ; rdfs:comment "(x isEvaluationOutcomeIn y) == y is a an evaluation (reflection ex post) where x is the resolution (evaluation outcome), i.e., the third element" ; rdfs:range pims-ii:Evaluation ; rdfs:subPropertyOf pims-ii:isResolutionInTelesis , pims-ii:isInterpretantInInterpretation . pims-ii:isExaminationOutcomeIn a rdf:Property ; rdfs:label "isExaminationOutcomeIn"@en ; rdfs:comment "(x isExaminationOutcomeIn y) == y is an examination where x is the examination outcome, i.e., the third element (e.g., yes the object agrees with the legisign, or it does so under this or that condition, etc.)" ; rdfs:range pims-ii:Examination ; rdfs:subPropertyOf pims-ii:isObservationOutcomeIn . pims-ii:isExaminedIn a rdf:Property ; rdfs:label "isExaminedIn"@en ; rdfs:comment "(x isExaminedIn y) == y is an examination where x acts as the examined object, i.e., the second element, for which it is assessed to what extent (in which way, under what additional conditions, etc.) it conforms with the legisign" ; rdfs:range pims-ii:Examination ; rdfs:subPropertyOf pims-ii:isObservedIn . pims-ii:isExpressedBy a rdf:Property ; rdfs:label "isExpressedBy"@en ; rdfs:comment "(x isExpressedBy y) means that x is expressed/stated/uttered by the interlocutor y; n.b., this does not necessarily mean that y affirms x (for that, use the subproperty isAssertedBy)" ; rdfs:range pims-ii:Interlocutor ; rdfs:subPropertyOf pims-ii:overlapsWith . pims-ii:isExpressedIn a rdf:Property ; rdfs:label "isExpressedIn"@en ; rdfs:comment "(x isExpressedIn y) means that x is expressed/stated/uttered in the expressive act y (by its speaker), possibly but not necessarily in an affirmative way" ; rdfs:range pims-ii:ExpressiveAct ; rdfs:subPropertyOf pims-ii:isParticipantInCognition . pims-ii:isFirstElementIn a rdf:Property ; rdfs:label "isFirstElementIn"@en ; rdfs:comment "(x isFirstElementIn y) means that x acts as the first element in y, which is a triadic cognition"@en ; rdfs:range pims-ii:TriadicCognition ; rdfs:subPropertyOf pims-ii:isRepresentationalElementIn . pims-ii:isFusionOf a rdf:Property ; rdfs:label "isFusionOf"@en ; rdfs:comment "x isFusionOf (y1 y2 ... yn) means that x is the spatiotemporal union (i.e., fusion) of all the elements included in the list (y1 y2 ... yn)"@en ; rdfs:range rdf:List ; rdfs:subPropertyOf pims-ii:isRelatedToList . pims-ii:isImproperPartOf a rdf:Property ; rdfs:label "isImproperPartOf"@en ; rdfs:comment "Spatiotemporal (mereological) improper parthood relation; in other words, it is the reflexive closure of proper parthood: (x isImproperPartOf y) means that all points within x are also within y"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:overlapsWith . pims-ii:isIncludedInAccumulation a rdf:Property ; rdfs:label "isIncludedInAccumulation"@en ; rdfs:comment "(x isIncludedInAccumulation y) == y is an accumulation where x is combined with the accumulation input, yielding an output that x is constitutive of; n.b., x needs to act as a representamen for the object (e.g., as an interpretant from a preceding cognitive step with the same object)" ; rdfs:range pims-ii:Accumulation ; rdfs:subPropertyOf pims-ii:isParticipantIn . pims-ii:isInformationProcessingInputIn a rdf:Property ; rdfs:label "isInformationProcessingInputIn"@en ; rdfs:comment "(x isInformationProcessingInputIn y) == y is an information-processing step where x is the input, i.e., the first element" ; rdfs:range pims-ii:InformationProcessing ; rdfs:subPropertyOf pims-ii:isSignInInterpretation . pims-ii:isInformationProcessingOutputIn a rdf:Property ; rdfs:label "isInformationProcessingOutputIn"@en ; rdfs:comment "(x isInformationProcessingOutputIn y) == y is an information-processing step where x is the output, i.e., the third element" ; rdfs:range pims-ii:InformationProcessing ; rdfs:subPropertyOf pims-ii:isInterpretantInInterpretation . pims-ii:isInterpretantInInterpretation a rdf:Property ; rdfs:label "isInterpretantInInterpretation"@en ; rdfs:comment "(x isInterpretantInInterpretation y) == y is an interpretation where x acts as the interpretant, i.e., the third element" ; rdfs:range pims-ii:Interpretation ; rdfs:subPropertyOf pims-ii:isInterpretantIn . pims-ii:isInterpretantInPerception a rdf:Property ; rdfs:label "isInterpretantInPerception"@en ; rdfs:comment "(x isInterpretantInPerception y) == y is a perception where x acts as the interpretant, i.e., the third element" ; rdfs:range pims-ii:Perception ; rdfs:subPropertyOf pims-ii:isInterpretantIn . pims-ii:isLegisignIn a rdf:Property ; rdfs:label "isLegisignIn"@en ; rdfs:comment "(x isLegisignIn y) == y is an examination where x is applied to an object as a legisign, i.e., the first element, specifying patterns or rules the compliance with which is being assessed" ; rdfs:range pims-ii:Examination ; rdfs:subPropertyOf pims-ii:isObservationInputIn . pims-ii:isMeasuredObjectIn a rdf:Property ; rdfs:label "isMeasuredObjectIn"@en ; rdfs:comment "(x isMeasuredObjectIn y) == y is a measurement where x acts as the object, i.e., the second element, that is subject to the measurement and for which a property is determined" ; rdfs:range pims-ii:Measurement ; rdfs:subPropertyOf pims-ii:isObservedIn . pims-ii:isMeasurementInputIn a rdf:Property ; rdfs:label "isMeasurementInputIn"@en ; rdfs:comment "(x isMeasurementInputIn y) == y is a measurement where x serves as the input (sign), i.e., the first element, constituting the precondition in terms of available information and similar items" ; rdfs:range pims-ii:Measurement ; rdfs:subPropertyOf pims-ii:isObservationInputIn . pims-ii:isMeasurementOutcomeIn a rdf:Property ; rdfs:label "isMeasurementOutcomeIn"@en ; rdfs:comment "(x isMeasurementOutcomeIn y) == y is a measurement where x is the measurement outcome, i.e., the third element (e.g., the value that is determined for the considered property of the measured object, the measurement error, and any other outcome)" ; rdfs:range pims-ii:Measurement ; rdfs:subPropertyOf pims-ii:isObservationOutcomeIn . pims-ii:isMemberOf a rdf:Property ; rdfs:label "isMemberOf"@en ; rdfs:comment "membership relation, i.e., relation between an item/member and a collective"@en ; rdfs:range pims-ii:Collective ; rdfs:subPropertyOf pims-ii:isProperPartOf , pims-ii:isConstitutiveOf . pims-ii:isMemberOfPlurality a rdf:Property ; rdfs:label "isMemberOfPlurality"@en ; rdfs:comment "(x isMemberOfPlurality y) means that x is a semiotic member of the plurality y, and that it participates in semiosis in the same way as its co-members x', x'', ... of the plurality y" ; rdfs:range pims-ii:Plurality ; rdfs:subPropertyOf pims-ii:isSemioticMemberOf . pims-ii:isMemberOfStructure a rdf:Property ; rdfs:label "isMemberOfStructure"@en ; rdfs:comment "(x isMemberOfStructure y) means that x is a semiotic member of the structure y, and that it participates in semiosis differently from all of its co-members x', x'', ... of the structure y" ; rdfs:range pims-ii:Structure ; rdfs:subPropertyOf pims-ii:isSemioticMemberOf . pims-ii:isMereologicallyConstitutiveOf a rdf:Property ; rdfs:label "isMereologicallyConstitutiveOf"@en ; rdfs:comment "(x isMereologicallyConstitutiveOf y) means that x is constitutive of y by virtue of the way in which it is a proper part of y in 4D spacetime, e.g., as a necessary component of an item that was designed for a certain purpose" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isProperPartOf , pims-ii:isConstitutiveOf . pims-ii:isMereosemioticallyRelatedTo a rdf:Property ; rdfs:label "isMereosemioticallyRelatedTo"@en ; rdfs:comment "Top mereosemiotic relation: Direct or indirect connection through mereotopological and semiotic relations"@en ; rdfs:range . pims-ii:isModelledIn a rdf:Property ; rdfs:label "isModelledIn"@en ; rdfs:comment "(x isModelledIn y) == y is a modelling (model construction or parameterization) step where x acts as the modelled object (system, substance, process, or similar), i.e., the second element" ; rdfs:range pims-ii:Modelling ; rdfs:subPropertyOf pims-ii:isObjectInInterpretation . pims-ii:isModellingInputIn a rdf:Property ; rdfs:label "isModellingInputIn"@en ; rdfs:comment "(x isModellingInputIn y) == y is a modelling (model construction or parameterization) step where x is the input (previous or unparameterized model, knowledge about the modelled system, etc.), i.e., the first element" ; rdfs:range pims-ii:Modelling ; rdfs:subPropertyOf pims-ii:isSignInInterpretation . pims-ii:isModellingOutputIn a rdf:Property ; rdfs:label "isModellingOutputIn"@en ; rdfs:comment "(x isModellingOutputIn y) == y is a modelling (model construction or parameterization) step where x is the modelling output (e.g., a parameterized or improved model), i.e., the third element" ; rdfs:range pims-ii:Modelling ; rdfs:subPropertyOf pims-ii:isInterpretantInInterpretation . pims-ii:isNewReferentIn a rdf:Property ; rdfs:label "isNewReferentIn"@en ; rdfs:comment "(x isNewReferentIn y) == y is a semantic change where x acts as the new referent, i.e., the third element" ; rdfs:range pims-ii:SemanticChange ; rdfs:subPropertyOf pims-ii:isThirdElementIn , pims-ii:isReferentIn . pims-ii:isNewReferentInMetonymization a rdf:Property ; rdfs:label "isNewReferentInMetonymization"@en ; rdfs:comment "(x isNewReferentInMetonymization y) == y is a metonymization where x acts as the new referent, i.e., the third element; the old and the new referent need to have a causal connection" ; rdfs:range pims-ii:Metonymization ; rdfs:subPropertyOf pims-ii:isNewReferentIn . pims-ii:isNewReferentInPartToWhole a rdf:Property ; rdfs:label "isNewReferentInPartToWhole"@en ; rdfs:comment "(x isNewReferentInPartToWhole y) == y is a part-to-whole synecdoche where x acts as the new referent (the whole), i.e., the third element" ; rdfs:range pims-ii:PartToWhole ; rdfs:subPropertyOf pims-ii:isNewReferentInSynecdoche . pims-ii:isNewReferentInSynecdoche a rdf:Property ; rdfs:label "isNewReferentInSynecdoche"@en ; rdfs:comment "(x isNewReferentInSynecdoche y) == y is a synecdoche where x acts as the new referent, i.e., the third element; the old and the new referent need to have a causal connection (n.b., the mereological relation in terms of proper parthood as such is insufficient)" ; rdfs:range pims-ii:Synecdoche ; rdfs:subPropertyOf pims-ii:isNewReferentInMetonymization . pims-ii:isNewReferentInWholeToPart a rdf:Property ; rdfs:label "isNewReferentInWholeToPart"@en ; rdfs:comment "(x isNewReferentInWholeToPart y) == y is a whole-to-part synecdoche where x acts as the new referent (the part), i.e., the third element" ; rdfs:range pims-ii:WholeToPart ; rdfs:subPropertyOf pims-ii:isNewReferentInSynecdoche . pims-ii:isObjectIn a rdf:Property ; rdfs:label "isObjectIn"@en ; rdfs:comment "(x isObjectIn y) == y is a semiosis where x acts as the object, i.e., the second element" ; rdfs:range pims-ii:Semiosis ; rdfs:subPropertyOf pims-ii:isSecondElementIn , pims-ii:isReferentIn . pims-ii:isObjectInAccumulation a rdf:Property ; rdfs:label "isObjectInAccumulation"@en ; rdfs:comment "(x isObjectInAccumulation y) == y is an accumulation where x is the object that the input and the output both represent, i.e., the second element" ; rdfs:range pims-ii:Accumulation ; rdfs:subPropertyOf pims-ii:isObjectInInformationProcessing . pims-ii:isObjectInDuplication a rdf:Property ; rdfs:label "isObjectInDuplication"@en ; rdfs:comment "(x isObjectInDuplication y) == y is a duplication step where x is the object that the original and the duplicate both represent, i.e., the second element" ; rdfs:range pims-ii:Duplication ; rdfs:subPropertyOf pims-ii:isObjectInInformationProcessing . pims-ii:isObjectInInformationProcessing a rdf:Property ; rdfs:label "isObjectInInformationProcessing"@en ; rdfs:comment "(x isObjectInInformationProcessing y) == y is an information-processing step where x is the object that the input and the output both represent, i.e., the second element" ; rdfs:range pims-ii:InformationProcessing ; rdfs:subPropertyOf pims-ii:isObjectInInterpretation . pims-ii:isObjectInInterpretation a rdf:Property ; rdfs:label "isObjectInInterpretation"@en ; rdfs:comment "(x isObjectInInterpretation y) == y is an interpretation where x acts as the object, i.e., the second element; there is no need to the object of an interpretation to be present and participate in the interpretation process physically" ; rdfs:range pims-ii:Interpretation ; rdfs:subPropertyOf pims-ii:isObjectIn . pims-ii:isObjectInOptimization a rdf:Property ; rdfs:label "isObjectInOptimization"@en ; rdfs:comment "(x isObjectInOptimization y) == y is an optimization where x is that which the optimization is ultimately about, i.e., the second element" ; rdfs:range pims-ii:Optimization ; rdfs:subPropertyOf pims-ii:isObjectInInterpretation . pims-ii:isObjectInSelection a rdf:Property ; rdfs:label "isObjectInSelection"@en ; rdfs:comment "(x isObjectInSelection y) == y is a selection where x is the object that the input and the output both represent, i.e., the second element" ; rdfs:range pims-ii:Selection ; rdfs:subPropertyOf pims-ii:isObjectInInformationProcessing . pims-ii:isObjectInTelesis a rdf:Property ; rdfs:label "isObjectInTelesis"@en ; rdfs:comment "(x isObjectInTelesis y) == y is a telesis where x acts as the object (action, claim, or situation against which an objective is evaluated), i.e., the second element" ; rdfs:range pims-ii:Telesis ; rdfs:subPropertyOf pims-ii:isObjectIn . pims-ii:isObjectOfApplicationIn a rdf:Property ; rdfs:label "isObjectOfApplicationIn"@en ; rdfs:comment "(x isObjectOfApplicationIn y) == y is an investigation-setup action where x acts as the object of application (e.g., the system to which a use case refers), i.e., the first element; n.b., there needs to be a causal connection between the object of application and the object of investigation" ; rdfs:range pims-ii:InvestigationSetup ; rdfs:subPropertyOf pims-ii:isOldReferentInMetonymization . pims-ii:isObjectOfInvestigationIn a rdf:Property ; rdfs:label "isObjectOfInvestigationIn"@en ; rdfs:comment "(x isObjectOfInvestigationIn y) == y is an investigation-setup action where x acts as the object of investigation (e.g., the item subject to an experiment or a simulated process or system), i.e., as the third element; n.b., there needs to be a causal connection between the object of application and the object of investigation" ; rdfs:range pims-ii:InvestigationSetup ; rdfs:subPropertyOf pims-ii:isNewReferentInMetonymization . pims-ii:isObservationInputIn a rdf:Property ; rdfs:label "isObservationInputIn"@en ; rdfs:comment "(x isObservationInputIn y) == y is an observation where x designates input and/or advance knowledge relevant to the observation, i.e., the first element" ; rdfs:range pims-ii:Observation ; rdfs:subPropertyOf pims-ii:isSignInPerception . pims-ii:isObservationOutcomeIn a rdf:Property ; rdfs:label "isObservationOutcomeIn"@en ; rdfs:comment "(x isObservationOutcomeIn y) == y is an observation where x is the observation outcome (the observed value of the target property), i.e., the third element" ; rdfs:range pims-ii:Observation ; rdfs:subPropertyOf pims-ii:isInterpretantInPerception . pims-ii:isObservedIn a rdf:Property ; rdfs:label "isObservedIn"@en ; rdfs:comment "(x isObservedIn y) == y is an observation where x acts as the observed object, i.e., the second element, for which the value of a property is to be determined" ; rdfs:range pims-ii:Observation ; rdfs:subPropertyOf pims-ii:isPerceivedIn . pims-ii:isOldReferentIn a rdf:Property ; rdfs:label "isOldReferentIn"@en ; rdfs:comment "(x isOldReferentIn y) == y is a semantic change where x acts as the old referent, i.e., the first element" ; rdfs:range pims-ii:SemanticChange ; rdfs:subPropertyOf pims-ii:isReferentIn , pims-ii:isFirstElementIn . pims-ii:isOldReferentInMetonymization a rdf:Property ; rdfs:label "isOldReferentInMetonymization"@en ; rdfs:comment "(x isOldReferentInMetonymization y) == y is a metonymization where x acts as the old referent, i.e., the first element; the old and the new referent need to have a causal connection" ; rdfs:range pims-ii:Metonymization ; rdfs:subPropertyOf pims-ii:isOldReferentIn . pims-ii:isOldReferentInPartToWhole a rdf:Property ; rdfs:label "isOldReferentInPartToWhole"@en ; rdfs:comment "(x isOldReferentInPartToWhole y) == y is a part-to-whole synecdoche where x acts as the old referent (the part), i.e., the first element" ; rdfs:range pims-ii:PartToWhole ; rdfs:subPropertyOf pims-ii:isOldReferentInSynecdoche . pims-ii:isOldReferentInSynecdoche a rdf:Property ; rdfs:label "isOldReferentInSynecdoche"@en ; rdfs:comment "(x isOldReferentInSynecdoche y) == y is a synecdoche where x acts as the old referent, i.e., the first element; the old and the new referent need to have a causal connection (n.b., the mereological relation in terms of proper parthood as such is insufficient)" ; rdfs:range pims-ii:Synecdoche ; rdfs:subPropertyOf pims-ii:isOldReferentInMetonymization . pims-ii:isOldReferentInWholeToPart a rdf:Property ; rdfs:label "isOldReferentInWholeToPart"@en ; rdfs:comment "(x isOldReferentInWholeToPart y) == y is a whole-to-part synecdoche where x acts as the old referent (the whole), i.e., the first element" ; rdfs:range pims-ii:WholeToPart ; rdfs:subPropertyOf pims-ii:isOldReferentInSynecdoche . pims-ii:isOptimizationOutputIn a rdf:Property ; rdfs:label "isOptimizationOutputIn"@en ; rdfs:comment "(x isOptimizationOutputIn y) == y is an optimization where x is the optimization output, i.e., the third element" ; rdfs:range pims-ii:Optimization ; rdfs:subPropertyOf pims-ii:isInterpretantInInterpretation . pims-ii:isOriginalIn a rdf:Property ; rdfs:label "isOriginalIn"@en ; rdfs:comment "(x isOriginalIn y) == y is a duplication step where x is the input (original version), i.e., the first element" ; rdfs:range pims-ii:Duplication ; rdfs:subPropertyOf pims-ii:isInformationProcessingInputIn . pims-ii:isParticipantIn a rdf:Property ; rdfs:label "isParticipantIn"@en ; rdfs:comment "(x isParticipantIn y) means that y is a process in which x plays a certain role (e.g., x is a well-defined step within y, or x is an object that undergoes some change within y, or x is a sign that is read or an object that is perceived within y); this requires a spatiotemporal overlap between x and y" ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:overlapsWith , pims-ii:hasDirectCausalConnectionWith . pims-ii:isParticipantInCognition a rdf:Property ; rdfs:label "isParticipantInCognition"@en ; rdfs:comment "(x isParticipantInCognition y) means that y is a cognition in which x is necessarily physically present and plays one of the roles characteristic for participation in a cognitive process as formalized by this ontology; this includes participation as a representamen, as a perceived object, as a step of a cognitive chain, or as an interpreter" ; rdfs:range pims-ii:Cognition ; rdfs:subPropertyOf pims-ii:isParticipantIn . pims-ii:isPerceivedIn a rdf:Property ; rdfs:label "isPerceivedIn"@en ; rdfs:comment "(x isPerceivedIn y) == y is a perception where x acts as the perceived object, i.e., the second element; the perceived object is a (mereotopological) participant of the perception, in other words, it needs to be physically present so that it can be perceived" ; rdfs:range pims-ii:Perception ; rdfs:subPropertyOf pims-ii:isParticipantInCognition , pims-ii:isObjectIn . pims-ii:isProperParticipantIn a rdf:Property ; rdfs:label "isProperParticipantIn"@en ; rdfs:comment "(x isProperParticipantIn y) is the conjunction of (x isProperPartOf y) and (x isParticipantIn y)" ; rdfs:range pims-ii:Process ; rdfs:subPropertyOf pims-ii:isProperPartOf , pims-ii:isParticipantIn . pims-ii:isReferenceFrameFor a rdf:Property ; rdfs:label "isReferenceFrameFor"@en ; rdfs:comment "(s isReferenceFrameFor s') means that s is a representamen that provides relevant context, such as presuppositions or preconditions, to the representamen s'"@en ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:sharesReferentWith . pims-ii:isReferentIn a rdf:Property ; rdfs:label "isReferentIn"@en ; rdfs:comment "(x isReferentIn y) == x occurs in the cognitive step y in the function of the/a referent of a representamen"@en ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:isRepresentationalElementIn . pims-ii:isRelatedToList a rdf:Property ; rdfs:label "isRelatedToList"@en ; rdfs:comment "Top property for multi-argument predicates that are implemented as 'x isRelatedToList (y1 y2 ... yn)', i.e., such that the object is an rdf:List"@en ; rdfs:range rdf:List . pims-ii:isRepresentamenIn a rdf:Property ; rdfs:label "isRepresentamenIn"@en ; rdfs:comment "(x isRepresentamenIn y) == x participates in the cognitive step y in the role of the/a representamen"@en ; rdfs:range pims-ii:CognitiveStep ; rdfs:subPropertyOf pims-ii:isRepresentationalElementIn , pims-ii:isParticipantInCognition . pims-ii:isResolutionInPlanning a rdf:Property ; rdfs:label "isResolutionInPlanning"@en ; rdfs:comment "(x isResolutionInPlanning y) == y is a telesis carried out in advance of potentially undertaking an action, where x is the planning outcome, i.e., the third element" ; rdfs:range pims-ii:Planning ; rdfs:subPropertyOf pims-ii:isResolutionInTelesis , pims-ii:isInterpretantInPerception . pims-ii:isResolutionInSteering a rdf:Property ; rdfs:label "isResolutionInSteering"@en ; rdfs:comment "(x isResolutionInSteering y) == y is a steering operation (reflection in actu) where x is the resolution, i.e., the third element" ; rdfs:range pims-ii:Steering ; rdfs:subPropertyOf pims-ii:isResolutionInTelesis , pims-ii:isInterpretantInPerception . pims-ii:isResultOf a rdf:Property ; rdfs:label "isResultOf"@en ; rdfs:comment "(x isResultOf y) if x is an outcome/result of the cognitive process y"@en ; rdfs:range pims-ii:Cognition ; rdfs:subPropertyOf pims-ii:isParticipantInCognition . pims-ii:isSecondElementIn a rdf:Property ; rdfs:label "isSecondElementIn"@en ; rdfs:comment "(x isSecondElementIn y) means that x acts as the second element in y, which is a triadic cognition"@en ; rdfs:range pims-ii:TriadicCognition ; rdfs:subPropertyOf pims-ii:isRepresentationalElementIn . pims-ii:isSelectionInputIn a rdf:Property ; rdfs:label "isSelectionInputIn"@en ; rdfs:comment "(x isSelectionInputIn y) == y is a selection where x is the input (initially given information), i.e., the first element; n.b., in a selection, the output needs to be constitutive of the input" ; rdfs:range pims-ii:Selection ; rdfs:subPropertyOf pims-ii:isInformationProcessingInputIn . pims-ii:isSelectionOutputIn a rdf:Property ; rdfs:label "isSelectionOutputIn"@en ; rdfs:comment "(x isSelectionOutputIn y) == y is a selection where x is the output (retained information), i.e., the third element; n.b., in a selection, the output needs to be constitutive of the input" ; rdfs:range pims-ii:Selection ; rdfs:subPropertyOf pims-ii:isInformationProcessingOutputIn . pims-ii:isSemioticMemberOf a rdf:Property ; rdfs:label "isSemioticMemberOf"@en ; rdfs:comment "(x isSemioticMemberOf y) means that x acts as a representamen or as a referent jointly with other co-members of the same semiotic collective y" ; rdfs:range pims-ii:SemioticCollective ; rdfs:subPropertyOf pims-ii:isSemioticallyConstitutiveOf , pims-ii:isMemberOf . pims-ii:isSemioticallyConstitutiveOf a rdf:Property ; rdfs:label "isSemioticallyConstitutiveOf"@en ; rdfs:comment "(x isSemioticallyConstitutiveOf y) means that the evaluation or association with x plays a role in the way in which y functions as a representamen - n.b, this does not entail physical parthood; e.g., if 'q = 2f(p)' is given, the expression 'f(p) = ... (some term involving q)' may be seen as semiotically constituive of the first expression, precisely because it contains the right-hand side that was missing" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isConstitutiveOf . pims-ii:isSignIn a rdf:Property ; rdfs:label "isSignIn"@en ; rdfs:comment "(x isSignIn y) == y is a semiosis where x acts as the sign, i.e., the first element" ; rdfs:range pims-ii:Semiosis ; rdfs:subPropertyOf pims-ii:isRepresentamenIn , pims-ii:isFirstElementIn . pims-ii:isSignInInterpretation a rdf:Property ; rdfs:label "isSignInInterpretation"@en ; rdfs:comment "(x isSignInInterpretation y) == y is an interpretation where x acts as the sign, i.e., the first element" ; rdfs:range pims-ii:Interpretation ; rdfs:subPropertyOf pims-ii:isSignIn . pims-ii:isSignInInvestigation a rdf:Property ; rdfs:label "isSignInInvestigation"@en ; rdfs:comment "(x isSignInInvestigation y) == y is an investigation-setup action where x acts as a representamen, i.e., the second element, both for the object of application (to which it is initially applied) and the object of investigation (to which it is reassigned such that the investigation can take place)" ; rdfs:range pims-ii:InvestigationSetup ; rdfs:subPropertyOf pims-ii:changesReferentInMetonymization . pims-ii:isSignInPerception a rdf:Property ; rdfs:label "isSignInPerception"@en ; rdfs:comment "(x isSignInPerception y) == y is a perception where x acts as the sign, i.e., the first element" ; rdfs:range pims-ii:Perception ; rdfs:subPropertyOf pims-ii:isSignIn . pims-ii:isSimulatedIn a rdf:Property ; rdfs:label "isSimulatedIn"@en ; rdfs:comment "(x isSimulatedIn y) == y is a simulation where x acts as the simulated object (system, substance, process, or similar), i.e., the second element" ; rdfs:range pims-ii:Simulation ; rdfs:subPropertyOf pims-ii:isObjectInInterpretation . pims-ii:isSimulationInputIn a rdf:Property ; rdfs:label "isSimulationInputIn"@en ; rdfs:comment "(x isSimulationInputIn y) == y is a simulation where x is the simulation input (model, etc.), i.e., the first element" ; rdfs:range pims-ii:Simulation ; rdfs:subPropertyOf pims-ii:isSignInInterpretation . pims-ii:isSimulationOutputIn a rdf:Property ; rdfs:label "isSimulationOutputIn"@en ; rdfs:comment "(x isSimulationOutputIn y) == y is a simulation where x is the simulation output (computed property, higher-level model, or similar), i.e., the third element" ; rdfs:range pims-ii:Simulation ; rdfs:subPropertyOf pims-ii:isInterpretantInInterpretation . pims-ii:isSituationInPlanning a rdf:Property ; rdfs:label "isSituationInPlanning"@en ; rdfs:comment "(x isSituationInPlanning y) == y is a telesis carried out in advance of potentially undertaking an action, where x is the perceived present situation, i.e., the second element, against which the telos is evaluated" ; rdfs:range pims-ii:Planning ; rdfs:subPropertyOf pims-ii:isPerceivedIn , pims-ii:isObjectInTelesis . pims-ii:isSituationInUndertaking a rdf:Property ; rdfs:label "isSituationInUndertaking"@en ; rdfs:comment "(x isSituationInUndertaking y) == y is an undertaking wherein x is the pre-existing situation, i.e., the first element" ; rdfs:range pims-ii:Undertaking ; rdfs:subPropertyOf pims-ii:isOldReferentInMetonymization . pims-ii:isSpatiotemporallyConnectedWith a rdf:Property ; rdfs:label "isSpatiotemporallyConnectedWith"@en ; rdfs:comment "(x isSpatiotemporallyConnectedWith y) means that x and y overlap or are directly adjacent to each other at some point; i.e., there is a point p_x in x and a point p_y in y such that you can go from p_x to p_y without ever leaving the fusion (x U y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isTemporallyConnectedWith . pims-ii:isTelosInEvaluation a rdf:Property ; rdfs:label "isTelosInEvaluation"@en ; rdfs:comment "(x isTelosInEvaluation y) == y is an evaluation (reflection ex post) where x acts as the telos (initial guiding objective), i.e., the first element" ; rdfs:range pims-ii:Evaluation ; rdfs:subPropertyOf pims-ii:isTelosIn , pims-ii:isSignInInterpretation . pims-ii:isTelosInPlanning a rdf:Property ; rdfs:label "isTelosInPlanning"@en ; rdfs:comment "(x isTelosInPlanning y) == y is a telesis carried out in advance of potentially undertaking an action, where x acts as the telos (initial guiding objective), i.e., the first element" ; rdfs:range pims-ii:Planning ; rdfs:subPropertyOf pims-ii:isTelosIn , pims-ii:isSignInPerception . pims-ii:isTelosInSteering a rdf:Property ; rdfs:label "isTelosInSteering"@en ; rdfs:comment "(x isTelosInSteering y) == y is a steering operation (reflection in actu) where x acts as the telos (initial guiding objective), i.e., the first element" ; rdfs:range pims-ii:Steering ; rdfs:subPropertyOf pims-ii:isTelosIn , pims-ii:isSignInPerception . pims-ii:isTelosInValidation a rdf:Property ; rdfs:label "Validation"@en ; rdfs:comment "(x isTelosInValidation y) means that y is a validation where x acts as the telos (initial guiding objective), i.e., the first element"@en ; rdfs:range pims-ii:Validation ; rdfs:subPropertyOf pims-ii:isTelosInEvaluation . pims-ii:isTemporallyConnectedWith a rdf:Property ; rdfs:label "isTemporallyConnectedWith"@en ; rdfs:comment "(x isTemporallyConnectedWith y) means that there is a point in time where both x and y exist" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:isTemporallyIncludedIn a rdf:Property ; rdfs:label "isTemporallyIncludedIn"@en ; rdfs:comment "(x isTemporallyIncludedIn y) means that the temporal extension of x is a proper part of the temporal extension of y" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:temporallyOverlapsWith . pims-ii:isThirdElementIn a rdf:Property ; rdfs:label "isThirdElementIn"@en ; rdfs:comment "(x isThirdElementIn y) means that x acts as the third element in y, which is a triadic cognition"@en ; rdfs:range pims-ii:TriadicCognition ; rdfs:subPropertyOf pims-ii:isRepresentationalElementIn . pims-ii:isToolIn a rdf:Property ; rdfs:label "isToolIn"@en ; rdfs:comment "(x isToolIn y) means that x is employed by an agent during the action y"@en ; rdfs:range pims-ii:Action ; rdfs:subPropertyOf pims-ii:isParticipantIn . pims-ii:isVisualizationInputIn a rdf:Property ; rdfs:label "isVisualizationInputIn"@en ; rdfs:comment "(x isVisualizationInputIn y) == y is a visualization process where x is the input (a pre-existing representamen for the visualized object, e.g., a simulation result), i.e., the first element" ; rdfs:range pims-ii:Visualization ; rdfs:subPropertyOf pims-ii:isSignInInterpretation . pims-ii:isVisualizationOutputIn a rdf:Property ; rdfs:label "isVisualizationOutputIn"@en ; rdfs:comment "(x isVisualizationOutputIn y) == y is a visualization where x is the visualization output, i.e., the third element" ; rdfs:range pims-ii:Visualization ; rdfs:subPropertyOf pims-ii:isInterpretantInInterpretation . pims-ii:isVisualizedObjectIn a rdf:Property ; rdfs:label "isVisualizedObjectIn"@en ; rdfs:comment "(x isVisualizedObjectIn y) == y is a visualization process wherein x is the visualized object, i.e., the second element" ; rdfs:range pims-ii:Visualization ; rdfs:subPropertyOf pims-ii:isObjectInInterpretation . pims-ii:msHPHR a rdf:Property ; rdfs:label "msHPHR"@en ; rdfs:comment "(X msHPHR Z) == hasProperPart o hasRepresentamen == there is a Y such that (Y isProperPartOf X) and (Z isRepresentamenFor Y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHR , pims-ii:msHPHRHPIP . pims-ii:msHPHRHP a rdf:Property ; rdfs:label "msHPHRHP"@en ; rdfs:comment "chain relation msHPHR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHRHP , pims-ii:msHPHRHPIP . pims-ii:msHPHRHPIP a rdf:Property ; rdfs:label "msHPHRHPIP"@en ; rdfs:comment "chain relation msHPHR o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPHRHR a rdf:Property ; rdfs:label "msHPHRHR"@en ; rdfs:comment "chain relation msHPHR o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHRHR . pims-ii:msHPHRIP a rdf:Property ; rdfs:label "msHPHRIP"@en ; rdfs:comment "chain relation msHPHR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHRIP , pims-ii:msHPHRHPIP . pims-ii:msHPHRIR a rdf:Property ; rdfs:label "msHPHRIR"@en ; rdfs:comment "chain relation hasProperPart o sharesRepresentamenWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHRIR . pims-ii:msHPIPHR a rdf:Property ; rdfs:label "msHPIPHR"@en ; rdfs:comment "(X msHPIPHR Z) == hasProperPart o isProperPartOf o hasRepresentamen == there is a Y such that (X overlapsWith Y) and (Z isRepresentamenFor Y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPHRHP a rdf:Property ; rdfs:label "msHPIPHRHP"@en ; rdfs:comment "chain relation overlapsWith o msHRHP" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPHRHR a rdf:Property ; rdfs:label "msHPIPHRHR"@en ; rdfs:comment "chain relation overlapsWith o msHRHR" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPHRIP a rdf:Property ; rdfs:label "msHPIPHRIP"@en ; rdfs:comment "chain relation overlapsWith o msHRIP" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPHRIR a rdf:Property ; rdfs:label "msHPIPHRIR"@en ; rdfs:comment "chain relation overlapsWith o sharesRepresentamenWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPIR a rdf:Property ; rdfs:label "msHPIPIR"@en ; rdfs:comment "(X msHPIPIR Z) == hasProperPart o isProperPartOf o isRepresentamenFor == there is a Y such that (X overlapsWith Y) and (Y isRepresentamenFor Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPIRHP a rdf:Property ; rdfs:label "msHPIPIRHP"@en ; rdfs:comment "chain relation overlapsWith o msIRHP" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPIRHR a rdf:Property ; rdfs:label "msHPIPIRHR"@en ; rdfs:comment "chain relation overlapsWith o sharesReferentWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPIRIP a rdf:Property ; rdfs:label "msHPIPIRIP"@en ; rdfs:comment "chain relation overlapsWith o msIRIP" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIPIRIR a rdf:Property ; rdfs:label "msHPIPIRIR"@en ; rdfs:comment "chain relation overlapsWith o msIRIR" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIR a rdf:Property ; rdfs:label "msHPIR"@en ; rdfs:comment "(X msHPIR Z) == hasProperPart o isRepresentamenFor == there is a Y such that (Y isProperPartOf X) and (Y is RepresentamenFor Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIRHPIP , pims-ii:msHPIPIR . pims-ii:msHPIRHP a rdf:Property ; rdfs:label "msIPIRHP"@en ; rdfs:comment "chain relation msHPIR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIRHPIP , pims-ii:msHPIPIRHP . pims-ii:msHPIRHPIP a rdf:Property ; rdfs:label "msHPIRHPIP"@en ; rdfs:comment "chain relation msHPIR o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHPIRHR a rdf:Property ; rdfs:label "msHPIRHR"@en ; rdfs:comment "chain relation hasProperPart o sharesReferentWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPIRHR . pims-ii:msHPIRIP a rdf:Property ; rdfs:label "msHPIRIP"@en ; rdfs:comment "chain relation msHPIR o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIRHPIP , pims-ii:msHPIPIRIP . pims-ii:msHPIRIR a rdf:Property ; rdfs:label "msHPIRIR"@en ; rdfs:comment "chain relation msHPIR o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPIRIR . pims-ii:msHRHP a rdf:Property ; rdfs:label "msHRHP"@en ; rdfs:comment "(X msHRHP Z) == hasRepresentamen o hasProperPart == there is a Y such that (Y isRepresentamenFor X) and (Z isProperPartOf Y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIP , pims-ii:msHPIPHRHP . pims-ii:msHRHPHR a rdf:Property ; rdfs:label "msHRHPHR"@en ; rdfs:comment "chain relation msHRHP o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIPHR . pims-ii:msHRHPIP a rdf:Property ; rdfs:label "msHRHPIP"@en ; rdfs:comment "(X msHRHPIP Z) == hasRepresentamen o hasProperPart o isProperPartOf == there is a Y such that (Y isRepresentamenFor X) and (Y overlapsWith Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRHPIPHR a rdf:Property ; rdfs:label "msHRHPIPHR"@en ; rdfs:comment "chain relation msHRHP o msIPHR" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRHPIPIR a rdf:Property ; rdfs:label "msHRHPIPIR"@en ; rdfs:comment "chain relation msHRHP o msIPIR" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRHPIR a rdf:Property ; rdfs:label "msHRHPIR"@en ; rdfs:comment "chain relation msHRHP o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIPIR . pims-ii:msHRHR a rdf:Property ; rdfs:label "msHRHR"@en ; rdfs:comment "(X msHRHR Z) == (hasRepresentamen)^2 == there is a Y such that (Y isRepresentamenFor X) and (Z isRepresentamenFor Y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHRHPIP , pims-ii:msHPIPHRHR . pims-ii:msHRHRHP a rdf:Property ; rdfs:label "msHRHRHP"@en ; rdfs:comment "chain relation msHRHR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHRHPIP . pims-ii:msHRHRHPIP a rdf:Property ; rdfs:label "msHRHRHPIP"@en ; rdfs:comment "chain relation msHRHR o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRHRHR a rdf:Property ; rdfs:label "msHRHRHR"@en ; rdfs:comment "chain relation msHRHR o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRHRIP a rdf:Property ; rdfs:label "msHRHRIP"@en ; rdfs:comment "chain relation msHRHR o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHRHPIP . pims-ii:msHRHRIR a rdf:Property ; rdfs:label "msHRHRIR"@en ; rdfs:comment "chain relation hasRepresentamen o sharesRepresentamenWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRIP a rdf:Property ; rdfs:label "msHRIP"@en ; rdfs:comment "(X msHRIP Z) == hasRepresentamen o isProperPartOf == there is a Y such that (Y isRepresentamenFor X) and (Y isProperPartOf Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIP , pims-ii:msHPIPHRIP . pims-ii:msHRIPHR a rdf:Property ; rdfs:label "msHRIPHR"@en ; rdfs:comment "chain relation msHRIP o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIPHR . pims-ii:msHRIPIR a rdf:Property ; rdfs:label "msHRIPIR"@en ; rdfs:comment "chain relation msHRIP o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRHPIPIR . pims-ii:msHRIRHP a rdf:Property ; rdfs:label "msHRIRHP"@en ; rdfs:comment "chain relation sharesRepresentamenWith o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRIRHPIP . pims-ii:msHRIRHPIP a rdf:Property ; rdfs:label "msHRIRHPIP"@en ; rdfs:comment "chain relation sharesRepresentamenWith o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRIRHR a rdf:Property ; rdfs:label "msHRIRHR"@en ; rdfs:comment "chain relation hasRepresentamen o sharesReferentWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msHRIRIP a rdf:Property ; rdfs:label "msHRIRIP"@en ; rdfs:comment "chain relation sharesRepresentamenWith o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRIRHPIP . pims-ii:msHRIRIR a rdf:Property ; rdfs:label "msHRIRIR"@en ; rdfs:comment "chain relation sharesRepresentamenWith o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIPHR a rdf:Property ; rdfs:label "msIPHR"@en ; rdfs:comment "(X msIPHR Z) == isProperPartOf o hasRepresentamen == there is a Y such that (X isProperPartOf Y) and (Z isRepresentamenFor Y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIPHRHPIP , pims-ii:msHPIPHR . pims-ii:msIPHRHP a rdf:Property ; rdfs:label "msIPHRHP"@en ; rdfs:comment "chain relation msIPHR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIPHRHPIP , pims-ii:msHPIPHRHP . pims-ii:msIPHRHPIP a rdf:Property ; rdfs:label "msIPHRHPIP"@en ; rdfs:comment "chain relation msIPHR o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIPHRHR a rdf:Property ; rdfs:label "msIPHRHR"@en ; rdfs:comment "chain relation msIPHR o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHRHR . pims-ii:msIPHRIP a rdf:Property ; rdfs:label "msIPHRIP"@en ; rdfs:comment "chain relation msIPHR o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIPHRHPIP , pims-ii:msHPIPHRIP . pims-ii:msIPHRIR a rdf:Property ; rdfs:label "msIPHRIR"@en ; rdfs:comment "chain relation isProperPartOf o sharesRepresentamenWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPHRIR . pims-ii:msIPIR a rdf:Property ; rdfs:label "msIPIR"@en ; rdfs:comment "(X msIP Z) == isProperPartOf o isRepresentamenFor == there is a Y such that (X isProperPartOf Y) and (Y isRepresentamenFor Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIPIRHPIP , pims-ii:msHPIPIR . pims-ii:msIPIRHP a rdf:Property ; rdfs:label "msIPIRHP"@en ; rdfs:comment "chain relation msIPIR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIPIRHPIP , pims-ii:msHPIPIRHP . pims-ii:msIPIRHPIP a rdf:Property ; rdfs:label "msIPIRHPIP"@en ; rdfs:comment "chain relation msIPIR o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIPIRHR a rdf:Property ; rdfs:label "msIPIRHR"@en ; rdfs:comment "chain relation isProperPartOf o sharesReferentWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPIRHR . pims-ii:msIPIRIP a rdf:Property ; rdfs:label "msIPIRIP"@en ; rdfs:comment "chain relation msIPIR o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIPIRHPIP , pims-ii:msHPIPIRIP . pims-ii:msIPIRIR a rdf:Property ; rdfs:label "msIPIRIR"@en ; rdfs:comment "chain relation msIPIR o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHPIPIRIR . pims-ii:msIRHP a rdf:Property ; rdfs:label "msIRHP"@en ; rdfs:comment "(X msIRHP Z) == isRepresentamenFor o hasProperPart == there is a Y such that (X isRepresentamenFor Y) and (Z isProperPartOf Y)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHPIP , pims-ii:msHPIPIRHP . pims-ii:msIRHPHR a rdf:Property ; rdfs:label "msIRHPHR"@en ; rdfs:comment "chain relation msIRHP o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHPIPHR . pims-ii:msIRHPIP a rdf:Property ; rdfs:label "msIRHPIP"@en ; rdfs:comment "(X msIRHPIP Z) == isRepresentamenFor o hasProperPart o isProperPartOf == there is a Y such that (X isRepresentamenFor Y) and (Y overlapsWith Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRHPIPHR a rdf:Property ; rdfs:label "msIRHPIPHR"@en ; rdfs:comment "chain relation msIRHP o msIPHR" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRHPIPIR a rdf:Property ; rdfs:label "msIRHPIPIR"@en ; rdfs:comment "chain relation msIRHP o msIPIR" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRHPIR a rdf:Property ; rdfs:label "msIRHPIR"@en ; rdfs:comment "chain relation msIRHP o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHPIPIR . pims-ii:msIRHRHP a rdf:Property ; rdfs:label "msIRHRHP"@en ; rdfs:comment "chain relation sharesReferentWith o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHRHPIP . pims-ii:msIRHRHPIP a rdf:Property ; rdfs:label "msIRHRHPIP"@en ; rdfs:comment "chain relation sharesReferentWith o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRHRHR a rdf:Property ; rdfs:label "msIRHRHR"@en ; rdfs:comment "chain relation sharesReferentWith o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRHRIP a rdf:Property ; rdfs:label "msIRHRIP"@en ; rdfs:comment "chain relation sharesReferentWith o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHRHPIP . pims-ii:msIRHRIR a rdf:Property ; rdfs:label "msHRIRHR"@en ; rdfs:comment "chain relation sharesReferentWith o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRIP a rdf:Property ; rdfs:label "msIRIP"@en ; rdfs:comment "(X msIRIP Z) == isRepresentamenFor o isProperPartOf == there is a Y such that (X isRepresentamenFor Y) and (Y isProperPartOf Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHPIP , pims-ii:msHPIPIRIP . pims-ii:msIRIPHR a rdf:Property ; rdfs:label "msIRIPHR"@en ; rdfs:comment "chain relation msIRIP o hasRepresentamen" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHPIPHR . pims-ii:msIRIPIR a rdf:Property ; rdfs:label "msIRIPIR"@en ; rdfs:comment "chain relation msIRIP o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHPIPIR . pims-ii:msIRIR a rdf:Property ; rdfs:label "msIRIR"@en ; rdfs:comment "(X msIRIR Z) == (isRepresentamenFor)^2 == there is a Y such that (X isRepresentamenFor Y) and (Y isRepresentamenFor Z)" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRIRHPIP , pims-ii:msHPIPIRIR . pims-ii:msIRIRHP a rdf:Property ; rdfs:label "msIRIRHP"@en ; rdfs:comment "chain relation msIRIR o hasProperPart" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRIRHPIP . pims-ii:msIRIRHPIP a rdf:Property ; rdfs:label "msIRIRHPIP"@en ; rdfs:comment "chain relation msIRIR o overlapsWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRIRHR a rdf:Property ; rdfs:label "msIRIRHR"@en ; rdfs:comment "chain relation isRepresentamenFor o sharesReferentWith" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:msIRIRIP a rdf:Property ; rdfs:label "msIRIRIP"@en ; rdfs:comment "chain relation msIRIR o isProperPartOf" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRIRHPIP . pims-ii:msIRIRIR a rdf:Property ; rdfs:label "msIRIRIR"@en ; rdfs:comment "chain relation msIRIR o isRepresentamenFor" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isMereosemioticallyRelatedTo . pims-ii:overlapsWith a rdf:Property ; rdfs:label "overlapsWith"@en ; rdfs:comment "(x overlapsWith y) means that x and y share a spatiotemporal region where x and y intersect" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:temporallyOverlapsWith , pims-ii:isSpatiotemporallyConnectedWith . pims-ii:providesJustification a rdf:Property ; rdfs:label "providesJustification"@en ; rdfs:comment "(x providesJustification y) means that x is about some cognition z, providing a justification of it by referring to y, i.e., a grounding chain that establishes the epistemic status of z; thereby, x does not only affirm z, but also its grounding chain y" ; rdfs:range pims-ii:GroundingChain ; rdfs:subPropertyOf pims-ii:affirmsCognition . pims-ii:realizes a rdf:Property ; rdfs:label "realizes"@en ; rdfs:comment "(x realizes y) means that x, which is not a semiotic collective, is a literal or non-literal realization of the expression y" ; rdfs:range pims-ii:Articulation ; rdfs:subPropertyOf pims-ii:isSemioticMemberOf . pims-ii:sharesReferentWith a rdf:Property ; rdfs:label "sharesReferentWith"@en ; rdfs:comment "(X sharesReferentWith Z) == there is a Y such that both X and Z isRepresentamenFor Y" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msIRHRHPIP , pims-ii:msHPIPIRHR . pims-ii:sharesRepresentamenWith a rdf:Property ; rdfs:label "sharesRepresentamenWith"@en ; rdfs:comment "(X sharesRepresentamenWith Z) == there is a Y such that Y isRepresentamenFor both X and Z" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:msHRIRHPIP , pims-ii:msHPIPHRIR . pims-ii:temporallyCoextendsWith a rdf:Property ; rdfs:label "temporallyCoextendsWith"@en ; rdfs:comment "(x temporallyCoextendsWith y) means that x and y have exactly the same extension in time, i.e., disregarding their spatial extension" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:temporallyOverlapsWith . pims-ii:temporallyOverlapsWith a rdf:Property ; rdfs:label "temporallyOverlapsWith"@en ; rdfs:comment "(x temporallyOverlapsWith y) means that there is an (extended) interval in time where both x and y exist" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:isTemporallyConnectedWith . pims-ii:underlies a rdf:Property ; rdfs:label "underlies"@en ; rdfs:comment "the relation 'underlies' is the transitive closure of the relation 'isConstitutiveOf'" ; rdfs:range xsd:string ; rdfs:subPropertyOf pims-ii:hasCausalConnectionWith .