By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 12:34:24
I know from locally stored knowledge that:
Fact 1:
Ariana
is a
first name
([fact: ["1067248010@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
first name
is a subclass of
string-like object
([fact: ["801877540@trueknowledge.com"]])
first name
is a subclass of
object that can be written down
([fact: ["1804289610@trueknowledge.com"]])
first name
is a subclass of
name
([fact: ["1804289574@trueknowledge.com"]])
first name
is a subclass of
name
([fact: ["105762517@trueknowledge.com"]])
first name
is a subclass of
entity
([fact: ["1804289606@trueknowledge.com"]])
first name
is a subclass of
conceptual object
([fact: ["1804289582@trueknowledge.com"]])
horse
is a subclass of
Equus
([fact: ["148056234@trueknowledge.com"]])
horse
is a subclass of
Equidae
([fact: ["130985675@trueknowledge.com"]])
horse
is a subclass of
wild horse
([fact: ["370717455@trueknowledge.com"]])
horse
is a subclass of
eukaryote
([fact: ["744004248@trueknowledge.com"]])
horse
is a subclass of
therian
([fact: ["744004380@trueknowledge.com"]])
horse
is a subclass of
placental mammal
([fact: ["744004376@trueknowledge.com"]])
horse
is a subclass of
odd-toed ungulate
([fact: ["130985676@trueknowledge.com"]])
horse
is a subclass of
chordate
([fact: ["130985677@trueknowledge.com"]])
horse
is a subclass of
hoofed mammal
([fact: ["20028671@trueknowledge.com"]])
horse
is a subclass of
non-human animal
([fact: ["1084980510@trueknowledge.com"]])
horse
is a subclass of
non-human mammal
([fact: ["1145206@trueknowledge.com"]])
horse
is a subclass of
mammal
([fact: ["1143194@trueknowledge.com"]])
horse
is a subclass of
animal
([fact: ["130985678@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
first name
is a distinct class from
horse
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Ariana
is not a
horse
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
May 25th 2013, 12:34:24
Facts
Show facts
