http://www.estrellaproject.org/lkif-core/expression.owl#asserts
Property expression:asserts
Annotations
rdfs:comment
Relates an assertion to the expression being asserted
Property Axioms
owl:inverseOf
expression:asserted_by
rdfs:domain
expression:Assertion
rdfs:range
expression:Expression
rdfs:subPropertyOf
expression:states
Other Properties
rdf:type
owl:ObjectProperty
References
as owl:equivalentClass (
expression:Assertion
)
as owl:inverseOf (
expression:asserted_by
)
Generated with
TopBraid Composer
by
TopQuadrant, Inc.
