ArtifactNotFitForPurpose - Sigma Knowledge base Browser

appearance as argument number 1

(instance ArtifactNotFitForPurpose InternalAttribute)	Mid-level-ontology.kif 19110-19110	Artifact not fit for purpose is an instance of internal attribute
(documentation ArtifactNotFitForPurpose 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

(=> (and (attribute ?A ArtifactNotFitForPurpose) (hasPurpose ?A ?USE)) (not (modalAttribute ?USE 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
(=> (and (capability ?PROCESS ?R ?O) (instance ?O Artifact) (not (attribute ?O ArtifactNotFitForPurpose))) (modalAttribute (exists (?P) (and (instance ?P ?PROCESS) (?R ?P ?O))) 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

(=>
    (and
        (instance ?S Salvaging)
        (patient ?S ?A))
    (or
        (attribute ?A ArtifactNotFitForPurpose)
        (attribute ?A DeviceDamaged)))