http://www.estrellaproject.org/lkif-core/lkif-rules.owl#Negated_Atom
Class rules:Negated_Atom
Annotations
rdfs:comment
A negated atom is the negation of some other atom (cf. Deliverable 1.1)
Class Axioms
rdfs:subClassOf
role:Epistemic_Role
role:played_by
some (
expression:Expression
and
mereo:Atom
)
role:played_by
all
mereo:Atom
Other Properties
rdf:type
owl:Class
Generated with
TopBraid Composer
by
TopQuadrant, Inc.
