namespace core.ontology { Ontology for the core ontology object model }

import core.type;
import core.isa;
import core.hasa;

ontology { An ontology }
term { A term in an ontology }
triple { A subject,object,predicate triple }
has_subject { The subject of a triple }
has_object { The object of a triple }
has_predicate { The predicate of a triple }

isa(ontology, type)
isa(term, type)
isa(triple, type)

isa(has_subject, relation)
isa(has_object, relation)
isa(has_predicate, relation)