Object Property: hasSuperType

http://se-on.org/ontologies/domain-specific/2012/02/code.owl#hasSuperType

Annotations (1)

comment "Types can inherit from other types." ()

Domains (1)

ClassType or EnumerationType or InterfaceType

Ranges (1)

ClassType or InterfaceType

Inverses (1)

hasSubtype

Superproperties (1)

dependsOn

Usage (6)

ObjectProperty: hasSuperType
hasSuperClass ⊆ hasSuperType
hasSuperInterface ⊆ hasSuperType
hasSuperType ⊆ dependsOn
implementsInterface ⊆ hasSuperType
hasSuperType inverse hasSubtype