What would be helpful is if aigrant.org could provide an account on a Cyc instance to community members.
%cycl,microtheory="InferencePSC"
(eventOccursAt
(SummerOlympicsFn
(YearFn 2012))
?VAR)
%/cycl
%output,mpversion=".257",preserve="false"
# ?VAR
--- ---------------------------------------------------------------------
1 UnitedKingdomOfGreatBritainAndNorthernIreland
2 England
3 EasternContinent
4 ContinentOfEurasia
5 Occident
6 MilkyWay-Galaxy
7 PlanetEarth
8 NorthernHemisphere-Region
9 ContinentOfEurope
10 CityOfLondonEngland
. %/outputSee [1], noting that human annotation is responsible for 250K of the 100 million high confidence facts in the system.
I believe they have some manual overrides in a few cases, but the system itself is automatic.
I don't think Google, Bing, Wolfram Alpha, or Siri can be used for applications like this.
It's also fairly useless in that it doesn't give the "commonsense" answer of London as the first result and commonsense is what Cyc has always been supposed to do. (And yes I understand that CityOfLondonEngland probably has a plain English label too).
Although London is good enough for me. William Shakespeare would be spinning in his grave.
> 9 ContinentOfEurope
> 10 CityOfLondonEngland
Given it also has 4 & 9 I wonder if that's more of a tag than the name and it just unfortunately lines up with an actual place name. Don't know Cyc to check but I'd wager that if the location was City of London it would output CityOfCityOfLondonEngland.
To be pedantic, only some of the Olympic events were held at Stratford. Horse dancing was held in Greenwich, for example, and many of the over-water events were held on Eton Dorney ("bloody miles away from Stratford").
If aigrant.org was able to provide accounts on a Cyc system to community members, would you be interested in having one?