ArtifactNotFitForPurpose - Sigma Knowledge base Browser

appearance as argument number 1

s__instance(s__ArtifactNotFitForPurpose,s__InternalAttribute)	Mid-level-ontology.kif 19110-19110	Artifact not fit for purpose is an instance of internal attribute
s__documentation(s__ArtifactNotFitForPurpose, s__EnglishLanguage, "ArtifactFitForPurpose states that an Artifact no longer serves its intended purpose_ For example, a sweater has shrunk in the wash or has got holes with respect to the purpose of an agent (wearing that sweater)_ For a Device that has been damaged, one can use the term DeviceDamaged_")	Mid-level-ontology.kif 19111-19114	Artifact not fit for purpose is an instance of internal attribute

appearance as argument number 2

antecedent

! [V__A : $i,V__USE : $i] : (((s__attribute(V__A, s__ArtifactNotFitForPurpose) & s__hasPurpose(V__A, V__USE)) => ~(s__modalAttribute(V__USE, s__Possibility))))	Mid-level-ontology.kif 19117-19122	If artifact not fit for purpose is an attribute of X and X has the purpose Y, then the statement Y doesn't have the modal force of possibility
! [V__O : $i,V__PROCESS : $i,V__R : $i] : (((s__capability(V__PROCESS, V__R, V__O) & s__instance(V__O, s__Artifact) & ~(s__attribute(V__O, s__ArtifactNotFitForPurpose))) => s__modalAttribute(( ? [V__P:$i] : ((s__instance(V__P, V__PROCESS) & s__?R(V__P, V__O)))), s__Possiblity)))	Mid-level-ontology.kif 19124-19134	If X is capable of doing Y as a Z, X is an instance of artifact, and artifact not fit for purpose is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of Possiblity

consequent

! [V__A,V__S] :
((s__instance(V__A,s__Object) =>
     ((s__instance(V__S,s__Salvaging) &
         s__patient(V__S,V__A))
     =>
     (s__attribute(V__A,s__ArtifactNotFitForPurpose) |
       s__attribute(V__A,s__DeviceDamaged))))
)