http://www.estrellaproject.org/lkif-core/expression.owl#Expression
Class expression:Expression
Annotations
rdfs:comment
An expression is a proposition beared by some medium, e.g. a document, and is stated by some communicated attitude
Class Axioms
owl:equivalentClass
expression:medium
some
expression:Medium
rdfs:subClassOf
expression:stated_by
all
expression:Communicated_Attitude
expression:stated_by
some
expression:Communicated_Attitude
expression:medium
all
expression:Medium
expression:Proposition
Other Properties
rdf:type
owl:Class
References
as owl:equivalentClass (
expression:Declaration
,
expression:Promise
,
expression:Communicated_Attitude
,
expression:Statement_In_Writing
,
expression:Medium
,
expression:Assertion
)
as rdfs:domain (
expression:promised_by
,
expression:asserted_by
,
expression:medium
,
expression:declared_by
)
as rdfs:range (
expression:declares
,
expression:promises
,
expression:bears
,
expression:asserts
)
as rdfs:subClassOf (
norm:Legal_Expression
,
expression:Document
,
expression:Communicated_Attitude
,
expression:Argument
,
expression:Medium
,
rules:Rule
,
rules:Negated_Atom
,
rules:Atom
)
Generated with
TopBraid Composer
by
TopQuadrant, Inc.