NonRepairable - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NonRepairable EnglishLanguage "NonRepairable is an Attribute used to describe an Artifact that cannot be desginated for &Repairing.")	Mid-level-ontology.kif 7937-7938
(instance NonRepairable ArtifactAttribute)	Mid-level-ontology.kif 7936-7936	Non repairable is an instance of artifact attribute

appearance as argument number 2

(relatedInternalConcept Repairable NonRepairable)	Mid-level-ontology.kif 7925-7925	Repairable is internally related to non repairable
(termFormat EnglishLanguage NonRepairable "non repairable")	domainEnglishFormat.kif 65926-65926	Repairable is internally related to non repairable

antecedent

(=>
    (and
        (instance ?A Artifact)
        (attribute ?A NonRepairable))
    (not
        (exists (?R)
            (and
                (instance ?R Repairing)
                (patient ?R ?A)))))

Mid-level-ontology.kif 7940-7948