http://www.estrellaproject.org/lkif-core/mereology.owl#Atom
Class mereo:Atom
Annotations
rdfs:comment
An atom has no parts
Class Axioms
owl:disjointWith
mereo:Whole
rdfs:subClassOf
top:Abstract_Concept
Other Properties
rdf:type
owl:Class
References
as owl:disjointWith (
mereo:Whole
)
as rdfs:subClassOf (
rules:Negated_Atom
,
rules:Negated_Atom
,
rules:Atom
,
rules:Atom
,
time:Moment
)
Generated with
TopBraid Composer
by
TopQuadrant, Inc.
