Class: _ProgramFile

•owl:Thing
        •NaryRelation
                •HasAsset
                        •_ProgramFile

Equivalent Classes (Necessary and Sufficient Conditions)

hasAsset ONLY ProgramFile
HasAsset

Abstract Syntax

Class(_ProgramFile complete restriction(hasAsset allValuesFrom(ProgramFile))
                           HasAsset)

Usage

Class Description/Definition (Necessary Conditions)

_ProgramFile, CodeSigning
Generated with OWLDoc