Physicalistic Interpretation of Modelling and Simulation - Interoperability Infrastructure (PIMS-II)

IRI:
http://www.molmod.info/semantics/pims-ii.ttl
Version IRI:
http://www.molmod.info/semantics/pims-ii/II.1.12a/
Current version :
PIMS-II version II.1.12a
Authors :
Martin Thomas Horsch (ORCID 0000-0002-9464-6739)
Publisher :
Innovation Centre for Process Data Technology (Inprodat e.V.)
Other visualisation :
Ontology source - WebVowl

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Annotation Properties
  6. Namespace Declarations

Introduction

The Physicalistic Interpretation of Modelling and Simulation - Interoperability Infrastructure (PIMS-II) is a mid-level ontology with a focus on documenting cognitive processes and epistemic metadata

Classes

AbsoluteLawc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#AbsoluteLaw

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
has super-classes
Lawc

AbsoluteModalIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#AbsoluteModalIRI

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.
has super-classes
ModalIRIc
is in range of
hasAbsoluteNecessityModeop, hasAbsolutePossibilityModeop

AbstractModelPropertyClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#AbstractModelPropertyClaim

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
has super-classes
PropertyClaimc

Accumulationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Accumulation

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)
has super-classes
InformationProcessingc
inverse isAccumulationInputInop some Objectc
inverse isAccumulationOutputInop some Objectc
inverse isIncludedInAccumulationop some Objectc
inverse isObjectInAccumulationop some Objectc
is in range of
isAccumulationConditionInop, isAccumulationInputInop, isAccumulationOutputInop, isIncludedInAccumulationop, isObjectInAccumulationop

Actionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Action

Action, i.e., a process that is conducted/undertaken by an agent - the action has exactly one agent
has super-classes
Processc
inverse isAgentInop some Agentc
has sub-classes
CognitiveActionc, PurposefulActionc
is in domain of
isActionInSteeringop, isActionInUndertakingop, isEvaluatedInop
is in range of
describesMethodAppliedInop, isAgentInop, isAimInop, isToolInop

Agentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Agent

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
has super-classes
Objectc
has sub-classes
GoalOrientedAgentc, Interlocutorc
is in domain of
isAgentInop, isInterpreterInop
is in range of
describesMethodEmployedByop

Articulationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Articulation

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)
is equivalent to
inverse realizesop some not (SemioticCollectivec)
has super-classes
SemioticCollectivec
inverse realizesop min 2
has sub-classes
CollectiveLiteralc, CollectiveUtterancec, Conventionalc, DigitalArticulationc
is in domain of
articulatesop, articulatesNonliterallyop, describesMethodAppliedInop, describesMethodEmployedByop
is in range of
realizesop

Assessmentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Assessment

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
is equivalent to
isAssessmentForop some CognitiveStepc
has super-classes
Groundc
is in domain of
isAssessmentForop

Assignmentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Assignment

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
has super-classes
DigitalConventionalc
EqualityArticulationc
isAssignmentForop some Objectc
inverse isValueInAssignmentop some Valuec
inverse isVariableInAssignmentop some Variablec
is in domain of
isAssignmentForop
is in range of
isValueInAssignmentop, isVariableInAssignmentop

BasicGroundc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#BasicGround

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
has super-classes
Groundc
isGroundForop only Presuppositionc

CanonicalTUCANc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CanonicalTUCAN

Canonical TUCAN, i.e., the material identifier as developed within the NFDI4Chem project
has super-classes
MaterialIdentifierc

Claimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Claim

Claim, i.e., a proposition that is expressed by an interlocutor or believed/held by an intelligent agent
is equivalent to
Propositionc and ((isAssertedByop some Interlocutorc) or (isClaimOfop some IntelligentAgentc))
has super-classes
Propositionc
has sub-classes
KnowledgeClaimc, OwnClaimc, ValidityClaimc
is in domain of
isAssertedByop, isAssertedInop, isClaimOfop, isHeldByop

Cognitionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Cognition

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
is equivalent to
CognitiveChainc or CognitiveStepc
has super-classes
Processc
has sub-classes
CognitiveActionc, CognitiveChainc, CognitiveStepc, Communicationc, GroundedCognitionc
is in domain of
logicallyPrecedesop
is in range of
affirmsCognitionop, isParticipantInCognitionop, isResultOfop, logicallyPrecedesop

CognitiveActionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CognitiveAction

Cognitive action, i.e., a cognition that is conducted/undertaken by an agent; the agent of a cognitive action is called its interpreter
is equivalent to
Actionc and Cognitionc
has super-classes
Actionc
Cognitionc
inverse isInterpreterInop some Agentc
has sub-classes
CognitiveWorkflowc, ExpressiveActc, Telesisc, TriadicCognitionc
is in domain of
isEvaluatedInop
is in range of
isInterpreterInop, isTargetPropertyInop

CognitiveChainc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CognitiveChain

Cognitive chain, i.e., a cognition that consists of multiple (sub)steps
has super-classes
Cognitionc
inverse isStepInCognitiveChainop min 2
has sub-classes
CognitiveWorkflowc, GroundingChainc
is in domain of
isStepInCognitiveChainop
is in range of
isCognitiveSubstepOfop

CognitiveRupturec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CognitiveRupture

Cognitive rupture, i.e., a cognitive step that constitutes a break in the chain of epistemic grounding
has super-classes
CognitiveStepc

CognitiveStepc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CognitiveStep

Cognitive step, i.e., an elementary cognition that can form an part of a cognitive chain
has super-classes
Cognitionc
has sub-classes
CognitiveRupturec, TriadicCognitionc
is in domain of
directlyPrecedesByRuptureop, isCognitiveSubstepOfop, isGroundedStepInop, isGroundingStepInop, isPresentStepInGroundingop, isStepInCognitiveChainop
is in range of
directlyGroundsop, directlyPrecedesByRuptureop, isAssessmentForop, isCognitiveSubstepOfop, isGroundForop, isReferentInop, isRepresentamenInop, isRepresentationalElementInop

CognitiveWorkflowc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CognitiveWorkflow

Cognitive workflow, i.e., a purposefully conducted cognitive chain
is equivalent to
CognitiveChainc and PurposefulActionc
has super-classes
CognitiveActionc
CognitiveChainc
PurposefulActionc
has sub-classes
ExperimentalWorkflowc, SimulationWorkflowc

Collectivec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Collective

Collective, i.e., an object that has multiple items as members
is equivalent to
MereotopologicalCollectivec or SemioticCollectivec
inverse isMemberOfop some Objectc
has super-classes
Objectc
inverse isMemberOfop min 2
has sub-classes
MereotopologicalCollectivec, SemioticCollectivec
is in range of
isMemberOfop

CollectiveLiteralc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CollectiveLiteral

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
is equivalent to
isLiterallydp min 1
has super-classes
Articulationc
has sub-classes
IRIc, Lexemec
is in domain of
articulatesLiterallyop, isLiterallydp
is disjoint with
CollectiveUtterancec

CollectiveUtterancec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#CollectiveUtterance

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
has super-classes
Articulationc
is disjoint with
CollectiveLiteralc

Communicationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Communication

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)
has super-classes
Cognitionc
inverse isParticipantInop some ExpressiveActc
inverse isInterlocutorInop min 2
has sub-classes
ExpressiveActc
is in range of
isInterlocutorInop

ConceptualIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ConceptualIRI

Conceptual IRI, i.e., the internationalized resource identifier of a concept (i.e., of an owl:Class)
has super-classes
IRIc
is disjoint with
RelationalIRIc

ConceptualKnowledgeClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ConceptualKnowledgeClaim

Conceptual knowledge claim (CKC), i.e., a knowledge claim establishing the ontological status of a lexeme
has super-classes
KnowledgeClaimc
is disjoint with
PropertyClaimc

ConcretePropertyClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ConcreteModelPropertyClaim

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
has super-classes
PropertyClaimc
PropertyClaimc

ContextualIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ContextualIRI

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
has super-classes
IRIc
is in domain of
isContextOfRelationop, isContextWithinLawop
is disjoint with
RelationalIRIc

Conventionalc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Conventional

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
has super-classes
Articulationc
isRepresentamenForop some Objectc
has sub-classes
DigitalConventionalc, Lexemec, Termc
is in domain of
isDesignParameterWithinop, isFirstInDyadop, isMaximizationObjectiveInop, isMaximizationObjectiveInop, isOptimizationObjectiveWithinop, isSecondInDyadop

DataItemc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#DataItem

Data item, i.e., a digital articulation given as a tuple of digital conventionals
has super-classes
DigitalArticulationc
inverse isSemioticallyConstitutiveOfop min 2 DigitalConventionalc
has sub-classes
Dyadc, Triplec

Datasetc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Dataset

Dataset, i.e., a digital articulation that is composed of multiple data items that are similar in shape, kind, and content type
has super-classes
DigitalArticulationc
inverse isSemioticallyConstitutiveOfop min 2 DataItemc

DigitalArticulationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#DigitalArticulation

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.)
has super-classes
Articulationc
inverse isSemioticallyConstitutiveOfop min 2 CollectiveLiteralc
has sub-classes
DataItemc, Datasetc, DigitalConventionalc, IRIc, Queryc
is in domain of
isOrthodataWithinop, isParadataWithinop

DigitalConventionalc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#DigitalConventional

Digital conventional, i.e., a conventional that is a digital articulation
is equivalent to
Conventionalc and DigitalArticulationc
has super-classes
Conventionalc
DigitalArticulationc
has sub-classes
Assignmentc

Duplicationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Duplication

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
has super-classes
InformationProcessingc
inverse isDuplicateInop some Objectc
inverse isObjectInDuplicationop some Objectc
inverse isOriginalInop some Objectc
is in range of
isDuplicateInop, isObjectInDuplicationop, isOriginalInop

Dyadc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Dyad

Dyad, i.e., a data item by which two conventionals are grouped together; e.g., an equality or inequality articulation
has super-classes
DataItemc
inverse isFirstInDyadop some DigitalConventionalc
inverse isSecondInDyadop some DigitalConventionalc
has sub-classes
EqualityArticulationc
is in range of
isFirstInDyadop, isSecondInDyadop

EPRCc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#EPRC

EPRC, i.e., an exact-agreement provenance-conscious reproducibility claim
is equivalent to
ExactAgreementReproducibilityClaimc and ProvenanceConsciousReproducibilityClaimc
has super-classes
ExactAgreementReproducibilityClaimc
ProvenanceConsciousReproducibilityClaimc
has sub-classes
EPTRCc

EPTRCc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#EPTRC

EPTRC, i.e., an exact-agreement provenance-conscious team-change reproducibility claim
is equivalent to
ExactAgreementReproducibilityClaimc and ProvenanceConsciousReproducibilityClaimc and TeamChangeReproducibilityClaimc
has super-classes
EPRCc
ETRCc
PTRCc

EqualityArticulationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#EqualityArticulation

Equality articulation, i.e., a dyad by which two terms are asserted to be equal or to become equal
has super-classes
Dyadc
inverse isLeftHandSideInop some Termc
inverse isRightHandSideInop some Termc
has sub-classes
Assignmentc
is in range of
isLeftHandSideInop, isRightHandSideInop

ETRCc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ETRC

ETRC, i.e., an exact-agreement team-change reproducibility claim
is equivalent to
ExactAgreementReproducibilityClaimc and TeamChangeReproducibilityClaimc
has super-classes
ExactAgreementReproducibilityClaimc
TeamChangeReproducibilityClaimc
has sub-classes
EPTRCc

Evaluationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Evaluation

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
is equivalent to
Interpretationc and Telesisc
has super-classes
Interpretationc
Telesisc
inverse directlyGroundsop some Telesisc or Undertakingc
inverse isEvaluatedInop some Objectc
inverse isEvaluationOutcomeInop some Objectc
inverse isEvaluatorInop some GoalDirectedAgentc and Interlocutorc
inverse isTelosInEvaluationop some Objectc
has sub-classes
Validationc
is in range of
isEvaluatedInop, isEvaluationOutcomeInop, isEvaluatorInop, isTelosInEvaluationop

ExactAgreementReproducibilityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ExactAgreementReproducibilityClaim

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
has super-classes
ReproducibilityClaimc
has sub-classes
EPRCc, ETRCc

Examinationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Examination

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
has super-classes
Observationc
inverse isExaminationOutcomeInop some Objectc
inverse isExaminedInop some Objectc
inverse isLegisignInop some Objectc
is in range of
isExaminationOutcomeInop, isExaminedInop, isLegisignInop

ExperimentalWorkflowc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ExperimentalWorkflow

experimental workflow, i.e., a cognition that is purposefully conducted in a controlled environment and has at least one measurement as a step
has super-classes
CognitiveWorkflowc
inverse isStepInCognitiveChainop some Measurementc

ExpressiveActc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ExpressiveAct

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
has super-classes
CognitiveActionc
Communicationc
PurposefulActionc
inverse isSpeakerInop some Interlocutorc
is in range of
isAssertedInop, isExpressedInop, isListenerInop, isSpeakerInop

GoalDirectedAgentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GoalDirectedAgent

'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)
is equivalent to
inverse isGoalForop some Intentionc
has super-classes
IntelligentAgentc
is in domain of
isEvaluatorInop
is in range of
isGoalForop

GoalOrientedAgentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GoalOrientedAgent

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)
is equivalent to
inverse isGoalOfop some Intentionc
has super-classes
Agentc
has sub-classes
IntelligentAgentc
is in range of
isGoalOfop

Groundc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Ground

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
is equivalent to
isGroundForop some CognitiveStepc
has super-classes
Propositionc
has sub-classes
Assessmentc, BasicGroundc
is in domain of
groundsNextStepInop, groundsPresentStepInop, isGroundForop, isGroundingPropositionInop

GroundedCognitionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GroundedCognition

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
is equivalent to
Presuppositionc or (inverse logicallyPrecedesop some Presuppositionc)
inverse isJustificationForop some GroundingChainc
has super-classes
Cognitionc
has sub-classes
Presuppositionc
is in range of
isJustificationForop

GroundingChainc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GroundingChain

