TreeView Knowledge Base Browser

consequent

(=>
    (and
        (capability ?PROCESS ?R ?O)
        (instance ?O Artifact)
        (not
            (attribute ?O ArtifactNotFitForPurpose)))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PROCESS)
                (?R ?P ?O))) Possiblity))

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