By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 22:50:40
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
country
is strictly equal to
country
By calculation (generator: ["same_as_or_subclass_of@trueknowledge.com"]) I know that:
country
is the same as or a subclass of
country
I know from locally stored knowledge that:
class is complete
applies to
missing object class
([fact: ["646893828@trueknowledge.com"]])
Therefore (generator: ["classiscomplete2@trueknowledge.com"]):
country
is not a
missing object class
By calculation (generator: ["moc3@trueknowledge.com"]) I know that:
country that is in east Asia
is a subclass of
country
I know from locally stored knowledge that:
Fact 1:
China
is the result of the position class and ordering
first, country and [reverse ordering by left relation: [is the population of]]
([fact: ["163363774@trueknowledge.com"]])
Fact 1
is true for
January 15th 2009, 00:00:00 onwards
([fact: ["163363778@trueknowledge.com"]])
Fact 2:
China
is in
east Asia
([fact: ["19604833@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["19604834@trueknowledge.com"]])
Fact 3:
China
is a
country
([fact: ["639849680@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
country
([fact: ["15624045@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and all time
By calculation (generator: ["moc4@trueknowledge.com"]) I know that:
Fact 4:
China
is a
country that is in east Asia
Fact 4
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 15th 2009, 00:00:00 onwards
is the timeperiod intersection of
January 15th 2009, 00:00:00 onwards and the beginning of time onwards
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 5:
China
is the result of the position class and ordering
first, country that is in east Asia and [reverse ordering by left relation: [is the population of]]
Fact 5
is true for
January 15th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 24th 2013, 22:50:40