Grounding chain, i.e., a cognitive chain that establishes epistemic grounding
has super-classes
CognitiveChainc
inverse isStepInCognitiveChainop only GroundingStepc or Presuppositionc
is in domain of
isJustificationForop
is in range of
providesJustificationop

GroundingInterpretationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GroundingInterpretation

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
is equivalent to
GroundingStepc and Semiosisc
has super-classes
GroundingStepc
Interpretationc
inverse groundsNextStepInop some Objectc
inverse groundsPresentStepInop some Objectc
inverse isPresentStepInGroundingop some Objectc
is in range of
groundsNextStepInop, groundsPresentStepInop, isPresentStepInGroundingop

GroundingMetonymizationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GroundingMetonymization

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
is equivalent to
GroundingStepc and SemanticChangec
has super-classes
GroundingStepc
Metonymizationc
inverse isGroundedStepInop some Objectc
inverse isGroundingPropositionInop some Objectc
inverse isGroundingStepInop some Objectc
is in range of
isGroundedStepInop, isGroundingPropositionInop, isGroundingStepInop

GroundingStepc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#GroundingStep

Grounding step, i.e., a triadic cognition that establishes epistemic grounding
has super-classes
TriadicCognitionc
has sub-classes
GroundingInterpretationc, GroundingMetonymizationc

IndividualIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#IndividualIRI

Individual IRI, i.e., the internationalized resource identifier of an individual (owl:Thing or pims-ii:Object)
has super-classes
IRIc
UniqueIdentifierc
is in domain of
isSubjectWithinTripleop
is disjoint with
RelationalIRIc

InformationProcessingc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#InformationProcessing

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
has super-classes
Interpretationc
inverse isInformationProcessingInputInop some Objectc
inverse isInformationProcessingOutputInop some Objectc
inverse isObjectInInformationProcessingop some Objectc
has sub-classes
Accumulationc, Duplicationc, Selectionc
is in range of
isInformationProcessingInputInop, isInformationProcessingOutputInop, isObjectInInformationProcessingop

IntelligentAgentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#IntelligentAgent

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.)
has super-classes
GoalOrientedAgentc
has sub-classes
GoalDirectedAgentc, KnowledgeBasedAgentc, RationalAgentc
is in range of
isClaimOfop

Intentionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Intention

Intention, i.e., a proposition that constitutes an aim or goal
has super-classes
Propositionc
has sub-classes
OptimizationProblemc
is in domain of
isAimInop, isGoalForop, isGoalOfop, isResolutionInTelesisop, isResolutionInUndertakingop, isTelosInop

Interlocutorc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Interlocutor

Interlocutor, i.e., an agent that can be addressed and is capable of addressing others in a communication process
has super-classes
Agentc
has sub-classes
KnowledgeBasec, Personc, ReferenceToSelfc
is in domain of
isEvaluatorInop, isInterlocutorInop, isListenerInop, isSpeakerInop
is in range of
isAssertedByop, isExpressedByop

Interpretationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Interpretation

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
has super-classes
Semiosisc
inverse isInterpretantInInterpretationop some Objectc
inverse isObjectInInterpretationop some Objectc
inverse isSignInInterpretationop some Objectc
has sub-classes
Evaluationc, GroundingInterpretationc, InformationProcessingc, Modellingc, Optimizationc, Simulationc, Visualizationc
is in range of
isInterpretantInInterpretationop, isObjectInInterpretationop, isSignInInterpretationop

InvestigationSetupc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#InvestigationSetup

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
has super-classes
Metonymizationc
inverse isObjectOfApplicationInop some Objectc
inverse isObjectOfInvestigationInop some Objectc
inverse isSignInInvestigationop some Objectc
is in range of
isObjectOfApplicationInop, isObjectOfInvestigationInop, isSignInInvestigationop

IRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#IRI

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
is equivalent to
ConceptualIRIc or ContextualIRIc or IndividualIRIc or RelationalIRIc
has super-classes
CollectiveLiteralc
DigitalArticulationc
has sub-classes
ConceptualIRIc, ContextualIRIc, IndividualIRIc, RelationalIRIc

Itemc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Item

Item, i.e., a connected region of spacetime that does not consist of multiple connected components
has super-classes
Objectc
has sub-classes
Processc
is in domain of
isMereotopologicalMemberOfop

KnowledgeBasec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#KnowledgeBase

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.
has super-classes
Interlocutorc
is in range of
isHeldByop

KnowledgeBasedAgentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#KnowledgeBasedAgent

Knowledge-based agent, i.e., an intelligent agent that uses a knowledge base to store and process its opinions/claims/worldview
has super-classes
IntelligentAgentc
inverse isMereologicallyConstitutiveOfop some KnowledgeBasec

KnowledgeClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#KnowledgeClaim

Knowledge claim (KC), i.e., a claim about something with respect to its knowledge status
has super-classes
Claimc
hasSubjectMatterop some Questionc
isInterpretantInop some Semiosisc
has sub-classes
ConceptualKnowledgeClaimc, NegativeKnowledgeClaimc, PropertyClaimc
is disjoint with
ValidityClaimc

Lawc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Law

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)
has super-classes
Rulec
has sub-classes
AbsoluteLawc, QualifiedLawc

Lexemec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Lexeme

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
has super-classes
CollectiveLiteralc
Conventionalc
has sub-classes
MathematicalOperatorc, MeasurementUnitc, Namec, Numberc

listc back to ToC or Class ToC

IRI: http://www.w3.org/1999/02/22-rdf-syntax-ns#List

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
is in domain of
firstop, restop
is in range of
isFusionOfop, isRelatedToListop, isTriadOfop

MaterialIdentifierc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#MaterialIdentifier

Name or label that identifies the material of its referent, or the material that some semiotic collective is about
has super-classes
Namec
has sub-classes
CanonicalTUCANc

MathematicalOperatorc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#MathematicalOperator

Mathematical operator, i.e., a lexeme that articulates a mathematical operation, such as the collective containing realizations of '*', '·', 'times', etc.
has super-classes
Lexemec

Measurementc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Measurement

Measurement, i.e., an observation that follows a standard procedure, so that it can be expected to yield an objective (rather than subjective) outcome
has super-classes
Observationc
inverse isMeasuredObjectInop some Objectc
inverse isMeasurementInputInop some Objectc
inverse isMeasurementOutcomeInop some Objectc
is in range of
isMeasuredObjectInop, isMeasurementInputInop, isMeasurementOutcomeInop

MeasurementUnitc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#MeasurementUnit

Measurement unit, i.e., a 'real scalar quantity, defined and adopted by convention' (EMMO, ISO 80000-1)
has super-classes
Lexemec
is in domain of
isAdmissibleUnitForop, isUnitOfop

MereotopologicalCollectivec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#MereotopologicalCollective

Mereotopological collective, i.e., a region of spacetime that consists of multiple connected components, which are its mereotopological members
is equivalent to
inverse isMereotopologicalMemberOfop some Itemc
has super-classes
Collectivec
inverse isMereotopologicalMemberOfop min 2
is in range of
isMereotopologicalMemberOfop

Metonymizationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Metonymization

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
has super-classes
SemanticChangec
inverse changesReferentInMetonymizationop some Objectc
inverse isNewReferentInMetonymizationop some Objectc
inverse isOldReferentInMetonymizationop some Objectc
has sub-classes
GroundingMetonymizationc, InvestigationSetupc, Synecdochec, Undertakingc
is in range of
changesReferentInMetonymizationop, isNewReferentInMetonymizationop, isOldReferentInMetonymizationop

ModalIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ModalIRI

Modal IRI, i.e., the IRI of a relation that is defined by (absolute or qualified) necessity or possibility of another relation
has super-classes
RelationalIRIc
has sub-classes
AbsoluteModalIRIc, QualifiedModalIRIc
is in range of
hasNecessityModeop, hasPossibilityModeop

Modellingc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Modelling

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)
has super-classes
Interpretationc
inverse isModelledInop some Objectc
inverse isModellingInputInop some Objectc
inverse isModellingOutputInop some Objectc
is in range of
isModelledInop, isModellingInputInop, isModellingOutputInop

Namec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Name

Name, i.e., a lexeme that acts as a rigid designator due to social convention
has super-classes
Lexemec
isNameForop some Objectc
has sub-classes
MaterialIdentifierc, UniqueIdentifierc
is in domain of
isNameForop

NegativeKnowledgeClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#NegativeKnowledgeClaim

Negative knowledge claim (NKC), i.e., a knowledge claim that expresses what we don't know, a gap or limitation of our knowledge
has super-classes
KnowledgeClaimc

Numberc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Number

Number, i.e., a lexeme that is numerical in nature, such as the collective containing realizations of 'two', '2', and '2.0'
has super-classes
Lexemec
is in domain of
isMagnitudeOfop

Objectc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Object

Object (PIMS-II top class) = cognizable entity
is equivalent to
isProperPartOfop some Objectc
has super-classes
hasProperPartop some Objectc
isSpatiotemporallyDisconnectedFromop some Objectc
temporallyPrecedesop some Objectc
inverse temporallyPrecedesop some Objectc
has sub-classes
Agentc, Collectivec, Itemc

Observationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Observation

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
has super-classes
Perceptionc
PurposefulActionc
inverse isObservationInputInop some Objectc
inverse isObservationOutcomeInop some Objectc
inverse isObservedInop some Objectc
has sub-classes
Examinationc, Measurementc
is in range of
isObservationInputInop, isObservationOutcomeInop, isObservedInop

Optimizationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Optimization

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
has super-classes
Interpretationc
inverse isObjectInOptimizationop some Objectc
inverse isOptimizationOutputInop some Objectc
inverse isOptimizationProblemInop some OptimizationProblemc
is in range of
isMaximizationObjectiveInop, isMaximizationObjectiveInop, isObjectInOptimizationop, isOptimizationOutputInop, isOptimizationProblemInop

OptimizationProblemc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#OptimizationProblem

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)
is equivalent to
inverse isDesignParameterWithinop some Conventionalc
inverse isOptimizationObjectiveWithinop some Conventionalc
has super-classes
Intentionc
is in domain of
isOptimizationProblemInop
is in range of
isDesignParameterWithinop, isOptimizationObjectiveWithinop

OwnClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#OwnClaim

Own claim, i.e., a claim that is asserted by a self reference (i.e., a/the present interlocutor)
is equivalent to
isAssertedByop some ReferenceToSelfc
has super-classes
Claimc

PartToWholec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#PartToWhole

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)
has super-classes
Synecdochec
inverse changesReferentInPartToWholeop some Objectc
inverse isNewReferentInPartToWholeop some Objectc
inverse isOldReferentInPartToWholeop some Objectc
is in range of
changesReferentInPartToWholeop, isNewReferentInPartToWholeop, isOldReferentInPartToWholeop

Perceptionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Perception

Perception, i.e., a semiosis in which the referent is a participant (as a perceived object) and therefore needs to be physically present
has super-classes
Semiosisc
inverse isInterpretantInPerceptionop some Objectc
inverse isPerceivedInop some Objectc
inverse isSignInPerceptionop some Objectc
has sub-classes
Observationc, Planningc, Steeringc
is in range of
isInterpretantInPerceptionop, isPerceivedInop, isSignInPerceptionop

Personc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Person

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
has super-classes
Interlocutorc
inverse isNameForop some Namec

Planningc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Planning

Planning, i.e., a reflection ex ante or predetermination, carried out by analysing the perceived present situation in advance of potentially undertaking an action
has super-classes
Perceptionc
Telesisc
inverse isResolutionInPlanningop some Objectc
inverse isSituationInPlanningop some Objectc
inverse isTelosInPlanningop some Objectc
is in range of
isResolutionInPlanningop, isSituationInPlanningop, isTelosInPlanningop

Pluralityc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Plurality

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
is equivalent to
inverse isMemberOfPluralityop some Objectc
has super-classes
SemioticCollectivec
inverse isMemberOfPluralityop min 2
has sub-classes
TopicalSumc
is in range of
isMemberOfPluralityop

Presuppositionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Presupposition

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
is equivalent to
inverse isGroundForop some BasicGroundc
has super-classes
GroundedCognitionc

Processc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Process

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
is equivalent to
inverse isParticipantInop some Objectc
has super-classes
Itemc
has sub-classes
Actionc, Cognitionc
is in domain of
directlyPrecedesStepop, isInitialStepInop, isStepInop, isTerminalStepInop, precedesStepop
is in range of
directlyPrecedesStepop, isInitialStepInop, isParticipantInop, isProperParticipantInop, isStepInop, isTerminalStepInop, precedesStepop

ProofBasedValidityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ProofBasedValidityClaim

Proof-based validity claim (PVC), i.e., a validity claim obtained by formal verification, i.e., by deductive logical and mathematical reasoning
has super-classes
ValidityClaimc
is disjoint with
ReproducibilityClaimc, TestBasedValidityClaimc

Propertyc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Property

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)
has super-classes
Variablec
is in domain of
isPerformanceMeasureOfop, isTargetPropertyInop

PropertyClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ModelPropertyClaim

Model property claim (MPC), i.e., a PC concerning a property of a model
has super-classes
PropertyClaimc
has sub-classes
AbstractModelPropertyClaimc, ConcretePropertyClaimc

PropertyClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#PhysicalPropertyClaim

Physical property claim (PPC), i.e., a PC concerning a property of a physical system
has super-classes
PropertyClaimc
has sub-classes
ConcretePropertyClaimc

PropertyClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#PropertyClaim

Property claim (PC), i.e., a knowledge claim concerning a property
has super-classes
KnowledgeClaimc
has sub-classes
PropertyClaimc, PropertyClaimc
is disjoint with
ConceptualKnowledgeClaimc

Propositionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Proposition

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
is equivalent to
inverse articulatesop some Articulationc
has super-classes
SemioticCollectivec
inverse articulatesLiterallyop some CollectiveLiteralc
inverse isSemioticMemberOfop only Articulationc
isAboutop min 1
has sub-classes
Claimc, Groundc, Intentionc, Rulec, Topicalc
is in domain of
isAccumulationConditionInop, isAntecedentWithinop, isConsequentWithinop, isSelectionConditionInop
is in range of
articulatesop, articulatesLiterallyop, articulatesNonliterallyop

ProvenanceConsciousReproducibilityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ProvenanceConsciousReproducibilityClaim

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
has super-classes
ReproducibilityClaimc
has sub-classes
EPRCc, PTRCc

PTRCc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#PTRC

PTRC, i.e., a provenance-conscious team-change reproducibility claim
is equivalent to
ProvenanceConsciousReproducibilityClaimc and TeamChangeReproducibilityClaimc
has super-classes
ProvenanceConsciousReproducibilityClaimc
TeamChangeReproducibilityClaimc
has sub-classes
EPTRCc

PurposefulActionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#PurposefulAction

Purposeful action, i.e., an action carried out with an aim of which its agent (hence, a goal-directed agent) is aware
has super-classes
Actionc
inverse isAimInop some Intentionc
inverse isAgentInop only GoalDirectedAgentc
has sub-classes
CognitiveWorkflowc, ExpressiveActc, Observationc, Simulationc

QualifiedLawc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#QualifiedLaw

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
is equivalent to
inverse isContextWithinLawop some ContextualIRIc
has super-classes
Lawc
has sub-classes
ReproducibilityClaimc
is in range of
isContextWithinLawop

QualifiedModalIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#QualifiedModalIRI

Qualified modal IRI, i.e., the IRI of a relation that is defined by qualified necessity or possibility of another relation
is equivalent to
inverse isContextOfRelationop some ContextualIRIc
has super-classes
ModalIRIc
is in range of
hasQualifiedNecessityModeop, hasQualifiedPossibilityModeop, isContextOfRelationop

QuantityValuec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#QuantityValue

Quantity value, i.e., a value that has a numerical magnitude and a physical unit
is equivalent to
(inverse isMagnitudeOfop some Numberc) and (inverse isUnitOfop some MeasurementUnitc)
has super-classes
Valuec

Queryc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Query

Query, i.e., a digital articulation of a question
is equivalent to
DigitalArticulationc and (articulatesop some Questionc)
has super-classes
DigitalArticulationc

Questionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Question

Question, i.e., a topical proposition the semantics/pragmatics of which are of interrogative character
has super-classes
Topicalc
has sub-classes
ResearchQuestionc

RationalAgentc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#RationalAgent

A rational agent is an intelligent agent that exhibits rationality, i.e., a tendency toward maximizing a quantity: The performance measure of the agent.
is equivalent to
inverse isPerformanceMeasureOfop some Propertyc
has super-classes
IntelligentAgentc
inverse isGoalOfop some OptimizationProblemc
is in range of
isPerformanceMeasureOfop

ReferenceToSelfc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ReferenceToSelf

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
has super-classes
Interlocutorc

RelationalIRIc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#RelationalIRI

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
has super-classes
IRIc
has sub-classes
ModalIRIc
is in domain of
hasAbsoluteNecessityModeop, hasAbsolutePossibilityModeop, hasNecessityModeop, hasNegationop, hasPossibilityModeop, hasQualifiedNecessityModeop, hasQualifiedPossibilityModeop, isPredicateWithinTripleop
is in range of
hasNegationop
is disjoint with
ConceptualIRIc, ContextualIRIc, IndividualIRIc

ReproducibilityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ReproducibilityClaim

Reproducibility claim (RC), i.e., a validity claim obtained as an outcome of a reproduction attempt/reproducibility study
has super-classes
QualifiedLawc
ValidityClaimc
has sub-classes
ExactAgreementReproducibilityClaimc, ProvenanceConsciousReproducibilityClaimc, TeamChangeReproducibilityClaimc
is disjoint with
ProofBasedValidityClaimc, TestBasedValidityClaimc

ResearchQuestionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ResearchQuestion

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
has super-classes
Questionc

Rulec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Rule

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)
has super-classes
Propositionc
inverse articulatesop some Dyadc
inverse isAntecedentWithinop some Propositionc
inverse isConsequentWithinop some Propositionc
inverse isOrthodataWithinop some DigitalArticulationc
has sub-classes
Lawc
is in range of
isAntecedentWithinop, isConsequentWithinop, isOrthodataWithinop, isParadataWithinop

Selectionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Selection

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)
has super-classes
InformationProcessingc
inverse isObjectInSelectionop some Objectc
inverse isSelectionInputInop some Objectc
inverse isSelectionOutputInop some Objectc
is in range of
isObjectInSelectionop, isSelectionConditionInop, isSelectionInputInop, isSelectionOutputInop

SemanticChangec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#SemanticChange

Semantic change, i.e., a triadic cognition by which a representamen is assigned a new referent
has super-classes
TriadicCognitionc
inverse changesReferentInop some Objectc
inverse isNewReferentInop some Objectc
inverse isOldReferentInop some Objectc
has sub-classes
Metonymizationc
is in range of
changesReferentInop, isNewReferentInop, isOldReferentInop

Semiosisc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Semiosis

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)
has super-classes
TriadicCognitionc
inverse isInterpretantInop some Objectc
inverse isObjectInop some Objectc
inverse isSignInop some Objectc
has sub-classes
Interpretationc, Perceptionc, Telesisc
is in range of
isInterpretantInop, isObjectInop, isSignInop

SemioticCollectivec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#SemioticCollective

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
is equivalent to
isRepresentationalElementInop some CognitiveStepc
inverse isSemioticMemberOfop some Itemc
has super-classes
Collectivec
inverse isSemioticMemberOfop min 2
has sub-classes
Articulationc, Pluralityc, Propositionc, Structurec
is in range of
isSemioticMemberOfop

Simulationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Simulation

Simulation, i.e., a purposefully conducted numerical interpretation of simulation input (model, etc.), where the interpretant is the simulation result
has super-classes
Interpretationc
PurposefulActionc
inverse isSimulatedInop some Objectc
inverse isSimulationInputInop some Objectc
inverse isSimulationOutputInop some Objectc
is in range of
isSimulatedInop, isSimulationInputInop, isSimulationOutputInop

SimulationWorkflowc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#SimulationWorkflow

simulation workflow, i.e., a cognitive workflow in which simulation plays a major role
has super-classes
CognitiveWorkflowc
inverse isStepInCognitiveChainop some Simulationc

Steeringc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Steering

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
has super-classes
Perceptionc
Telesisc
inverse isActionInSteeringop some Objectc
inverse isResolutionInSteeringop some Objectc
inverse isTelosInSteeringop some Objectc
is in range of
isActionInSteeringop, isResolutionInSteeringop, isTelosInSteeringop

Structurec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Structure

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
is equivalent to
inverse isMemberOfStructureop some Objectc
has super-classes
SemioticCollectivec
inverse isMemberOfStructureop min 2
is in range of
isMemberOfStructureop

Synecdochec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Synecdoche

Synecdoche, i.e., a metonymization where a sign is reassigned to a part of its old referent (WholeToPart) or vice versa (PartToWhole)
has super-classes
Metonymizationc
inverse changesReferentInSynecdocheop some Objectc
inverse isNewReferentInSynecdocheop some Objectc
inverse isOldReferentInSynecdocheop some Objectc
has sub-classes
PartToWholec, WholeToPartc
is in range of
changesReferentInSynecdocheop, isNewReferentInSynecdocheop, isOldReferentInSynecdocheop

TeamChangeReproducibilityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#TeamChangeReproducibilityClaim

Team-change reproducibility claim (TRC), i.e., a reproducibility claim obtained as an outcome of a reproducibility study conducted by an independent team
has super-classes
ReproducibilityClaimc
has sub-classes
ETRCc, PTRCc

Telesisc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Telesis

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
has super-classes
CognitiveActionc
Semiosisc
inverse isObjectInTelesisop some Objectc
inverse isResolutionInTelesisop some Objectc
inverse isTelosInop some Objectc
has sub-classes
Evaluationc, Planningc, Steeringc
is in range of
isObjectInTelesisop, isResolutionInTelesisop, isTelosInop

Termc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Term

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
is equivalent to
inverse isAdmissibleValueForop some Valuec
has super-classes
Conventionalc
has sub-classes
Valuec, Variablec
is in domain of
isLeftHandSideInop, isRightHandSideInop
is in range of
isAdmissibleValueForop

TestBasedValidityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#TestBasedValidityClaim

Test-based validity claim (TVC), i.e., a validity claim obtained from validation or testing
has super-classes
ValidityClaimc
is disjoint with
ProofBasedValidityClaimc, ReproducibilityClaimc

Topicalc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Topical

Topical proposition, i.e., something that can be understood as stating the topic of something
has super-classes
Propositionc
has sub-classes
Questionc, TopicalProductc
is in domain of
isTopicalSummandInop

TopicalProductc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#TopicalProduct

Topical product, i.e., a topical proposition with multiple topical factors
is equivalent to
inverse isTopicalFactorInop some Topicalc or TopicalSumc
has super-classes
Topicalc
is in range of
isTopicalFactorInop

TopicalSumc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#TopicalSum

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
is equivalent to
inverse isTopicalSummandInop some Topicalc
has super-classes
Pluralityc
is in range of
isTopicalSummandInop

TriadicCognitionc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#TriadicCognition

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
has super-classes
CognitiveActionc
CognitiveStepc
inverse isFirstElementInop some Objectc
inverse isGroundForop some Groundc
inverse isSecondElementInop some Objectc
inverse isThirdElementInop some Objectc
has sub-classes
GroundingStepc, SemanticChangec, Semiosisc
is in domain of
isTriadOfop
is in range of
isFirstElementInop, isSecondElementInop, isThirdElementInop

Triplec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Triple

Triple, i.e., a subject-predicate-object triple (connected by relations to the IRIs of the subject, predicate, and object)
has super-classes
DataItemc
inverse isObjectWithinTripleop some IRIc
inverse isPredicateWithinTripleop some IRIc
inverse isSubjectWithinTripleop some IRIc
is in range of
isObjectWithinTripleop, isPredicateWithinTripleop, isSubjectWithinTripleop

Undertakingc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Undertaking

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
has super-classes
Metonymizationc
inverse directlyGroundsop some Telesisc
inverse isActionInUndertakingop some Objectc
inverse isResolutionInUndertakingop some Objectc
inverse isSituationInUndertakingop some Objectc
is in range of
isActionInUndertakingop, isResolutionInUndertakingop, isSituationInUndertakingop

UniqueIdentifierc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#UniqueIdentifier

Unique identifier, i.e., a rigid designator that is applied to exactly one object
has super-classes
Namec
has sub-classes
IndividualIRIc

Validationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Validation

Validation, i.e., an evaluation of a cognition yielding a validity claim as its interpretant
has super-classes
Evaluationc
inverse Validationop some Intentionc
inverse isEvaluatedInop some CognitiveActionc
inverse isValidationOutcomeInop some ValidityClaimc
is in range of
Validationop, isEvaluatedInop, isValidationOutcomeInop

ValidityClaimc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#ValidityClaim

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
is equivalent to
isValidationOutcomeInop some Validationc
has super-classes
Claimc
isAboutop some Claimc
has sub-classes
ProofBasedValidityClaimc, ReproducibilityClaimc, TestBasedValidityClaimc
is in domain of
isValidationOutcomeInop
is disjoint with
KnowledgeClaimc

Valuec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Value

Value, i.e., an articulation that is by social convention understood to be potentially assignable to a variable
has super-classes
Termc
isAdmissibleValueForop some Variablec
has sub-classes
QuantityValuec
is in domain of
isAdmissibleValueForop, isValueInAssignmentop
is in range of
isMagnitudeOfop, isUnitOfop

Variablec back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Variable

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
has super-classes
Termc
has sub-classes
Propertyc
is in domain of
isVariableInAssignmentop
is in range of
isAdmissibleUnitForop

Visualizationc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#Visualization

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
has super-classes
Interpretationc
inverse isVisualizationInputInop some Objectc
inverse isVisualizationOutputInop some Objectc
inverse isVisualizedObjectInop some Objectc
is in range of
isVisualizationInputInop, isVisualizationOutputInop, isVisualizedObjectInop

WholeToPartc back to ToC or Class ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#WholeToPart

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)
has super-classes
Synecdochec
inverse changesReferentInWholeToPartop some Objectc
inverse isNewReferentInWholeToPartop some Objectc
inverse isOldReferentInWholeToPartop some Objectc
is in range of
changesReferentInWholeToPartop, isNewReferentInWholeToPartop, isOldReferentInWholeToPartop

Object Properties

affirmsCognitionop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#affirmsCognition

(x affirmsCognition y) means that x is about the cognition y, affirming its validity
has super-properties
isAboutop
has sub-properties
providesJustificationop
has range
Cognitionc
has sub-property chains
providesJustificationop o isJustificationForop

articulatesop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#articulates

