Krypton clearly distinguishes between definitional and factual information by using both frame-based and logic-based languages.
No takes yet. Share an insight, caveat, or question.
Brachman et al. (1983) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: