By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 15:27:06
I know from locally stored knowledge that:
Fact 1:
George W. Bush
is a
Governor
([fact: ["378074315@trueknowledge.com"]])
Fact 1
is true for
1995 - 2000
([fact: ["378074327@trueknowledge.com"]])
Governor
is a subclass of
politician
([fact: ["148090478@trueknowledge.com"]])
Governor
is a subclass of
person
([fact: ["123972248@trueknowledge.com"]])
lizard
is a subclass of
diapsid
([fact: ["1760043034@trueknowledge.com"]])
lizard
is a subclass of
eukaryote
([fact: ["368135283@trueknowledge.com"]])
lizard
is a subclass of
tetrapod
([fact: ["130985893@trueknowledge.com"]])
lizard
is a subclass of
chordate
([fact: ["130985894@trueknowledge.com"]])
lizard
is a subclass of
Squamata
([fact: ["130985892@trueknowledge.com"]])
lizard
is a subclass of
reptile
([fact: ["7085196@trueknowledge.com"]])
lizard
is a subclass of
animal
([fact: ["130985895@trueknowledge.com"]])
Governor of Kware Sate, Nigeria
is a subclass of
Governor
([fact: ["906476354@trueknowledge.com"]])
bearded dragon
is a subclass of
lizard
([fact: ["123992232@trueknowledge.com"]])
gecko
is a subclass of
lizard
([fact: ["124907512@trueknowledge.com"]])
skink
is a subclass of
lizard
([fact: ["127562843@trueknowledge.com"]])
Yellow-throated day gecko
is a subclass of
lizard
([fact: ["130997859@trueknowledge.com"]])
Gekko
is a subclass of
lizard
([fact: ["130998933@trueknowledge.com"]])
Teratoscincus
is a subclass of
lizard
([fact: ["130998984@trueknowledge.com"]])
Pygopus
is a subclass of
lizard
([fact: ["131000540@trueknowledge.com"]])
viviparous lizard
is a subclass of
lizard
([fact: ["131061769@trueknowledge.com"]])
Aeluroscalabotes felinus
is a subclass of
lizard
([fact: ["131088689@trueknowledge.com"]])
Mabuya tytleri
is a subclass of
lizard
([fact: ["131173357@trueknowledge.com"]])
Diplodactylinae
is a subclass of
lizard
([fact: ["131177834@trueknowledge.com"]])
Ardeosaurus
is a subclass of
lizard
([fact: ["131258783@trueknowledge.com"]])
Bavarisaurus
is a subclass of
lizard
([fact: ["131285049@trueknowledge.com"]])
Yabeinosaurus
is a subclass of
lizard
([fact: ["131336744@trueknowledge.com"]])
Agamura persica
is a subclass of
lizard
([fact: ["131356417@trueknowledge.com"]])
Dolichosaurus
is a subclass of
lizard
([fact: ["131383349@trueknowledge.com"]])
Rhabdopelix
is a subclass of
lizard
([fact: ["131754618@trueknowledge.com"]])
Cyrtodactylus phongnhakebangensis
is a subclass of
lizard
([fact: ["133389311@trueknowledge.com"]])
Trapelus agilis
is a subclass of
lizard
([fact: ["137354475@trueknowledge.com"]])
Xenosaurus grandis
is a subclass of
lizard
([fact: ["137354477@trueknowledge.com"]])
Xenosaurus rectocollaris
is a subclass of
lizard
([fact: ["137354479@trueknowledge.com"]])
Varanus griseus
is a subclass of
lizard
([fact: ["137354481@trueknowledge.com"]])
Urosaurus ornatus
is a subclass of
lizard
([fact: ["137354483@trueknowledge.com"]])
Takydromus haughtonianus
is a subclass of
lizard
([fact: ["137354485@trueknowledge.com"]])
Takydromus khasiensis
is a subclass of
lizard
([fact: ["137354487@trueknowledge.com"]])
Southern Alligator Lizard
is a subclass of
lizard
([fact: ["137354488@trueknowledge.com"]])
Psammophilus blanfordanus
is a subclass of
lizard
([fact: ["137354489@trueknowledge.com"]])
Psammophilus dorsalis
is a subclass of
lizard
([fact: ["137354491@trueknowledge.com"]])
Stenolepis
is a subclass of
lizard
([fact: ["137354492@trueknowledge.com"]])
Ophidiocephalus
is a subclass of
lizard
([fact: ["137354493@trueknowledge.com"]])
Acanthosaura
is a subclass of
lizard
([fact: ["137354495@trueknowledge.com"]])
Algyroides
is a subclass of
lizard
([fact: ["137354496@trueknowledge.com"]])
Alopoglossus
is a subclass of
lizard
([fact: ["137354497@trueknowledge.com"]])
Amapasaurus tetradactylus
is a subclass of
lizard
([fact: ["137354499@trueknowledge.com"]])
American legless lizard
is a subclass of
lizard
([fact: ["137354501@trueknowledge.com"]])
Aspidoscelis
is a subclass of
lizard
([fact: ["137354503@trueknowledge.com"]])
Blue Tegu
is a subclass of
lizard
([fact: ["137354504@trueknowledge.com"]])
Brachylophus fasciatus
is a subclass of
lizard
([fact: ["137354505@trueknowledge.com"]])
Brachysaura minor
is a subclass of
lizard
([fact: ["137354507@trueknowledge.com"]])
Bronchocela danieli
is a subclass of
lizard
([fact: ["137354508@trueknowledge.com"]])
Bufoniceps laungwalaensis
is a subclass of
lizard
([fact: ["137354509@trueknowledge.com"]])
Calotes andamanensis
is a subclass of
lizard
([fact: ["137354510@trueknowledge.com"]])
Calotes ellioti
is a subclass of
lizard
([fact: ["137354511@trueknowledge.com"]])
Calotes grandisquamis
is a subclass of
lizard
([fact: ["137354512@trueknowledge.com"]])
Calotes mystaceus
is a subclass of
lizard
([fact: ["137354513@trueknowledge.com"]])
Calotes nemoricola
is a subclass of
lizard
([fact: ["137354514@trueknowledge.com"]])
Calotes rouxii
is a subclass of
lizard
([fact: ["137354515@trueknowledge.com"]])
Calotes versicolor
is a subclass of
lizard
([fact: ["137354516@trueknowledge.com"]])
Chalarodon
is a subclass of
lizard
([fact: ["137354517@trueknowledge.com"]])
Aspidoscelis tigris
is a subclass of
lizard
([fact: ["137354518@trueknowledge.com"]])
Coachella Valley Fringe-toed Lizard
is a subclass of
lizard
([fact: ["137354519@trueknowledge.com"]])
Coryphophylax subcristatus
is a subclass of
lizard
([fact: ["137354520@trueknowledge.com"]])
Crotaphytus bicinctores
is a subclass of
lizard
([fact: ["137354521@trueknowledge.com"]])
Crotaphytidae
is a subclass of
lizard
([fact: ["137354522@trueknowledge.com"]])
Cryptagama
is a subclass of
lizard
([fact: ["137354523@trueknowledge.com"]])
Cuban night lizard
is a subclass of
lizard
([fact: ["137354524@trueknowledge.com"]])
Teius
is a subclass of
lizard
([fact: ["137354525@trueknowledge.com"]])
Dibamus nicobaricum
is a subclass of
lizard
([fact: ["137354526@trueknowledge.com"]])
Desert night lizard
is a subclass of
lizard
([fact: ["137354527@trueknowledge.com"]])
Dixonius
is a subclass of
lizard
([fact: ["137354528@trueknowledge.com"]])
Draco blanfordii
is a subclass of
lizard
([fact: ["137354529@trueknowledge.com"]])
Draco maculatus
is a subclass of
lizard
([fact: ["137354530@trueknowledge.com"]])
Draco norvillii
is a subclass of
lizard
([fact: ["137354532@trueknowledge.com"]])
Earless lizard
is a subclass of
lizard
([fact: ["137354533@trueknowledge.com"]])
Gambelia
is a subclass of
lizard
([fact: ["137354534@trueknowledge.com"]])
Gambelia wislizenii
is a subclass of
lizard
([fact: ["137354535@trueknowledge.com"]])
Gekko smithii
is a subclass of
lizard
([fact: ["137354536@trueknowledge.com"]])
Gerrhonotus
is a subclass of
lizard
([fact: ["137354537@trueknowledge.com"]])
Giant Horned Lizard
is a subclass of
lizard
([fact: ["137354538@trueknowledge.com"]])
Japalura andersoniana
is a subclass of
lizard
([fact: ["137354539@trueknowledge.com"]])
Japalura kumaonensis
is a subclass of
lizard
([fact: ["137354540@trueknowledge.com"]])
Japalura major
is a subclass of
lizard
([fact: ["137354541@trueknowledge.com"]])
Japalura tricarinata
is a subclass of
lizard
([fact: ["137354542@trueknowledge.com"]])
Japalura variegata
is a subclass of
lizard
([fact: ["137354543@trueknowledge.com"]])
Heliobolus
is a subclass of
lizard
([fact: ["137354544@trueknowledge.com"]])
Hemidactylus brookii
is a subclass of
lizard
([fact: ["137354545@trueknowledge.com"]])
Holaspis
is a subclass of
lizard
([fact: ["137354546@trueknowledge.com"]])
Lacerta
is a subclass of
lizard
([fact: ["137354547@trueknowledge.com"]])
Laemanctus
is a subclass of
lizard
([fact: ["137354548@trueknowledge.com"]])
Latastia
is a subclass of
lizard
([fact: ["137354549@trueknowledge.com"]])
Laudakia agrorensis
is a subclass of
lizard
([fact: ["137354550@trueknowledge.com"]])
Laudakia badakhshana
is a subclass of
lizard
([fact: ["137354551@trueknowledge.com"]])
Laudakia himalayana
is a subclass of
lizard
([fact: ["137354552@trueknowledge.com"]])
Laudakia melanura
is a subclass of
lizard
([fact: ["137354553@trueknowledge.com"]])
Laudakia pakistanica
is a subclass of
lizard
([fact: ["137354554@trueknowledge.com"]])
Laudakia tuberculata
is a subclass of
lizard
([fact: ["137354555@trueknowledge.com"]])
Ophiosaurus gracilis
is a subclass of
lizard
([fact: ["137354556@trueknowledge.com"]])
Ophisops beddomei
is a subclass of
lizard
([fact: ["137354557@trueknowledge.com"]])
Ophisops elegans
is a subclass of
lizard
([fact: ["137354558@trueknowledge.com"]])
Ophisops jerdonii
is a subclass of
lizard
([fact: ["137354559@trueknowledge.com"]])
Ophisops microlepis
is a subclass of
lizard
([fact: ["137354560@trueknowledge.com"]])
Ophisops minor
is a subclass of
lizard
([fact: ["137354561@trueknowledge.com"]])
Oplurus
is a subclass of
lizard
([fact: ["137354562@trueknowledge.com"]])
Oriocalotes
is a subclass of
lizard
([fact: ["137354563@trueknowledge.com"]])
Oriocalotes paulus
is a subclass of
lizard
([fact: ["137354564@trueknowledge.com"]])
Otocryptis beddomii
is a subclass of
lizard
([fact: ["137354566@trueknowledge.com"]])
Mictopholis austeniana
is a subclass of
lizard
([fact: ["137354567@trueknowledge.com"]])
Mountain Short-horned Lizard
is a subclass of
lizard
([fact: ["137354568@trueknowledge.com"]])
Mountain dragon
is a subclass of
lizard
([fact: ["137354569@trueknowledge.com"]])
Philochortus
is a subclass of
lizard
([fact: ["137354570@trueknowledge.com"]])
Phoxophrys
is a subclass of
lizard
([fact: ["137354571@trueknowledge.com"]])
mammal
is a distinct class from
reptile
([fact: ["1148864@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
Governor
is a distinct class from
lizard
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
George W. Bush
is not a
lizard
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
1995 - 2000
Fact 2
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
May 25th 2013, 15:27:06
I know from locally stored knowledge that:
Fact 3:
George W. Bush
is a
American
([fact: ["123928544@trueknowledge.com"]])
Fact 3
is true for
the beginning of time onwards
([fact: ["123928545@trueknowledge.com"]])
American
is a subclass of
inhabitant
([fact: ["123928486@trueknowledge.com"]])
American
is a subclass of
person
([fact: ["123928581@trueknowledge.com"]])
US president
is a subclass of
American
([fact: ["123928561@trueknowledge.com"]])
american male
is a subclass of
American
([fact: ["130926064@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
American
is a distinct class from
lizard
Facts
Show facts
