rules:Atom

http://www.estrellaproject.org/lkif-core/lkif-rules.owl#Atom
Class rules:Atom

Annotations

rdfs:comment

An atom is the most basic (undivisible) part of an LKIF rule (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

References

as rdfs:range (rules:applies, rules:excluded, rules:rule_predicate)
as rdfs:subClassOf (rules:Exception, rules:Assumption)

References
as rdfs:range (rules:applies, rules:excluded, rules:rule_predicate) as rdfs:subClassOf (rules:Exception, rules:Assumption)