Class: sec:_ProgramSourceCodeFile

•owl:Thing
        •sec:NaryRelation
                •sec:HasAsset
                        •sec:_ProgramSourceCodeFile

Equivalent Classes (Necessary and Sufficient Conditions)

sec:hasAsset ONLY sec:ProgramSourceCodeFile
sec:HasAsset

Abstract Syntax

Class(sec:_ProgramSourceCodeFile complete restriction(sec:hasAsset allValuesFrom(sec:ProgramSourceCodeFile))
                                         sec:HasAsset)

Usage

Class Description/Definition (Necessary Conditions)

sec:_ProgramSourceCodeFile, sec:SourceCodeAnalysis
Generated with OWLDoc