By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 13:29:57
I know from locally stored knowledge that:
Fact 1:
Cacaoweb Ltd
is a
business
([fact: ["2337991146@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
business
is a subclass of
product
([fact: ["127368531@trueknowledge.com"]])
business
is a subclass of
thing that was created
([fact: ["1015275590@trueknowledge.com"]])
business
is a subclass of
organisation
([fact: ["1131933@trueknowledge.com"]])
business
is a subclass of
human being, organisation or other legal person
([fact: ["240300254@trueknowledge.com"]])
Trojan
is a subclass of
Armoured Vehicle Royal Engineers
([fact: ["2482982134@trueknowledge.com"]])
Trojan
is a subclass of
vehicle
([fact: ["684569572@trueknowledge.com"]])
Trojan
is a subclass of
military vehicle
([fact: ["684569540@trueknowledge.com"]])
agricultural business
is a subclass of
business
([fact: ["1150160@trueknowledge.com"]])
forestry business
is a subclass of
business
([fact: ["1150186@trueknowledge.com"]])
fishing and hunting business
is a subclass of
business
([fact: ["1150209@trueknowledge.com"]])
mining business
is a subclass of
business
([fact: ["1150235@trueknowledge.com"]])
agriculture, forestry, hunting and fishing business
is a subclass of
business
([fact: ["1150254@trueknowledge.com"]])
utilities business
is a subclass of
business
([fact: ["1150280@trueknowledge.com"]])
construction business
is a subclass of
business
([fact: ["1150313@trueknowledge.com"]])
manufacturing business
is a subclass of
business
([fact: ["1150337@trueknowledge.com"]])
wholesale trade business
is a subclass of
business
([fact: ["1150366@trueknowledge.com"]])
retail trade business
is a subclass of
business
([fact: ["1150392@trueknowledge.com"]])
transportation and warehousing business
is a subclass of
business
([fact: ["1150447@trueknowledge.com"]])
publishing and broadcasting business
is a subclass of
business
([fact: ["1150479@trueknowledge.com"]])
information services and technology business
is a subclass of
business
([fact: ["1150522@trueknowledge.com"]])
finance and insurance business
is a subclass of
business
([fact: ["1150560@trueknowledge.com"]])
real estate business
is a subclass of
business
([fact: ["1150597@trueknowledge.com"]])
rental and leasing business
is a subclass of
business
([fact: ["1150631@trueknowledge.com"]])
professional, scientific, and technical services business
is a subclass of
business
([fact: ["1150668@trueknowledge.com"]])
administrative, support and waste management business
is a subclass of
business
([fact: ["1150702@trueknowledge.com"]])
educational services business
is a subclass of
business
([fact: ["1150747@trueknowledge.com"]])
health care and social assistance business
is a subclass of
business
([fact: ["1150807@trueknowledge.com"]])
arts, entertainment, and recreation business
is a subclass of
business
([fact: ["1150854@trueknowledge.com"]])
accommodation and food services business
is a subclass of
business
([fact: ["1150914@trueknowledge.com"]])
repair and maintenance business
is a subclass of
business
([fact: ["1150961@trueknowledge.com"]])
personal services business
is a subclass of
business
([fact: ["1151007@trueknowledge.com"]])
UK public limited company
is a subclass of
business
([fact: ["15596697@trueknowledge.com"]])
business classified by activity
is a subclass of
business
([fact: ["15596784@trueknowledge.com"]])
business classified by legal status
is a subclass of
business
([fact: ["15596861@trueknowledge.com"]])
office
is a subclass of
business
([fact: ["19588656@trueknowledge.com"]])
cinema
is a subclass of
business
([fact: ["20028737@trueknowledge.com"]])
ice skating rink
is a subclass of
business
([fact: ["20029827@trueknowledge.com"]])
hotel
is a subclass of
business
([fact: ["20049865@trueknowledge.com"]])
business classified by structure
is a subclass of
business
([fact: ["123876103@trueknowledge.com"]])
couples' hotel
is a subclass of
business
([fact: ["129919803@trueknowledge.com"]])
internet related business
is a subclass of
business
([fact: ["136330370@trueknowledge.com"]])
film distributor
is a subclass of
business
([fact: ["147006221@trueknowledge.com"]])
golf tour
is a subclass of
business
([fact: ["166454842@trueknowledge.com"]])
GL Networks
is a subclass of
business
([fact: ["252206690@trueknowledge.com"]])
automation supplier
is a subclass of
business
([fact: ["375330327@trueknowledge.com"]])
online pharmacy
is a subclass of
business
([fact: ["643574264@trueknowledge.com"]])
publishing company
is a subclass of
business
([fact: ["648467928@trueknowledge.com"]])
human being, organisation or other legal person
is a distinct class from
vehicle
([fact: ["1020083350@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
business
is a distinct class from
Trojan
I know from locally stored knowledge that:
permanent
applies to
business
([fact: ["1131931@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Cacaoweb Ltd
is not a
Trojan
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 21st 2013, 13:29:57
Facts
Show facts
