By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
person
is the first parameter of
aquarius person
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
person
is strictly equal to
person
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
aquarius person
is a subclass of
person
I know from locally stored knowledge that:
person
is a subclass of
animal
([fact: ["124921598@trueknowledge.com"]])
person
is a subclass of
mammal
([fact: ["1131347@trueknowledge.com"]])
person
is a subclass of
biological thing
([fact: ["123883474@trueknowledge.com"]])
person
is a subclass of
entity
([fact: ["1147711@trueknowledge.com"]])
person
is a subclass of
vertebrate
([fact: ["234472130@trueknowledge.com"]])
person
is a subclass of
human being, organisation or other legal person
([fact: ["1131949@trueknowledge.com"]])
person
is a subclass of
source of knowledge
([fact: ["377730206@trueknowledge.com"]])
person
is a subclass of
thing that was created
([fact: ["130047557@trueknowledge.com"]])
person
is a subclass of
primate
([fact: ["1154500@trueknowledge.com"]])
person
is a subclass of
organism
([fact: ["137423976@trueknowledge.com"]])
person
is a subclass of
visible object
([fact: ["1161680@trueknowledge.com"]])
person
is a subclass of
chordate
([fact: ["131056794@trueknowledge.com"]])
person
is a subclass of
tetrapod
([fact: ["372821407@trueknowledge.com"]])
person
is a subclass of
Homo
([fact: ["303558074@trueknowledge.com"]])
person
is a subclass of
entity that is capable of deliberate action
([fact: ["129969855@trueknowledge.com"]])
person
is a subclass of
placental mammal
([fact: ["372821403@trueknowledge.com"]])
person
is a subclass of
therian
([fact: ["242999818@trueknowledge.com"]])
person
is a subclass of
eukaryote
([fact: ["242999826@trueknowledge.com"]])
person
is a subclass of
Homininae
([fact: ["242999810@trueknowledge.com"]])
person
is a subclass of
Gnathostomata
([fact: ["372821411@trueknowledge.com"]])
person
is a subclass of
ape
([fact: ["242999814@trueknowledge.com"]])
person
is a subclass of
Eumetazoa
([fact: ["242999822@trueknowledge.com"]])
person
is a subclass of
Catarrhini
([fact: ["372821387@trueknowledge.com"]])
person
is a subclass of
Haplorrhini
([fact: ["372821399@trueknowledge.com"]])
person
is a subclass of
Simian
([fact: ["372821395@trueknowledge.com"]])
person
is a subclass of
Hominini
([fact: ["242999806@trueknowledge.com"]])
person
is a subclass of
Hominina
([fact: ["242999802@trueknowledge.com"]])
person
is a subclass of
hominidae
([fact: ["131056793@trueknowledge.com"]])
person
is a subclass of
Homo Sapiens
([fact: ["800644644@trueknowledge.com"]])
Alpha 2000
is a subclass of
[singel engine aircraft]
([fact: ["135313103@trueknowledge.com"]])
Alpha 2000
is a subclass of
single engine aircraft
([fact: ["137412175@trueknowledge.com"]])
Alpha 2000
is a subclass of
propeller aircraft
([fact: ["135313102@trueknowledge.com"]])
Alpha 2000
is a subclass of
vehicle
([fact: ["1430836054@trueknowledge.com"]])
Alpha 2000
is a subclass of
aircraft
([fact: ["1430836058@trueknowledge.com"]])
biological thing
is a distinct class from
vehicle
([fact: ["1149033@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
aquarius person
is a distinct class from
Alpha 2000
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
aquarius
is strictly equal to
aquarius
By calculation (generator: ["ppac2@trueknowledge.com"]) I know that:
aquarius
is true of every
aquarius person
By calculation (generator: ["ppacspecifiedby@trueknowledge.com"]) I know that:
aquarius person
is specified by
person and aquarius
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
permanent
applies to
aquarius
([fact: ["20042599@trueknowledge.com"]])
By calculation (generator: ["permanentisspecifiedby@trueknowledge.com"]) I know that:
permanent
applies to
aquarius person
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 1:
Frederick Douglass
is not a
Alpha 2000
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
Facts
Show facts
