http://www.estrellaproject.org/lkif-core/expression.owl#declares
Property expression:declares
Annotations
rdfs:comment
Relates a declaration to the expression being declared
Property Axioms
owl:inverseOf
expression:declared_by
rdfs:domain
expression:Declaration
rdfs:range
expression:Expression
rdfs:subPropertyOf
expression:states
Other Properties
rdf:type
owl:ObjectProperty
References
as owl:equivalentClass (
expression:Declaration
)
as owl:inverseOf (
expression:declared_by
)
Generated with
TopBraid Composer
by
TopQuadrant, Inc.
