By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 18:22:58
I know from locally stored knowledge that:
is likely to sell members of
is a more general form of
is a business serving the cuisine
([fact: ["141766038@trueknowledge.com"]])
Fact 1:
Sbarro
is a business serving the cuisine
Mexican food
([fact: ["367039223@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["711591948@trueknowledge.com"]])
Fact 1
is true for
February 20th 2007 onwards
([fact: ["367039239@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Sbarro
is likely to sell members of
Mexican food
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 18:22:58
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
February 20th 2007 onwards
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Mexican food
I know from locally stored knowledge that:
Mexican food
is a subclass of
ethnic food
([fact: ["147995294@trueknowledge.com"]])
ethnic food
is a subclass of
foodstuff
([fact: ["123906472@trueknowledge.com"]])
Mexican food
is a subclass of
North American cuisine
([fact: ["148528394@trueknowledge.com"]])
North American cuisine
is a subclass of
foodstuff
([fact: ["131643955@trueknowledge.com"]])
Mexican food
is a subclass of
Latin American food
([fact: ["149668310@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Latin American food
I know from locally stored knowledge that:
Latin American food
is a subclass of
ethnic food
([fact: ["149668290@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Fact 3:
Latin American food
is a subclass of
foodstuff
Fact 3:
Mexican food
is a subclass of
foodstuff
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 18:22:58
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])
Fact 4:
Sbarro
is a business serving the cuisine
Italian
([fact: ["367039199@trueknowledge.com"]])
Fact 4
is true for
January 13th 2009 onwards
([fact: ["711591928@trueknowledge.com"]])
Fact 4
is true for
October 23rd 2006 onwards
([fact: ["368792195@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Sbarro
is likely to sell members of
Italian
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 18:22:58
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
October 23rd 2006 onwards
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Italian
I know from locally stored knowledge that:
Italian
is a subclass of
Mediterranean food
([fact: ["149668014@trueknowledge.com"]])
Mediterranean food
is a subclass of
foodstuff
([fact: ["131644056@trueknowledge.com"]])
Italian
is a subclass of
European
([fact: ["149667862@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
European
I know from locally stored knowledge that:
European
is a subclass of
ethnic food
([fact: ["148527122@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Fact 3:
European
is a subclass of
foodstuff
Fact 3:
Italian
is a subclass of
foodstuff
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 18:22:58
I know from locally stored knowledge that:
Fact 7:
Sbarro
is a business serving the cuisine
fast food
([fact: ["711591936@trueknowledge.com"]])
Fact 7
is true for
January 13th 2009 onwards
([fact: ["711591944@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Sbarro
is likely to sell members of
fast food
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 18:22:58
I know from locally stored knowledge that:
Fact 9:
fast food
is a subclass of
foodstuff
([fact: ["647412872@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 9
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
May 24th 2013, 18:22:58