Abstract Characterization of Temporal Ontology in Logic

Teknowledge IEEE SUO

Cyc

Stanford KSL

URochester

etc......

Kestrel