By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 10:27:18
I know from locally stored knowledge that:
Fact 1:
Siri, Inc.
is a
software company
([fact: ["164095250@trueknowledge.com"]])
Fact 1
is true for
December 18th 2007 onwards
([fact: ["164095262@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 10:27:18
I know from locally stored knowledge that:
Fact 2:
Siri, Inc.
is a
business
([fact: ["164095274@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 10:27:18
I know from locally stored knowledge that:
permanent
applies to
business
([fact: ["1131931@trueknowledge.com"]])
Siri, Inc.
commonly translates as
"Siri, Inc."
([fact: ["164095230@trueknowledge.com"]])
business
commonly translates as
"business"
([fact: ["1131936@trueknowledge.com"]])
Siri, Inc.
is in
San Jose
([fact: ["164096946@trueknowledge.com"]])
San Jose
is in
the United States
([fact: ["159336477@trueknowledge.com"]])
the United States
is a
country
([fact: ["269566143@trueknowledge.com"]])
the United States
commonly translates as
"the United States"
([fact: ["1158415@trueknowledge.com"]])
San Jose
is in
California
([fact: ["131823093@trueknowledge.com"]])
California
is a
US state
([fact: ["1135974@trueknowledge.com"]])
California
commonly translates as
"California"
([fact: ["1135978@trueknowledge.com"]])
Fact 3:
1 Almaden Blvd Suite 650 San Jose, CA 95113
is the postal address of
Siri, Inc.
([fact: ["164098858@trueknowledge.com"]])
Fact 3
is true for
March 1st 2008 onwards
([fact: ["164098874@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 13th 2012, 10:27:18
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
"1 Almaden Blvd Suite 650 San Jose, CA 95113"
is the first parameter of
1 Almaden Blvd Suite 650 San Jose, CA 95113
I know from locally stored knowledge that:
San Jose
is a
settlement
([fact: ["11744208@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
San Jose
is a
city
([fact: ["131823086@trueknowledge.com"]])
San Jose
is a
town or city
([fact: ["159336001@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
San Jose
I know from locally stored knowledge that:
San Jose
commonly translates as
"San Jose"
([fact: ["131823084@trueknowledge.com"]])
By calculation (generator: ["english_description_location2@trueknowledge.com"]) I know that:
Siri, Inc. is a business in San Jose, California. The address is 1 Almaden Blvd Suite 650 San Jose, CA 95113.
is an English description of the location of
Siri, Inc.
Adding…
