history of
[copied from inverse property 'has history'] b has_history c iff c history_of b [XXX-001
b history_of c if c is a material entity or site and b is a history that is the unique history of cAxiom: if b history_of c and b history_of d then c=d [XXX-001
historyOf
history-of
has history
process
material entity