Class: sec:_Heap

•owl:Thing
        •sec:NaryRelation
                •sec:HasAsset
                        •sec:_Heap

Equivalent Classes (Necessary and Sufficient Conditions)

sec:hasAsset ONLY sec:Heap
sec:HasAsset

Abstract Syntax

Class(sec:_Heap complete restriction(sec:hasAsset allValuesFrom(sec:Heap))
                        sec:HasAsset)

Usage

Class Description/Definition (Necessary Conditions)

sec:_Heap, sec:HeapOverflow
Generated with OWLDoc