KR Lessons Learned

But Frames&Slots are inadequate to naturally express

disjunction (“Fred owns a dog or a parakeet.”)
negation (“Fred does not own a dog.”)
modals (“Fred believes Israel wants Egypt to expect…”)
meta-assertions (“That rule is 50 years old but reliable.”)
nested quantification (?w)(?x)(?y)(?z)…
“Every American has a president.” versus
“Every American has a mother.”