Our most productive user recently has been Ekaterin, who's adding things about the prehistorical periods. Other users have been adding things as diverse as scarves and Maxwell's equations. They were quick off the mark when the US election results came in too. We had questions like Who won the US presidential election? working within minutes of the announcement, thanks to Equanimous.
We had another new knowledge engineer start this week. David Palfrey has been a beta tester for us for months so it was great to convert him into an employee. He's got started organising all our manufactured item ontology which will be really useful.
Something else we've been look at are n-ary facts. Most of our facts are stored as a relationship between two objects, such as [bill gates] [is married to] [melinda gates]. Working with facts involving more objects is harder. In theory we've got three ways of dealing with this but we've only needed to use two of them so far. One method is to create complex objects which behave like simple ones but are in fact composed from several smaller ones. For example, if you ask What is the distance between London and Paris? then the knowledge was represented by the fact x [is the distance between] [group: [london]; [paris]].
One of the problems with this is that the existing type checking isn't so useful, as it hasn't been type-checking the sub-objects in this type of compound. We've decided how that's going to work now so it should go live later in the week.