(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
has super-properties
isSemioticMemberOfop
has sub-properties
articulatesLiterallyop, articulatesNonliterallyop
has domain
Articulationc
has range
Propositionc

articulatesLiterallyop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#articulatesLiterally

(x articulatesLiterally y) means that x is a collective literal expressing the proposition y, and possibly additional propositions beside y
has super-properties
articulatesop
has domain
CollectiveLiteralc
has range
Propositionc

articulatesNonliterallyop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#articulatesNonliterally

(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
has super-properties
articulatesop
has domain
Articulationc
not (CollectiveLiteralc)
has range
Propositionc

changesReferentInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#changesReferentIn

(x changesReferentIn y) == y is a semantic change where x acts as the representamen, i.e., the second element
has super-properties
isRepresentamenInop
isSecondElementInop
has sub-properties
changesReferentInMetonymizationop
has range
SemanticChangec

changesReferentInMetonymizationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#changesReferentInMetonymization

(x changesReferentInMetonymization y) == y is a metonymization where x acts as the representamen, i.e., the second element
has super-properties
changesReferentInop
has sub-properties
changesReferentInSynecdocheop, isGroundingPropositionInop, isResolutionInUndertakingop, isSignInInvestigationop
has range
Metonymizationc

changesReferentInPartToWholeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#changesReferentInPartToWhole

(x changesReferentInPartToWhole y) == y is a part-to-whole synecdoche where x acts as the representamen, i.e., the second element
has super-properties
changesReferentInSynecdocheop
has range
PartToWholec

changesReferentInSynecdocheop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#changesReferentInSynecdoche

(x changesReferentInSynecdoche y) == y is a synecdoche where x acts as the representamen, i.e., the second element
has super-properties
changesReferentInMetonymizationop
has sub-properties
changesReferentInPartToWholeop, changesReferentInWholeToPartop
has range
Synecdochec

changesReferentInWholeToPartop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#changesReferentInWholeToPart

(x changesReferentInWholeToPart y) == y is a whole-to-part synecdoche where x acts as the representamen, i.e., the second element
has super-properties
changesReferentInSynecdocheop
has range
WholeToPartc

describesMethodAppliedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#describesMethodAppliedIn

(x describesMethodAppliedIn y) means that x describes y in terms of the method that is employed
has super-properties
isRepresentamenForop
has domain
Articulationc
describesMethodEmployedByop some Agentc
has range
Actionc

describesMethodEmployedByop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#describesMethodEmployedBy

(x describesMethodEmployedBy y) means that the agent y follows a methodology described by x in carrying out an action
has super-properties
msIRHPIPop
has domain
Articulationc
isRepresentamenForop some Objectc
has range
Agentc
has sub-property chains
describesMethodAppliedInop o

directlyGroundsop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#directlyGrounds

(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)
has super-properties
directlyPrecedesCognitiveStepop
logicallyPrecedesop
has domain
Presuppositionc or TriadicCognitionc
has range
CognitiveStepc
has sub-property chains
isGroundingStepInop o

directlyPrecedesByRuptureop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#directlyPrecedesByRupture

(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
has super-properties
directlyPrecedesCognitiveStepop
has domain
CognitiveStepc
has range
CognitiveStepc

directlyPrecedesCognitiveStepop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#directlyPrecedesCognitiveStep

(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
has super-properties
directlyPrecedesStepop
has sub-properties
directlyGroundsop, directlyPrecedesByRuptureop

directlyPrecedesStepop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#directlyPrecedesStep

(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
has super-properties
hasDirectCausalConnectionWithop
precedesStepop
has sub-properties
directlyPrecedesCognitiveStepop
has domain
Processc
has range
Processc

doesNotOverlapWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#doesNotOverlapWith

(x doesNotOverlapWith y) is the negation of (x overlapsWith y); i.e., the spatiotemporal intersection of x and y is empty

has characteristics : symmetric

has super-properties
isMereosemioticallyRelatedToop
has sub-properties
doesNotTemporallyOverlapWithop, isSpatiotemporallyDisconnectedFromop

doesNotTemporallyOverlapWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#doesNotTemporallyOverlapWith

(x doesNotTemporallyOverlapWith y) is the negation of (x temporallyOverlapsWith y); i.e., there is no temporal overlap between x and y

has characteristics : symmetric

has super-properties
doesNotOverlapWithop
has sub-properties
temporallyPrecedesop

firstop back to ToC or Object Property ToC

IRI: http://www.w3.org/1999/02/22-rdf-syntax-ns#first

relates a rdf:List to its first element
has domain
listc

groundsNextStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#groundsNextStepIn

(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
has super-properties
isGroundForop
isInterpretantInInterpretationop
has domain
Groundc
has range
GroundingInterpretationc

groundsPresentStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#groundsPresentStepIn

(x groundsPresentStepIn y) == y is a grounding interpretation where x is the first element, i.e., a ground for the considered cognitive step
has super-properties
isSignInInterpretationop
has domain
Groundc
has range
GroundingInterpretationc

hasAbsoluteNecessityModeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasAbsoluteNecessityMode

(x hasAbsoluteNecessityMode y) means that x is a relational IRI and y is an absolute modal IRI for 'necessarily x'
has super-properties
hasNecessityModeop
has domain
RelationalIRIc
has range
AbsoluteModalIRIc

hasAbsolutePossibilityModeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasAbsolutePossibilityMode

(x hasAbsolutePossibilityMode y) means that x is a relational IRI and y is an absolute modal IRI for 'possibly x'
has super-properties
hasPossibilityModeop
has domain
RelationalIRIc
has range
AbsoluteModalIRIc

hasCausalConnectionWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasCausalConnectionWith

'Real causal connection' relation following Peirce, here, given by the transitive closure of 'hasDirectCausalConnectionWith'

has characteristics : reflexive, symmetric, transitive

has super-properties
isMereosemioticallyRelatedToop
has sub-properties
hasDirectCausalConnectionWithop, precedesStepop, underliesop
has sub-property chains
isNewReferentInMetonymizationop o
isOldReferentInMetonymizationop o

hasDirectCausalConnectionWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasDirectCausalConnectionWith

Direct causal connection (in a broad sense)

has characteristics : reflexive, symmetric

has super-properties
hasCausalConnectionWithop
has sub-properties
directlyPrecedesStepop, isConstitutiveOfop, isParticipantInop

hasImproperPartop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasImproperPart

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

has characteristics : reflexive, transitive

has super-properties
overlapsWithop
has sub-properties
hasProperPartop
is inverse of
isImproperPartOfop

hasNecessityModeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasNecessityMode

(x hasNecessityMode y) means that x is a relational IRI and y is a modal IRI for 'necessarily x'
has super-properties
isSemioticallyConstitutiveOfop
has sub-properties
hasAbsoluteNecessityModeop, hasQualifiedNecessityModeop
has domain
RelationalIRIc
has range
ModalIRIc

hasNegationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasNegation

(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
has super-properties
isSemioticallyConstitutiveOfop
has domain
RelationalIRIc
has range
RelationalIRIc

hasPossibilityModeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasPossibilityMode

(x hasPossibilityMode y) means that x is a relational IRI and y is a modal IRI for 'possibly x'
has super-properties
isSemioticallyConstitutiveOfop
has sub-properties
hasAbsolutePossibilityModeop, hasQualifiedPossibilityModeop
has domain
RelationalIRIc
has range
ModalIRIc

hasProperPartop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasProperPart

(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

has characteristics : transitive

has super-properties
hasImproperPartop
is inverse of
isProperPartOfop

hasQualifiedNecessityModeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasQualifiedNecessityMode

(x hasQualifiedNecessityMode y) means that x is a relational IRI and y is a qualified modal IRI for 'necessarily x'
has super-properties
hasNecessityModeop
has domain
RelationalIRIc
has range
QualifiedModalIRIc

hasQualifiedPossibilityModeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasQualifiedPossibilityMode

(x hasQualifiedPossibilityMode y) means that x is a relational IRI and y is a qualified modal IRI for 'possibly x'
has super-properties
hasPossibilityModeop
has domain
RelationalIRIc
has range
QualifiedModalIRIc

hasRepresentamenop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasRepresentamen

Dyadic representation relation; (x hasRepresentamen y) means that there is a cognitive step z such that (x isReferentIn z) and (y isRepresentamenIn z)
has super-properties
msHPIPHRop
msHRHPIPop
msHRIRHRop
is inverse of
isRepresentamenForop
has sub-property chains
isReferentInop o

hasSubjectMatterop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#hasSubjectMatter

(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

has characteristics : functional

has super-properties
isAboutop
has range
Topicalc or TopicalSumc

isAboutop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAbout

(x isAbout y) means that x is a proposition and y is the object that x is related to by aboutness
has super-properties
isRepresentamenForop
has sub-properties
affirmsCognitionop, hasSubjectMatterop, isAssignmentForop, isGroundForop
has domain
Articulationc or Propositionc

isAccumulationConditionInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAccumulationConditionIn

(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
has super-properties
isRepresentamenForop
has domain
Propositionc
has range
Accumulationc

isAccumulationInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAccumulationInputIn

(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
has super-properties
isInformationProcessingInputInop
has range
Accumulationc

isAccumulationOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAccumulationOutputIn

(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
has super-properties
isInformationProcessingOutputInop
has range
Accumulationc

isActionInSteeringop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isActionInSteering

(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
has super-properties
isObjectInTelesisop
isPerceivedInop
has domain
Actionc
has range
Steeringc

isActionInUndertakingop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isActionInUndertaking

(x isActionInUndertaking y) == y is an undertaking where x is the action that is undertaken, i.e., the third element
has super-properties
isNewReferentInMetonymizationop
has domain
Actionc
has range
Undertakingc

isAdmissibleUnitForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAdmissibleUnitFor

(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)
has super-properties
msHPIPIRop
has domain
MeasurementUnitc
has range
Variablec

isAdmissibleValueForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAdmissibleValueFor

(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
has super-properties
msIPIRIRop
has domain
Valuec
has range
Termc

isAgentInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAgentIn

(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)
has super-properties
isParticipantInop
has sub-properties
isInterpreterInop, isSpeakerInop
has domain
Agentc
has range
Actionc

isAimInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAimIn

(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
has super-properties
isRepresentamenForop
has sub-properties
isOptimizationProblemInop
has domain
Intentionc
isGoalForop some GoalDirectedAgentc
has range
Actionc
has sub-property chains
isResolutionInUndertakingop o
isTelosInSteeringop o

isAntecedentWithinop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAntecedentWithin

(x isAntecedentWithin y) means that x is the antecedent from the rule y
has super-properties
isSemioticallyConstitutiveOfop
has domain
Propositionc
has range
Rulec

isAssertedByop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAssertedBy

(x isAssertedBy y) means that x is a claim that is affirmatively expressed/stated/uttered by the interlocutor y
has super-properties
isExpressedByop
has sub-properties
isHeldByop
has domain
Claimc
has range
Interlocutorc
has sub-property chains
isAssertedInop o

isAssertedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAssertedIn

(x isAssertedIn y) means that x is a claim that is affirmatively expressed/stated/uttered in the expressive act y (by its speaker)
has super-properties
isExpressedInop
has domain
Claimc
has range
ExpressiveActc

isAssessmentForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAssessmentFor

(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
has super-properties
isGroundForop
has domain
Assessmentc
has range
CognitiveStepc

isAssignmentForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isAssignmentFor

(d isAssignmentFor o) means that d: x = y is an assignment that refers to o
has super-properties
isAboutop
has domain
Assignmentc

isCausallyDisconnectedFromop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isCausallyDisconnectedFrom

(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)

has characteristics : symmetric

has super-properties
isMereosemioticallyRelatedToop

isClaimOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isClaimOf

(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
has super-properties
overlapsWithop
has domain
Claimc
has range
IntelligentAgentc

isCognitiveSubstepOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isCognitiveSubstepOf

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
has super-properties
isStepInCognitiveChainop
has domain
CognitiveStepc
has range
CognitiveChainc
CognitiveStepc

isConsequentWithinop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isConsequentWithin

(x isConsequentWithin y) means that x is a consequent from the rule y
has super-properties
isSemioticallyConstitutiveOfop
has domain
Propositionc
has range
Rulec

isConstitutiveOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isConstitutiveOf

(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
has super-properties
hasDirectCausalConnectionWithop
overlapsWithop
underliesop
has sub-properties
isMemberOfop, isMereologicallyConstitutiveOfop, isSemioticallyConstitutiveOfop
has sub-property chains
isAccumulationInputInop o
isIncludedInAccumulationop o
isSelectionOutputInop o

isContextOfRelationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isContextOfRelation

(x isContextOfRelation y) means that x is an IRI for the modal context of qualified possibility/necessity in the relative modal IRI y
has super-properties
isSemioticallyConstitutiveOfop
has domain
ContextualIRIc
has range
QualifiedModalIRIc

isContextWithinLawop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isContextWithinLaw

(x isContextWithinLaw y) means that x is an IRI for the modal context of relatively necessary implication in the relative law y
has super-properties
isSemioticallyConstitutiveOfop
has domain
ContextualIRIc
has range
QualifiedLawc

isDesignParameterWithinop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isDesignParameterWithin

(x isDesignParameterWithin y) == x is one of the parameters that make up the design space considered in the optimization problem y
has super-properties
isSemioticallyConstitutiveOfop
has domain
Conventionalc
has range
OptimizationProblemc

isDuplicateInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isDuplicateIn

(x isDuplicateIn y) == y is a duplication step where x is the output (duplicate), i.e., the third element
has super-properties
isInformationProcessingOutputInop
has range
Duplicationc

isEvaluatedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isEvaluatedIn

(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
has super-properties
isObjectInInterpretationop
isObjectInTelesisop
temporallyPrecedesop
has sub-properties
isEvaluatedInop
has domain
Actionc
has range
Evaluationc

isEvaluatedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isValidatedIn

(x isValidatedIn y) means that y is a validation where x is the cognitive action undergoing validation, i.e., the second element
has super-properties
isEvaluatedInop
has domain
CognitiveActionc
has range
Validationc

isEvaluationOutcomeInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isEvaluationOutcomeIn

(x isEvaluationOutcomeIn y) == y is a an evaluation (reflection ex post) where x is the resolution (evaluation outcome), i.e., the third element
has super-properties
isInterpretantInInterpretationop
isResolutionInTelesisop
has sub-properties
isValidationOutcomeInop
has range
Evaluationc

isEvaluatorInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isEvaluatorIn

(x isEvaluatorIn y) means that y is an evaluation and x is the interpreter in it
has super-properties
isInterpreterInop
has domain
GoalDirectedAgentc
Interlocutorc
has range
Evaluationc

isExaminationOutcomeInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isExaminationOutcomeIn

(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.)
has super-properties
isObservationOutcomeInop
has range
Examinationc

isExaminedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isExaminedIn

(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
has super-properties
isObservedInop
has range
Examinationc

isExpressedByop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isExpressedBy

(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)
has super-properties
overlapsWithop
has sub-properties
isAssertedByop
has range
Interlocutorc
has sub-property chains
isExpressedInop o

isExpressedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isExpressedIn

(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
has super-properties
isParticipantInCognitionop
has sub-properties
isAssertedInop
has range
ExpressiveActc

isFirstElementInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isFirstElementIn

(x isFirstElementIn y) means that x acts as the first element in y, which is a triadic cognition
has super-properties
isRepresentationalElementInop
has sub-properties
isOldReferentInop, isSignInop
has range
TriadicCognitionc
has sub-property chains
o

isFirstInDyadop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isFirstInDyad

(x isFirstInDyad d) means that x is the first element of the dyad d
has super-properties
isSemioticallyConstitutiveOfop
has sub-properties
isLeftHandSideInop
has domain
Conventionalc
has range
Dyadc

isFusionOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isFusionOf

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)
has super-properties
isRelatedToListop
has range
listc

isGoalForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isGoalFor

(x isGoalFor y) means that to the goal-directed agent y, the telos x represents something that is to be reached.
has super-properties
isGoalOfop
overlapsWithop
has domain
Intentionc
has range
GoalDirectedAgentc
has sub-property chains
isAimInop o
isResolutionInUndertakingop o
isTelosInSteeringop o

isGoalOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isGoalOf

(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'
has super-properties
isRepresentamenForop
has sub-properties
isGoalForop
has domain
Intentionc
has range
GoalOrientedAgentc

isGroundedStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isGroundedStepIn

(x isGroundedStepIn y) == y is a grounding step where x is the grounded step, i.e., the third element
has super-properties
isNewReferentInMetonymizationop
has domain
CognitiveStepc
has range
GroundingMetonymizationc

isGroundForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isGroundFor

(g isGroundFor y) means that g is a representamen for the cognitive step y, explaining how y is grounded
has super-properties
isAboutop
has sub-properties
groundsNextStepInop, isAssessmentForop, isGroundingPropositionInop
has domain
Groundc
has range
CognitiveStepc
has sub-property chains
groundsPresentStepInop o
isGroundingPropositionInop o

isGroundingPropositionInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isGroundingPropositionIn

(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
has super-properties
changesReferentInMetonymizationop
isGroundForop
has domain
Groundc
has range
GroundingMetonymizationc

isGroundingStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isGroundingStepIn

(x isGroundingStepIn y) == y is a grounding step where x is the grounding step, i.e., the first element
has super-properties
isOldReferentInMetonymizationop
has domain
CognitiveStepc
has range
GroundingMetonymizationc

isHeldByop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isHeldBy

(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
has super-properties
isAssertedByop
has domain
Claimc
has range
KnowledgeBasec

isImproperPartOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isImproperPartOf

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

has characteristics : reflexive, transitive

has super-properties
overlapsWithop
has sub-properties
isProperPartOfop
is inverse of
hasImproperPartop
has sub-property chains
o

isIncludedInAccumulationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isIncludedInAccumulation

(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)
has super-properties
isParticipantInop
has range
Accumulationc

isInformationProcessingInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInformationProcessingInputIn

(x isInformationProcessingInputIn y) == y is an information-processing step where x is the input, i.e., the first element
has super-properties
isSignInInterpretationop
has sub-properties
isAccumulationInputInop, isOriginalInop, isSelectionInputInop
has range
InformationProcessingc

isInformationProcessingOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInformationProcessingOutputIn

(x isInformationProcessingOutputIn y) == y is an information-processing step where x is the output, i.e., the third element
has super-properties
isInterpretantInInterpretationop
has sub-properties
isAccumulationOutputInop, isDuplicateInop, isSelectionOutputInop
has range
InformationProcessingc

isInitialStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInitialStepIn

(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
has super-properties
isStepInop
has domain
Processc
has range
Processc

isInterlocutorInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInterlocutorIn

(x isInterlocutorIn y) means that x engages, jointly with other interlocutors, in the communication y
has super-properties
isParticipantInop
has sub-properties
isListenerInop, isSpeakerInop
has domain
Interlocutorc
has range
Communicationc

isInterpretantInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInterpretantIn

(x isInterpretantIn y) == y is a semiosis where x acts as the interpretant, i.e., the third element
has super-properties
isRepresentamenInop
isThirdElementInop
has sub-properties
isInterpretantInInterpretationop, isInterpretantInPerceptionop, isResolutionInTelesisop
has range
Semiosisc

isInterpretantInInterpretationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInterpretantInInterpretation

(x isInterpretantInInterpretation y) == y is an interpretation where x acts as the interpretant, i.e., the third element
has super-properties
isInterpretantInop
has sub-properties
groundsNextStepInop, isEvaluationOutcomeInop, isInformationProcessingOutputInop, isModellingOutputInop, isOptimizationOutputInop, isSimulationOutputInop, isVisualizationOutputInop
has range
Interpretationc

isInterpretantInPerceptionop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInterpretantInPerception

(x isInterpretantInPerception y) == y is a perception where x acts as the interpretant, i.e., the third element
has super-properties
isInterpretantInop
has sub-properties
isObservationOutcomeInop, isResolutionInPlanningop, isResolutionInSteeringop
has range
Perceptionc

isInterpreterInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isInterpreterIn

(x isInterpreterIn y) means that x is the (unique) agent who conducts/undertakes the cognitive action y
has super-properties
isAgentInop
isParticipantInCognitionop
has sub-properties
isEvaluatorInop
has domain
Agentc
has range
CognitiveActionc

isJustificationForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isJustificationFor

(x isJustificationFor y) means that x is a grounding chain that provides epsitemic grounding for the cognition y, which thereby becomes a grounded cognition
has super-properties
isRepresentamenForop
has domain
GroundingChainc
has range
GroundedCognitionc

isLeftHandSideInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isLeftHandSideIn

(x isLeftHandSideIn a) mans that a: x = y is an equality articulation with the term x as its left-hand side
has super-properties
isFirstInDyadop
has sub-properties
isVariableInAssignmentop
has domain
Termc
has range
EqualityArticulationc

isLegisignInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isLegisignIn

(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
has super-properties
isObservationInputInop
has range
Examinationc

isListenerInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isListenerIn

(x isListenerIn y) means that x is one of the interlocutors listening to the speaker's expressive act y
has super-properties
isInterlocutorInop
has domain
Interlocutorc
has range
ExpressiveActc

isMagnitudeOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMagnitudeOf

(x isMagnitudeOf y) means that x is the numerical magnitude of y, e.g., in 200 kPa, x would be 200
has super-properties
isSemioticallyConstitutiveOfop
has domain
Numberc
has range
Valuec

isMaximizationObjectiveInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMaximizationObjectiveIn

(x isMaximizationObjectiveIn y) == x is a maximization objective/criterion considered in the optimization problem y
has super-properties
isOptimizationObjectiveWithinop
has domain
Conventionalc
has range
Optimizationc

isMaximizationObjectiveInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMinimizationObjectiveIn

(x isMaximizationObjectiveIn y) == x is a maximization objective/criterion considered in the optimization problem y
has super-properties
isOptimizationObjectiveWithinop
has domain
Conventionalc
has range
Optimizationc

isMeasuredObjectInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMeasuredObjectIn

(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
has super-properties
isObservedInop
has range
Measurementc

isMeasurementInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMeasurementInputIn

(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
has super-properties
isObservationInputInop
has range
Measurementc

isMeasurementOutcomeInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMeasurementOutcomeIn

(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)
has super-properties
isObservationOutcomeInop
has range
Measurementc

isMemberOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMemberOf

membership relation, i.e., relation between an item/member and a collective
has super-properties
isConstitutiveOfop
isProperPartOfop
has sub-properties
isMereotopologicalMemberOfop, isSemioticMemberOfop
has range
Collectivec

isMemberOfPluralityop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMemberOfPlurality

(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
has super-properties
isSemioticMemberOfop
has sub-properties
isTopicalSummandInop
has domain
not (Pluralityc or Structurec)
has range
Pluralityc

isMemberOfStructureop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMemberOfStructure

(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
has super-properties
isSemioticMemberOfop
has domain
not (Structurec)
has range
Structurec

isMereologicallyConstitutiveOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMereologicallyConstitutiveOf

(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
has super-properties
isConstitutiveOfop
isProperPartOfop
has sub-properties
isMereotopologicalMemberOfop

isMereosemioticallyRelatedToop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMereosemioticallyRelatedTo

Top mereosemiotic relation: Direct or indirect connection through mereotopological and semiotic relations

has characteristics : reflexive, symmetric, transitive

has sub-properties
doesNotOverlapWithop, hasCausalConnectionWithop, isCausallyDisconnectedFromop, isRepresentationalElementInop, isTemporallyConnectedWithop, msHPHRHPIPop, msHPIPHRop, msHPIPHRHPop, msHPIPHRHRop, msHPIPHRIPop, msHPIPHRIRop, msHPIPIRop, msHPIPIRHPop, msHPIPIRHRop, msHPIPIRIPop, msHPIPIRIRop, msHPIRHPIPop, msHRHPIPop, msHRHPIPHRop, msHRHPIPIRop, msHRHRHPIPop, msHRHRHRop, msHRHRIRop, msHRIRHPIPop, msHRIRHRop, msHRIRHRop, msHRIRIRop, msIPHRHPIPop, msIPIRHPIPop, msIRHPIPop, msIRHPIPHRop, msIRHPIPIRop, msIRHRHPIPop, msIRHRHRop, msIRIRHPIPop, msIRIRHRop, msIRIRIRop

isMereotopologicalMemberOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isMereotopologicalMemberOf

(x isMereotopologicalMemberOf y) means that x is one out of several mereotopologically connected components of y
has super-properties
isMemberOfop
isMereologicallyConstitutiveOfop
has domain
Itemc
has range
MereotopologicalCollectivec

isModelledInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isModelledIn

(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
has super-properties
isObjectInInterpretationop
has range
Modellingc

isModellingInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isModellingInputIn

(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
has super-properties
isSignInInterpretationop
has range
Modellingc

isModellingOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isModellingOutputIn

(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
has super-properties
isInterpretantInInterpretationop
has range
Modellingc

isNameForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isNameFor

(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
has super-properties
isRepresentamenForop
has domain
Namec

isNewReferentInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isNewReferentIn

(x isNewReferentIn y) == y is a semantic change where x acts as the new referent, i.e., the third element
has super-properties
isReferentInop
isThirdElementInop
has sub-properties
isNewReferentInMetonymizationop
has range
SemanticChangec

isNewReferentInMetonymizationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isNewReferentInMetonymization

(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
has super-properties
isNewReferentInop
has sub-properties
isActionInUndertakingop, isGroundedStepInop, isNewReferentInSynecdocheop, isObjectOfInvestigationInop
has range
Metonymizationc

isNewReferentInPartToWholeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isNewReferentInPartToWhole

(x isNewReferentInPartToWhole y) == y is a part-to-whole synecdoche where x acts as the new referent (the whole), i.e., the third element
has super-properties
isNewReferentInSynecdocheop
has range
PartToWholec

isNewReferentInSynecdocheop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isNewReferentInSynecdoche

(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)
has super-properties
isNewReferentInMetonymizationop
has sub-properties
isNewReferentInPartToWholeop, isNewReferentInWholeToPartop
has range
Synecdochec

isNewReferentInWholeToPartop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isNewReferentInWholeToPart

(x isNewReferentInWholeToPart y) == y is a whole-to-part synecdoche where x acts as the new referent (the part), i.e., the third element
has super-properties
isNewReferentInSynecdocheop
has range
WholeToPartc

isObjectInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectIn

(x isObjectIn y) == y is a semiosis where x acts as the object, i.e., the second element
has super-properties
isReferentInop
isSecondElementInop
has sub-properties
isObjectInInterpretationop, isObjectInTelesisop, isPerceivedInop
has range
Semiosisc

isObjectInAccumulationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInAccumulation

(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
has super-properties
isObjectInInformationProcessingop
has range
Accumulationc

isObjectInDuplicationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInDuplication

(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
has super-properties
isObjectInInformationProcessingop
has range
Duplicationc

isObjectInInformationProcessingop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInInformationProcessing

(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
has super-properties
isObjectInInterpretationop
has sub-properties
isObjectInAccumulationop, isObjectInDuplicationop, isObjectInSelectionop
has range
InformationProcessingc

isObjectInInterpretationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInInterpretation

(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
has super-properties
isObjectInop
has sub-properties
isEvaluatedInop, isModelledInop, isObjectInInformationProcessingop, isObjectInOptimizationop, isPresentStepInGroundingop, isSimulatedInop, isVisualizedObjectInop
has range
Interpretationc

isObjectInOptimizationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInOptimization

(x isObjectInOptimization y) == y is an optimization where x is that which the optimization is ultimately about, i.e., the second element
has super-properties
isObjectInInterpretationop
has range
Optimizationc

isObjectInSelectionop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInSelection

(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
has super-properties
isObjectInInformationProcessingop
has range
Selectionc

isObjectInTelesisop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectInTelesis

(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
has super-properties
isObjectInop
has sub-properties
isActionInSteeringop, isEvaluatedInop, isSituationInPlanningop
has range
Telesisc

isObjectOfApplicationInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectOfApplicationIn

(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
has super-properties
isOldReferentInMetonymizationop
has range
InvestigationSetupc

isObjectOfInvestigationInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectOfInvestigationIn

(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
has super-properties
isNewReferentInMetonymizationop
has range
InvestigationSetupc

isObjectWithinTripleop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObjectWithinTriple

(x isObjectWithinTriple y) means that y is a subject-predicate-object triple wherein x is the IRI of the object
has super-properties
isSemioticallyConstitutiveOfop
has domain
ConceptualIRIc or IndividualIRIc
has range
Triplec

isObservationInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObservationInputIn

(x isObservationInputIn y) == y is an observation where x designates input and/or advance knowledge relevant to the observation, i.e., the first element
has super-properties
isSignInPerceptionop
has sub-properties
isLegisignInop, isMeasurementInputInop
has range
Observationc

isObservationOutcomeInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObservationOutcomeIn

(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
has super-properties
isInterpretantInPerceptionop
has sub-properties
isExaminationOutcomeInop, isMeasurementOutcomeInop
has range
Observationc

isObservedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isObservedIn

(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
has super-properties
isPerceivedInop
has sub-properties
isExaminedInop, isMeasuredObjectInop
has range
Observationc

isOldReferentInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOldReferentIn

(x isOldReferentIn y) == y is a semantic change where x acts as the old referent, i.e., the first element
has super-properties
isFirstElementInop
isReferentInop
has sub-properties
isOldReferentInMetonymizationop
has range
SemanticChangec

isOldReferentInMetonymizationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOldReferentInMetonymization

(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
has super-properties
isOldReferentInop
has sub-properties
isGroundingStepInop, isObjectOfApplicationInop, isOldReferentInSynecdocheop, isSituationInUndertakingop
has range
Metonymizationc

isOldReferentInPartToWholeop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOldReferentInPartToWhole

(x isOldReferentInPartToWhole y) == y is a part-to-whole synecdoche where x acts as the old referent (the part), i.e., the first element
has super-properties
isOldReferentInSynecdocheop
has range
PartToWholec

isOldReferentInSynecdocheop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOldReferentInSynecdoche

(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)
has super-properties
isOldReferentInMetonymizationop
has sub-properties
isOldReferentInPartToWholeop, isOldReferentInWholeToPartop
has range
Synecdochec

isOldReferentInWholeToPartop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOldReferentInWholeToPart

(x isOldReferentInWholeToPart y) == y is a whole-to-part synecdoche where x acts as the old referent (the whole), i.e., the first element
has super-properties
isOldReferentInSynecdocheop
has range
WholeToPartc

isOptimizationObjectiveWithinop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOptimizationObjectiveWithin

(x isOptimizationObjectiveWithin y) == x is one of the optimization criteria that make up the objective space considered in the optimization problem y
has super-properties
isSemioticallyConstitutiveOfop
has sub-properties
isMaximizationObjectiveInop, isMaximizationObjectiveInop
has domain
Conventionalc
has range
OptimizationProblemc

isOptimizationOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOptimizationOutputIn

(x isOptimizationOutputIn y) == y is an optimization where x is the optimization output, i.e., the third element
has super-properties
isInterpretantInInterpretationop
has range
Optimizationc

isOptimizationProblemInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOptimizationProblemIn

(x isOptimizationProblemIn y) == y is an optimization where x is the optimization problem, i.e., the first element.
has super-properties
isAimInop
isSignInInterpretationop
has domain
OptimizationProblemc
has range
Optimizationc

isOriginalInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOriginalIn

(x isOriginalIn y) == y is a duplication step where x is the input (original version), i.e., the first element
has super-properties
isInformationProcessingInputInop
has range
Duplicationc

isOrthodataWithinop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isOrthodataWithin

(x isOrthodataWithin y) means that x articulates a substantial aspect of either the antecedent or the consequent side of the rule y
has super-properties
isSemioticallyConstitutiveOfop
has domain
DigitalArticulationc
has range
Rulec

isParadataWithinop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isParadataWithin

(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
has super-properties
isSemioticallyConstitutiveOfop
has domain
DigitalArticulationc
has range
Rulec

isParticipantInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isParticipantIn

(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
has super-properties
hasDirectCausalConnectionWithop
overlapsWithop
has sub-properties
isAgentInop, isIncludedInAccumulationop, isInterlocutorInop, isParticipantInCognitionop, isProperParticipantInop, isToolInop
has range
Processc

isParticipantInCognitionop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isParticipantInCognition

(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
has super-properties
isParticipantInop
has sub-properties
isExpressedInop, isInterpreterInop, isPerceivedInop, isRepresentamenInop, isResultOfop, isStepInCognitiveChainop
has range
Cognitionc

isPerceivedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isPerceivedIn

(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
has super-properties
isObjectInop
isParticipantInCognitionop
has sub-properties
isActionInSteeringop, isObservedInop, isSituationInPlanningop
has range
Perceptionc

isPerformanceMeasureOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isPerformanceMeasureOf

(x isPerformanceMeasureOf y) means that x is the single/unique performance measure of the rational agent y.
has super-properties
isRepresentamenForop
has domain
Propertyc
has range
RationalAgentc

isPredicateWithinTripleop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isPredicateWithinTriple

(x isPredicateWithinTriple y) means that y is a subject-predicate-object triple wherein x is the IRI of the predicate
has super-properties
isSemioticallyConstitutiveOfop
has domain
RelationalIRIc
has range
Triplec

isPresentStepInGroundingop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isPresentStepInGrounding

(x isPresentStepInGrounding y) == y is a grounding interpretation where x is the second element, i.e., the considered cognitive step
has super-properties
isObjectInInterpretationop
has domain
CognitiveStepc
has range
GroundingInterpretationc

isProperParticipantInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isProperParticipantIn

(x isProperParticipantIn y) is the conjunction of (x isProperPartOf y) and (x isParticipantIn y)
has super-properties
isParticipantInop
isProperPartOfop
has sub-properties
isStepInop
has range
Processc

isProperPartOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isProperPartOf

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

has characteristics : transitive

has super-properties
isImproperPartOfop
isTemporallyIncludedInop
has sub-properties
isMemberOfop, isMereologicallyConstitutiveOfop, isProperParticipantInop
is inverse of
hasProperPartop
has sub-property chains
o o o
isNewReferentInWholeToPartop o
isOldReferentInPartToWholeop o
o o

isReferenceFrameForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isReferenceFrameFor

(s isReferenceFrameFor s') means that s is a representamen that provides relevant context, such as presuppositions or preconditions, to the representamen s'
has super-properties
sharesReferentWithop

isReferentInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isReferentIn

(x isReferentIn y) == x occurs in the cognitive step y in the function of the/a referent of a representamen
has super-properties
isRepresentationalElementInop
has sub-properties
isNewReferentInop, isObjectInop, isOldReferentInop
has range
CognitiveStepc

isRelatedToListop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isRelatedToList

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
has sub-properties
isFusionOfop, isTriadOfop
has range
listc

isRepresentamenForop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isRepresentamenFor

Dyadic representation relation; (x isRepresentamenFor y) means that there is a cognitive step z such that (x isRepresentamenIn z) and (y isReferentIn z)
has super-properties
msHPIPIRop
msIRHPIPop
msHRIRHRop
has sub-properties
describesMethodAppliedInop, isAboutop, isAccumulationConditionInop, isAimInop, isGoalOfop, isJustificationForop, isNameForop, isPerformanceMeasureOfop, isSelectionConditionInop, isTargetPropertyInop
is inverse of
hasRepresentamenop
has sub-property chains
groundsNextStepInop o
isGroundingPropositionInop o
isIncludedInAccumulationop o
isRepresentamenInop o

isRepresentamenInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isRepresentamenIn

(x isRepresentamenIn y) == x participates in the cognitive step y in the role of the/a representamen
has super-properties
isParticipantInCognitionop
isRepresentationalElementInop
has sub-properties
changesReferentInop, isInterpretantInop, isSignInop
has range
CognitiveStepc

isRepresentationalElementInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isRepresentationalElementIn

(x isRepresentationalElementIn y) == x acts as a representamen or referent in the cognitive step y
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
isFirstElementInop, isReferentInop, isRepresentamenInop, isSecondElementInop, isThirdElementInop
has range
CognitiveStepc

isResolutionInPlanningop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isResolutionInPlanning

(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
has super-properties
isInterpretantInPerceptionop
isResolutionInTelesisop
has range
Planningc

isResolutionInSteeringop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isResolutionInSteering

(x isResolutionInSteering y) == y is a steering operation (reflection in actu) where x is the resolution, i.e., the third element
has super-properties
isInterpretantInPerceptionop
isResolutionInTelesisop
has range
Steeringc

isResolutionInTelesisop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isResolutionInTelesis

(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
has super-properties
isInterpretantInop
has sub-properties
isEvaluationOutcomeInop, isResolutionInPlanningop, isResolutionInSteeringop
has domain
Intentionc
has range
Telesisc

isResolutionInUndertakingop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isResolutionInUndertaking

(x isResolutionInUndertaking y) == y is an undertaking where x is the resolution (obtained from a previous telesis), i.e., the second element
has super-properties
changesReferentInMetonymizationop
has domain
Intentionc
has range
Undertakingc

isResultOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isResultOf

(x isResultOf y) if x is an outcome/result of the cognitive process y
has super-properties
isParticipantInCognitionop
has domain
isInterpretantInop some Interpretationc
has range
Cognitionc

isRightHandSideInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isRightHandSideIn

(y isRightHandSideIn a) mans that a: x = y is an equality articulation with the term y as its right-hand side
has super-properties
isSecondInDyadop
has sub-properties
isValueInAssignmentop
has domain
Termc
has range
EqualityArticulationc

isSecondElementInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSecondElementIn

(x isSecondElementIn y) means that x acts as the second element in y, which is a triadic cognition
has super-properties
isRepresentationalElementInop
has sub-properties
changesReferentInop, isObjectInop
has range
TriadicCognitionc
has sub-property chains
o o

isSecondInDyadop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSecondInDyad

(y isSecondInDyad d) means that y is the second element of the dyad d
has super-properties
isSemioticallyConstitutiveOfop
has sub-properties
isRightHandSideInop
has domain
Conventionalc
has range
Dyadc

isSelectionConditionInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSelectionConditionIn

(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
has super-properties
isRepresentamenForop
has domain
Propositionc
has range
Selectionc

isSelectionInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSelectionInputIn

(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
has super-properties
isInformationProcessingInputInop
has range
Selectionc

isSelectionOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSelectionOutputIn

(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
has super-properties
isInformationProcessingOutputInop
has range
Selectionc

isSemioticallyConstitutiveOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSemioticallyConstitutiveOf

(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
has super-properties
isConstitutiveOfop
has sub-properties
hasNecessityModeop, hasNegationop, hasPossibilityModeop, isAntecedentWithinop, isConsequentWithinop, isContextOfRelationop, isContextWithinLawop, isDesignParameterWithinop, isFirstInDyadop, isMagnitudeOfop, isObjectWithinTripleop, isOptimizationObjectiveWithinop, isOrthodataWithinop, isParadataWithinop, isPredicateWithinTripleop, isSecondInDyadop, isSemioticMemberOfop, isSubjectWithinTripleop, isTopicalFactorInop, isUnitOfop
has range
isRepresentamenForop some Objectc

isSemioticMemberOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSemioticMemberOf

(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
has super-properties
isMemberOfop
isSemioticallyConstitutiveOfop
has sub-properties
articulatesop, isMemberOfPluralityop, isMemberOfStructureop, realizesop
has domain
not (Pluralityc)
has range
SemioticCollectivec

isSignInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSignIn

(x isSignIn y) == y is a semiosis where x acts as the sign, i.e., the first element
has super-properties
isFirstElementInop
isRepresentamenInop
has sub-properties
isSignInInterpretationop, isSignInPerceptionop, isTelosInop
has range
Semiosisc

isSignInInterpretationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSignInInterpretation

(x isSignInInterpretation y) == y is an interpretation where x acts as the sign, i.e., the first element
has super-properties
isSignInop
has sub-properties
groundsPresentStepInop, isInformationProcessingInputInop, isModellingInputInop, isOptimizationProblemInop, isSimulationInputInop, isTelosInEvaluationop, isVisualizationInputInop
has range
Interpretationc

isSignInInvestigationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSignInInvestigation

(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)
has super-properties
changesReferentInMetonymizationop
has range
InvestigationSetupc

isSignInPerceptionop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSignInPerception

(x isSignInPerception y) == y is a perception where x acts as the sign, i.e., the first element
has super-properties
isSignInop
has sub-properties
isObservationInputInop, isTelosInPlanningop, isTelosInSteeringop
has range
Perceptionc

isSimulatedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSimulatedIn

(x isSimulatedIn y) == y is a simulation where x acts as the simulated object (system, substance, process, or similar), i.e., the second element
has super-properties
isObjectInInterpretationop
has range
Simulationc

isSimulationInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSimulationInputIn

(x isSimulationInputIn y) == y is a simulation where x is the simulation input (model, etc.), i.e., the first element
has super-properties
isSignInInterpretationop
has range
Simulationc

isSimulationOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSimulationOutputIn

(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
has super-properties
isInterpretantInInterpretationop
has range
Simulationc

isSituationInPlanningop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSituationInPlanning

(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
has super-properties
isObjectInTelesisop
isPerceivedInop
has range
Planningc

isSituationInUndertakingop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSituationInUndertaking

(x isSituationInUndertaking y) == y is an undertaking wherein x is the pre-existing situation, i.e., the first element
has super-properties
isOldReferentInMetonymizationop
has range
Undertakingc

isSpatiotemporallyConnectedWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSpatiotemporallyConnectedWith

(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)

has characteristics : reflexive, symmetric

has super-properties
isTemporallyConnectedWithop
has sub-properties
overlapsWithop
has sub-property chains
hasImproperPartop o isSpatiotemporallyConnectedWithop

isSpatiotemporallyDisconnectedFromop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSpatiotemporallyDisconnectedFrom

(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)

has characteristics : symmetric

has super-properties
doesNotOverlapWithop

isSpeakerInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSpeakerIn

(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
has super-properties
isAgentInop
isInterlocutorInop
has domain
Interlocutorc
has range
ExpressiveActc

isStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isStepIn

(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.)
has super-properties
isProperParticipantInop
has sub-properties
isInitialStepInop, isStepInCognitiveChainop, isTerminalStepInop
has domain
Processc
has range
Processc
inverse isInitialStepInop some Processc
inverse isTerminalStepInop some Processc

isStepInCognitiveChainop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isStepInCognitiveChain

(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
has super-properties
isParticipantInCognitionop
isStepInop
has sub-properties
isCognitiveSubstepOfop
has domain
CognitiveChainc
CognitiveStepc

isSubjectWithinTripleop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isSubjectWithinTriple

(x isSubjectWithinTriple y) means that y is a subject-predicate-object triple wherein x is the IRI of the subject
has super-properties
isSemioticallyConstitutiveOfop
has domain
IndividualIRIc
has range
Triplec

isTargetPropertyInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTargetPropertyIn

(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
has super-properties
isRepresentamenForop
has domain
Propertyc
has range
CognitiveActionc

isTelosInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTelosIn

(x isTelosIn y) == y is a telesis where x acts as the telos (initial guiding objective), i.e., the first element
has super-properties
isSignInop
has sub-properties
isTelosInEvaluationop, isTelosInPlanningop, isTelosInSteeringop
has domain
Intentionc
has range
Telesisc

isTelosInEvaluationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTelosInEvaluation

(x isTelosInEvaluation y) == y is an evaluation (reflection ex post) where x acts as the telos (initial guiding objective), i.e., the first element
has super-properties
isSignInInterpretationop
isTelosInop
has sub-properties
Validationop
has range
Evaluationc

isTelosInPlanningop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTelosInPlanning

(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
has super-properties
isSignInPerceptionop
isTelosInop
has range
Planningc

isTelosInSteeringop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTelosInSteering

(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
has super-properties
isSignInPerceptionop
isTelosInop
has range
Steeringc

isTemporallyConnectedWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTemporallyConnectedWith

(x isTemporallyConnectedWith y) means that there is a point in time where both x and y exist

has characteristics : reflexive, symmetric

has super-properties
isMereosemioticallyRelatedToop
has sub-properties
isSpatiotemporallyConnectedWithop, temporallyOverlapsWithop
has sub-property chains
isSpatiotemporallyConnectedWithop o temporallyCoextendsWithop
temporallyCoextendsWithop o isSpatiotemporallyConnectedWithop

isTemporallyIncludedInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTemporallyIncludedIn

(x isTemporallyIncludedIn y) means that the temporal extension of x is a proper part of the temporal extension of y

has characteristics : transitive

has super-properties
temporallyOverlapsWithop
has sub-properties
isProperPartOfop
has sub-property chains
isProperPartOfop o temporallyCoextendsWithop
temporallyCoextendsWithop o isProperPartOfop

isTerminalStepInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTerminalStepIn

(x isTerminalStepIn y) means that y is a step in x (i.e., a subprocess of x) that does not precede any other step
has super-properties
isStepInop
has domain
Processc
has range
Processc

isThirdElementInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isThirdElementIn

(x isThirdElementIn y) means that x acts as the third element in y, which is a triadic cognition
has super-properties
isRepresentationalElementInop
has sub-properties
isInterpretantInop, isNewReferentInop
has range
TriadicCognitionc
has sub-property chains
o o o

isToolInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isToolIn

(x isToolIn y) means that x is employed by an agent during the action y
has super-properties
isParticipantInop
has range
Actionc

isTopicalFactorInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTopicalFactorIn

(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
has super-properties
isSemioticallyConstitutiveOfop
has domain
Topicalc or TopicalSumc
has range
TopicalProductc

isTopicalSummandInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTopicalSummandIn

(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
has super-properties
isMemberOfPluralityop
has domain
Topicalc
has range
TopicalSumc

isTriadOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTriadOf

'x isTriadOf (e1 e2 e3)' is a shorthand for 'e1 isFirstElementIn x; e2 isSecondElementIn x; e3 isThirdElementIn x'
has super-properties
isRelatedToListop
has domain
TriadicCognitionc
has range
listc

isUnitOfop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isUnitOf

(x isUnitOf y) means that x is the unit of y, e.g., in 200 kPa, x would be kPa
has super-properties
isSemioticallyConstitutiveOfop
has domain
MeasurementUnitc
has range
Valuec

isValidationOutcomeInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isValidationOutcomeIn

(x isValidationOutcomeIn y) means that x is the validity claim, i.e., the third element, obtained as an interpretant from the validation y
has super-properties
isEvaluationOutcomeInop
has domain
ValidityClaimc
has range
Validationc

isValueInAssignmentop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isValueInAssignment

(y isValueInAssignment a) mans that a: x = y is an assignment where the value y is assigned to a variable x
has super-properties
isRightHandSideInop
has domain
Valuec
has range
Assignmentc

isVariableInAssignmentop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isVariableInAssignment

(x isVariableInAssignment a) mans that a: x = y is an assignment where a value y is assigned to the variable x
has super-properties
isLeftHandSideInop
has domain
Variablec
has range
Assignmentc

isVisualizationInputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isVisualizationInputIn

(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
has super-properties
isSignInInterpretationop
has range
Visualizationc

isVisualizationOutputInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isVisualizationOutputIn

(x isVisualizationOutputIn y) == y is a visualization where x is the visualization output, i.e., the third element
has super-properties
isInterpretantInInterpretationop
has range
Visualizationc

isVisualizedObjectInop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isVisualizedObjectIn

(x isVisualizedObjectIn y) == y is a visualization process wherein x is the visualized object, i.e., the second element
has super-properties
isObjectInInterpretationop
has range
Visualizationc

logicallyPrecedesop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#logicallyPrecedes

(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

has characteristics : transitive

has super-properties
precedesStepop
has sub-properties
directlyGroundsop
has domain
Cognitionc
has range
Cognitionc

msHPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPHR

(X msHPHR Z) == hasProperPart o hasRepresentamen == there is a Y such that (Y isProperPartOf X) and (Z isRepresentamenFor Y)
has super-properties
msHPHRHPIPop
msHPIPHRop
is inverse of
msIRIPop
has sub-property chains
hasProperPartop o hasRepresentamenop

msHPHRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPHRHP

chain relation msHPHR o hasProperPart
has super-properties
msHPHRHPIPop
msHPIPHRHPop
is inverse of
msIPIRIPop
has sub-property chains
msHPHRop o hasProperPartop

msHPHRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPHRHPIP

chain relation msHPHR o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPHRop, msHPHRHPop, msHPHRIPop
is inverse of
msHPIPIRIPop
has sub-property chains
msHPHRop o overlapsWithop

msHPHRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPHRHR

chain relation msHPHR o hasRepresentamen
has super-properties
msHPIPHRHRop
is inverse of
msIRIRIPop
has sub-property chains
msHPHRop o hasRepresentamenop

msHPHRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPHRIP

chain relation msHPHR o hasProperPart
has super-properties
msHPHRHPIPop
msHPIPHRIPop
is inverse of
msHPIRIPop
has sub-property chains
msHPHRop o isProperPartOfop

msHPHRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPHRIR

chain relation hasProperPart o sharesRepresentamenWith
has super-properties
msHPIPHRIRop
is inverse of
msHRIRIPop
has sub-property chains
hasProperPartop o sharesRepresentamenWithop
msHPHRop o isRepresentamenForop

msHPIPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPHR

(X msHPIPHR Z) == hasProperPart o isProperPartOf o hasRepresentamen == there is a Y such that (X overlapsWith Y) and (Z isRepresentamenFor Y)
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
hasRepresentamenop, msHPHRop, msIPHRop
is inverse of
msIRHPIPop
has sub-property chains
overlapsWithop o hasRepresentamenop

msHPIPHRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPHRHP

chain relation overlapsWith o msHRHP
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPHRHPop, msHRHPop, msIPHRHPop
is inverse of
msIPIRHPIPop
has sub-property chains
overlapsWithop o msHRHPop

msHPIPHRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPHRHR

chain relation overlapsWith o msHRHR
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPHRHRop, msHRHRop, msIPHRHRop
is inverse of
msIRIRHPIPop
has sub-property chains
overlapsWithop o msHRHRop

msHPIPHRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPHRIP

chain relation overlapsWith o msHRIP
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPHRIPop, msHRIPop, msIPHRIPop
is inverse of
msHPIRHPIPop
has sub-property chains
overlapsWithop o msHRIPop

msHPIPHRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPHRIR

chain relation overlapsWith o sharesRepresentamenWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPHRIRop, msIPHRIRop, sharesRepresentamenWithop
is inverse of
msHRIRHPIPop
has sub-property chains
overlapsWithop o sharesRepresentamenWithop

msHPIPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPIR

(X msHPIPIR Z) == hasProperPart o isProperPartOf o isRepresentamenFor == there is a Y such that (X overlapsWith Y) and (Y isRepresentamenFor Z)
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
isAdmissibleUnitForop, isRepresentamenForop, msHPIRop, msIPIRop
is inverse of
msHRHPIPop
has sub-property chains
overlapsWithop o isRepresentamenForop

msHPIPIRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPIRHP

chain relation overlapsWith o msIRHP
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIPIRHPop, msIPIRHPop, msIRHPop
is inverse of
msIPHRHPIPop
has sub-property chains
overlapsWithop o msIRHPop

msHPIPIRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPIRHR

chain relation overlapsWith o sharesReferentWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPIRHRop, msIPIRHRop, sharesReferentWithop
is inverse of
msIRHRHPIPop
has sub-property chains
overlapsWithop o sharesReferentWithop

msHPIPIRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPIRIP

chain relation overlapsWith o msIRIP
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPIRIPop, msIPIRIPop, msIRIPop
is inverse of
msHPHRHPIPop
has sub-property chains
overlapsWithop o msIRIPop

msHPIPIRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIPIRIR

chain relation overlapsWith o msIRIR
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPIRIRop, msIPIRIRop, msIRIRop
is inverse of
msHRHRHPIPop
has sub-property chains
overlapsWithop o msIRIRop

msHPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIR

(X msHPIR Z) == hasProperPart o isRepresentamenFor == there is a Y such that (Y isProperPartOf X) and (Y is RepresentamenFor Z)
has super-properties
msHPIPIRop
msHPIRHPIPop
is inverse of
msHRIPop
has sub-property chains
hasProperPartop o isRepresentamenForop

msHPIRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIRHPIP

chain relation msHPIR o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHPIRop, msHPIRIPop, msIPIRHPop
is inverse of
msHPIPHRIPop
has sub-property chains
msHPIRop o overlapsWithop

msHPIRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIRHR

chain relation hasProperPart o sharesReferentWith
has super-properties
msHPIPIRHRop
is inverse of
msIRHRIPop
has sub-property chains
hasProperPartop o sharesReferentWithop
msHPIRop o hasRepresentamenop

msHPIRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIRIP

chain relation msHPIR o isProperPartOf
has super-properties
msHPIPIRIPop
msHPIRHPIPop
is inverse of
msHPHRIPop
has sub-property chains
msHPIRop o isProperPartOfop

msHPIRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIRIR

chain relation msHPIR o isRepresentamenFor
has super-properties
msHPIPIRIRop
is inverse of
msHRHRIPop
has sub-property chains
msHPIRop o isRepresentamenForop

msHRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHP

(X msHRHP Z) == hasRepresentamen o hasProperPart == there is a Y such that (Y isRepresentamenFor X) and (Z isProperPartOf Y)
has super-properties
msHPIPHRHPop
msHRHPIPop
is inverse of
msIPIRop
has sub-property chains
hasRepresentamenop o hasProperPartop

msHRHPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHPHR

chain relation msHRHP o hasRepresentamen
has super-properties
msHRHPIPHRop
is inverse of
msIRIPIRop
has sub-property chains
msHRHPop o hasRepresentamenop

msHRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHPIP

(X msHRHPIP Z) == hasRepresentamen o hasProperPart o isProperPartOf == there is a Y such that (Y isRepresentamenFor X) and (Y overlapsWith Z)
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
hasRepresentamenop, msHRHPop, msHRIPop
is inverse of
msHPIPIRop
has sub-property chains
hasRepresentamenop o overlapsWithop
msHRHPop o isProperPartOfop

msHRHPIPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHPIPHR

chain relation msHRHP o msIPHR
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHRHPHRop, msHRIPHRop
is inverse of
msIRHPIPIRop
has sub-property chains
hasRepresentamenop o overlapsWithop o hasRepresentamenop
msHRHPop o msIPHRop

msHRHPIPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHPIPIR

chain relation msHRHP o msIPIR

has characteristics : symmetric

has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHRHPIRop, msHRIPIRop
has sub-property chains
hasRepresentamenop o overlapsWithop o isRepresentamenForop
msHRHPop o msIPIRop

msHRHPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHPIR

chain relation msHRHP o isRepresentamenFor
has super-properties
msHRHPIPIRop
is inverse of
msHRIPIRop
has sub-property chains
msHRHPop o isRepresentamenForop

msHRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHR

(X msHRHR Z) == (hasRepresentamen)^2 == there is a Y such that (Y isRepresentamenFor X) and (Z isRepresentamenFor Y)
has super-properties
msHPIPHRHRop
msHRHRHPIPop
is inverse of
msIRIRop
has sub-property chains
hasRepresentamenop o hasRepresentamenop

msHRHRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHRHP

chain relation msHRHR o hasProperPart
has super-properties
msHRHRHPIPop
is inverse of
msIPIRIRop
has sub-property chains
msHRHRop o hasProperPartop

msHRHRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHRHPIP

chain relation msHRHR o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHRHRop, msHRHRHPop, msHRHRIPop
is inverse of
msHPIPIRIRop
has sub-property chains
msHRHRop o overlapsWithop

msHRHRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHRHR

chain relation msHRHR o hasRepresentamen
has super-properties
isMereosemioticallyRelatedToop
is inverse of
msIRIRIRop
has sub-property chains
msHRHRop o hasRepresentamenop

msHRHRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHRIP

chain relation msHRHR o isProperPartOf
has super-properties
msHRHRHPIPop
is inverse of
msHPIRIRop
has sub-property chains
msHRHRop o isProperPartOfop

msHRHRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRHRIR

chain relation hasRepresentamen o sharesRepresentamenWith
has super-properties
isMereosemioticallyRelatedToop
is inverse of
msHRIRIRop
has sub-property chains
hasRepresentamenop o sharesRepresentamenWithop
msHRHRop o isRepresentamenForop

msHRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIP

(X msHRIP Z) == hasRepresentamen o isProperPartOf == there is a Y such that (Y isRepresentamenFor X) and (Y isProperPartOf Z)
has super-properties
msHPIPHRIPop
msHRHPIPop
is inverse of
msHPIRop
has sub-property chains
hasRepresentamenop o isProperPartOfop

msHRIPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIPHR

chain relation msHRIP o hasRepresentamen
has super-properties
msHRHPIPHRop
is inverse of
msIRHPIRop
has sub-property chains
msHRIPop o hasRepresentamenop

msHRIPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIPIR

chain relation msHRIP o isRepresentamenFor
has super-properties
msHRHPIPIRop
is inverse of
msHRHPIRop
has sub-property chains
msHRIPop o isRepresentamenForop

msHRIRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIRHP

chain relation sharesRepresentamenWith o hasProperPart
has super-properties
msHRIRHPIPop
is inverse of
msIPHRIRop
has sub-property chains
sharesRepresentamenWithop o hasProperPartop

msHRIRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIRHPIP

chain relation sharesRepresentamenWith o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msHRIRHPop, msHRIRIPop, sharesRepresentamenWithop
is inverse of
msHPIPHRIRop
has sub-property chains
sharesRepresentamenWithop o overlapsWithop

msHRIRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIRHR

chain relation hasRepresentamen o sharesReferentWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
hasRepresentamenop
is inverse of
msHRIRHRop
has sub-property chains
hasRepresentamenop o sharesReferentWithop
sharesRepresentamenWithop o hasRepresentamenop

msHRIRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHRIR

chain relation sharesReferentWith o isRepresentamenFor
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
isRepresentamenForop
is inverse of
msHRIRHRop
has sub-property chains
isRepresentamenForop o sharesRepresentamenWithop
sharesReferentWithop o isRepresentamenForop

msHRIRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIRIP

chain relation sharesRepresentamenWith o isProperPartOf
has super-properties
msHRIRHPIPop
is inverse of
msHPHRIRop
has sub-property chains
sharesRepresentamenWithop o isProperPartOfop

msHRIRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHRIRIR

chain relation sharesRepresentamenWith o isRepresentamenFor
has super-properties
isMereosemioticallyRelatedToop
is inverse of
msHRHRIRop
has sub-property chains
sharesRepresentamenWithop o isRepresentamenForop

msIPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPHR

(X msIPHR Z) == isProperPartOf o hasRepresentamen == there is a Y such that (X isProperPartOf Y) and (Z isRepresentamenFor Y)
has super-properties
msHPIPHRop
msIPHRHPIPop
is inverse of
msIRHPop
has sub-property chains
isProperPartOfop o hasRepresentamenop

msIPHRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPHRHP

chain relation msIPHR o hasProperPart
has super-properties
msHPIPHRHPop
msIPHRHPIPop
is inverse of
msIPIRHPop
has sub-property chains
msIPHRop o hasProperPartop

msIPHRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPHRHPIP

chain relation msIPHR o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIPHRop, msIPHRHPop, msIPHRIPop
is inverse of
msHPIPIRHPop
has sub-property chains
msIPHRop o overlapsWithop

msIPHRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPHRHR

chain relation msIPHR o hasRepresentamen
has super-properties
msHPIPHRHRop
is inverse of
msIRIRHPop
has sub-property chains
msIPHRop o hasRepresentamenop

msIPHRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPHRIP

chain relation msIPHR o isProperPartOf
has super-properties
msHPIPHRIPop
msIPHRHPIPop
is inverse of
msIPIRHPop
has sub-property chains
msIPHRop o isProperPartOfop

msIPHRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPHRIR

chain relation isProperPartOf o sharesRepresentamenWith
has super-properties
msHPIPHRIRop
is inverse of
msHRIRHPop
has sub-property chains
isProperPartOfop o sharesRepresentamenWithop
msIPHRop o isRepresentamenForop

msIPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPIR

(X msIP Z) == isProperPartOf o isRepresentamenFor == there is a Y such that (X isProperPartOf Y) and (Y isRepresentamenFor Z)
has super-properties
msHPIPIRop
msIPIRHPIPop
is inverse of
msHRHPop
has sub-property chains
isProperPartOfop o isRepresentamenForop

msIPIRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msHPIRHP

chain relation msHPIR o hasProperPart
has super-properties
msHPIPIRHPop
msHPIRHPIPop
is inverse of
msIPHRIPop
has sub-property chains
msHPIRop o hasProperPartop

msIPIRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPIRHP

chain relation msIPIR o hasProperPart
has super-properties
msHPIPIRHPop
msIPIRHPIPop
is inverse of
msIPHRHPop
has sub-property chains
msIPIRop o hasProperPartop

msIPIRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPIRHPIP

chain relation msIPIR o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIPIRop, msIPIRHPop, msIPIRIPop
is inverse of
msHPIPHRHPop
has sub-property chains
msIPIRop o overlapsWithop

msIPIRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPIRHR

chain relation isProperPartOf o sharesReferentWith
has super-properties
msHPIPIRHRop
is inverse of
msIRHRHPop
has sub-property chains
isProperPartOfop o sharesReferentWithop
msIPIRop o hasRepresentamenop

msIPIRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPIRIP

chain relation msIPIR o isProperPartOf
has super-properties
msHPIPIRIPop
msIPIRHPIPop
is inverse of
msHPHRHPop
has sub-property chains
msIPIRop o isProperPartOfop

msIPIRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIPIRIR

chain relation msIPIR o isRepresentamenFor
has super-properties
msHPIPIRIRop
has sub-properties
isAdmissibleValueForop
is inverse of
msHRHRHPop
has sub-property chains
msIPIRop o isRepresentamenForop

msIRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHP

(X msIRHP Z) == isRepresentamenFor o hasProperPart == there is a Y such that (X isRepresentamenFor Y) and (Z isProperPartOf Y)
has super-properties
msHPIPIRHPop
msIRHPIPop
is inverse of
msIPHRop
has sub-property chains
isRepresentamenForop o hasProperPartop

msIRHPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHPHR

chain relation msIRHP o hasRepresentamen
has super-properties
msIRHPIPHRop
is inverse of
msIRIPHRop
has sub-property chains
msIRHPop o hasRepresentamenop

msIRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHPIP

(X msIRHPIP Z) == isRepresentamenFor o hasProperPart o isProperPartOf == there is a Y such that (X isRepresentamenFor Y) and (Y overlapsWith Z)
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
describesMethodEmployedByop, isRepresentamenForop, msIRHPop, msIRIPop
is inverse of
msHPIPHRop
has sub-property chains
isRepresentamenForop o overlapsWithop
msIRHPop o isProperPartOfop

msIRHPIPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHPIPHR

chain relation msIRHP o msIPHR

has characteristics : symmetric

has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIRHPHRop, msIRIPHRop
has sub-property chains
isRepresentamenForop o overlapsWithop o hasRepresentamenop
msIRHPop o msIPHRop

msIRHPIPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHPIPIR

chain relation msIRHP o msIPIR
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIRHPIRop, msIRIPIRop
is inverse of
msHRHPIPHRop
has sub-property chains
isRepresentamenForop o overlapsWithop o isRepresentamenForop
msIRHPop o msIPIRop

msIRHPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHPIR

chain relation msIRHP o isRepresentamenFor
has super-properties
msIRHPIPIRop
is inverse of
msHRIPHRop
has sub-property chains
msIRHPop o isRepresentamenForop

msIRHRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHRHP

chain relation sharesReferentWith o hasProperPart
has super-properties
msIRHRHPIPop
is inverse of
msIPIRHRop
has sub-property chains
sharesReferentWithop o hasProperPartop

msIRHRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHRHPIP

chain relation sharesReferentWith o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIRHRHPop, msIRHRIPop, sharesReferentWithop
is inverse of
msHPIPIRHRop
has sub-property chains
sharesReferentWithop o overlapsWithop

msIRHRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHRHR

chain relation sharesReferentWith o hasRepresentamen
has super-properties
isMereosemioticallyRelatedToop
is inverse of
msIRIRHRop
has sub-property chains
sharesReferentWithop o hasRepresentamenop

msIRHRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRHRIP

chain relation sharesReferentWith o isProperPartOf
has super-properties
msIRHRHPIPop
is inverse of
msHPIRHRop
has sub-property chains
sharesReferentWithop o isProperPartOfop

msIRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIP

(X msIRIP Z) == isRepresentamenFor o isProperPartOf == there is a Y such that (X isRepresentamenFor Y) and (Y isProperPartOf Z)
has super-properties
msHPIPIRIPop
msIRHPIPop
is inverse of
msHPHRop
has sub-property chains
isRepresentamenForop o isProperPartOfop

msIRIPHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIPHR

chain relation msIRIP o hasRepresentamen
has super-properties
msIRHPIPHRop
is inverse of
msIRHPHRop
has sub-property chains
msIRIPop o hasRepresentamenop

msIRIPIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIPIR

chain relation msIRIP o isRepresentamenFor
has super-properties
msIRHPIPIRop
is inverse of
msHRHPHRop
has sub-property chains
msIRIPop o isRepresentamenForop

msIRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIR

(X msIRIR Z) == (isRepresentamenFor)^2 == there is a Y such that (X isRepresentamenFor Y) and (Y isRepresentamenFor Z)
has super-properties
msHPIPIRIRop
msIRIRHPIPop
is inverse of
msHRHRop
has sub-property chains
isRepresentamenForop o isRepresentamenForop

msIRIRHPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIRHP

chain relation msIRIR o hasProperPart
has super-properties
msIRIRHPIPop
is inverse of
msIPHRHRop
has sub-property chains
msIRIRop o hasProperPartop

msIRIRHPIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIRHPIP

chain relation msIRIR o overlapsWith
has super-properties
isMereosemioticallyRelatedToop
has sub-properties
msIRIRop, msIRIRHPop, msIRIRIPop
is inverse of
msHPIPHRHRop
has sub-property chains
msIRIRop o overlapsWithop

msIRIRHRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIRHR

chain relation isRepresentamenFor o sharesReferentWith
has super-properties
isMereosemioticallyRelatedToop
is inverse of
msIRHRHRop
has sub-property chains
isRepresentamenForop o sharesReferentWithop
msIRIRop o hasRepresentamenop

msIRIRIPop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIRIP

chain relation msIRIR o isProperPartOf
has super-properties
msIRIRHPIPop
is inverse of
msHPHRHRop
has sub-property chains
msIRIRop o isProperPartOfop

msIRIRIRop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#msIRIRIR

chain relation msIRIR o isRepresentamenFor
has super-properties
isMereosemioticallyRelatedToop
is inverse of
msHRHRHRop
has sub-property chains
msIRIRop o isRepresentamenForop

overlapsWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#overlapsWith

(x overlapsWith y) means that x and y share a spatiotemporal region where x and y intersect

has characteristics : reflexive, symmetric

has super-properties
isSpatiotemporallyConnectedWithop
temporallyOverlapsWithop
has sub-properties
hasImproperPartop, isClaimOfop, isConstitutiveOfop, isExpressedByop, isGoalForop, isImproperPartOfop, isParticipantInop
has sub-property chains
hasImproperPartop o isImproperPartOfop

precedesStepop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#precedesStep

'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

has characteristics : transitive

has super-properties
hasCausalConnectionWithop
temporallyPrecedesop
has sub-properties
directlyPrecedesStepop, logicallyPrecedesop
has domain
Processc
has range
Processc

providesJustificationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#providesJustification

(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
has super-properties
affirmsCognitionop
has range
GroundingChainc

realizesop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#realizes

(x realizes y) means that x, which is not a semiotic collective, is a literal or non-literal realization of the expression y
has super-properties
isSemioticMemberOfop
has domain
not (SemioticCollectivec)
has range
Articulationc

restop back to ToC or Object Property ToC

IRI: http://www.w3.org/1999/02/22-rdf-syntax-ns#rest

relates a rdf:List to the part that remains when its first element is removed
has domain
listc

sharesReferentWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#sharesReferentWith

(X sharesReferentWith Z) == there is a Y such that both X and Z isRepresentamenFor Y

has characteristics : symmetric

has super-properties
msHPIPIRHRop
msIRHRHPIPop
has sub-properties
isReferenceFrameForop

sharesRepresentamenWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#sharesRepresentamenWith

(X sharesRepresentamenWith Z) == there is a Y such that Y isRepresentamenFor both X and Z

has characteristics : symmetric

has super-properties
msHPIPHRIRop
msHRIRHPIPop

temporallyCoextendsWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#temporallyCoextendsWith

(x temporallyCoextendsWith y) means that x and y have exactly the same extension in time, i.e., disregarding their spatial extension

has characteristics : reflexive, symmetric, transitive

has super-properties
temporallyOverlapsWithop

temporallyOverlapsWithop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#temporallyOverlapsWith

(x temporallyOverlapsWith y) means that there is an (extended) interval in time where both x and y exist

has characteristics : reflexive, symmetric

has super-properties
isTemporallyConnectedWithop
has sub-properties
isTemporallyIncludedInop, overlapsWithop, temporallyCoextendsWithop
has sub-property chains
overlapsWithop o temporallyCoextendsWithop
temporallyCoextendsWithop o overlapsWithop

temporallyPrecedesop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#temporallyPrecedes

(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

has characteristics : transitive

has super-properties
doesNotTemporallyOverlapWithop
has sub-properties
isEvaluatedInop, precedesStepop
has sub-property chains
isProperPartOfop o temporallyPrecedesop
temporallyCoextendsWithop o temporallyPrecedesop
temporallyPrecedesop o hasProperPartop
temporallyPrecedesop o temporallyCoextendsWithop

underliesop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#underlies

the relation 'underlies' is the transitive closure of the relation 'isConstitutiveOf'

has characteristics : transitive

has super-properties
hasCausalConnectionWithop
has sub-properties
isConstitutiveOfop

Validationop back to ToC or Object Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isTelosInValidation

(x isTelosInValidation y) means that y is a validation where x acts as the telos (initial guiding objective), i.e., the first element
has super-properties
isTelosInEvaluationop
has range
Validationc

Data Properties

isLiterallydp back to ToC or Data Property ToC

IRI: http://www.molmod.info/semantics/pims-ii.ttl#isLiterally

points to the expression of a collective literal as an RDFS literal (e.g., xs:string or xs:decimal)
has domain
CollectiveLiteralc

Annotation Properties

alt labelap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#altLabel

exampleap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#example

scope noteap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#scopeNote

Namespace Declarations back to ToC

default namespace
http://www.molmod.info/semantics/pims-ii.ttl#
dc
http://purl.org/dc/elements/1.1/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
semantics
http://www.molmod.info/semantics/
skos
http://www.w3.org/2004/02/skos/core#
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni .