Therefore (generator: ["strictequal1@trueknowledge.com"]):
shark
is not strictly equal to
real fish
I know from locally stored knowledge that:
shark
is a subclass of
Elasmobranchii
([fact: ["130986835@trueknowledge.com"]])
shark
is a subclass of
Cypriniformes
([fact: ["131300432@trueknowledge.com"]])
shark
is a subclass of
Cyprinid
([fact: ["131300431@trueknowledge.com"]])
shark
is a subclass of
marine fish
([fact: ["127372736@trueknowledge.com"]])
shark
is a subclass of
cartilaginous fish
([fact: ["124920223@trueknowledge.com"]])
shark
is a subclass of
eukaryote
([fact: ["720006980@trueknowledge.com"]])
shark
is a subclass of
chordate
([fact: ["130986838@trueknowledge.com"]])
shark
is a subclass of
organism
([fact: ["137206487@trueknowledge.com"]])
shark
is a subclass of
fish
([fact: ["19601920@trueknowledge.com"]])
shark
is a subclass of
non-human animal
([fact: ["1073698082@trueknowledge.com"]])
shark
is a subclass of
vertebrate
([fact: ["130986837@trueknowledge.com"]])
shark
is a subclass of
animal
([fact: ["131300434@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
fish
is strictly equal to
fish
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
real fish
is a subclass of
fish
I know from locally stored knowledge that:
Hybodontiformes
is a subclass of
shark
([fact: ["2479895330@trueknowledge.com"]])
Jiaodontus
is a subclass of
shark
([fact: ["2439231658@trueknowledge.com"]])
Pseudodalatias
is a subclass of
shark
([fact: ["2439014706@trueknowledge.com"]])
Symmoriidae
is a subclass of
shark
([fact: ["2438569158@trueknowledge.com"]])
Xenacanthus
is a subclass of
shark
([fact: ["2438376706@trueknowledge.com"]])
Orthacanthus
is a subclass of
shark
([fact: ["2437286398@trueknowledge.com"]])
Agassizodontidae
is a subclass of
shark
([fact: ["2437051242@trueknowledge.com"]])
Kawichthys
is a subclass of
shark
([fact: ["2346137650@trueknowledge.com"]])
Lissodus
is a subclass of
shark
([fact: ["2345426966@trueknowledge.com"]])
Akaimia
is a subclass of
shark
([fact: ["2342790906@trueknowledge.com"]])
Ptychodontidae
is a subclass of
shark
([fact: ["2339921354@trueknowledge.com"]])
Edestidae
is a subclass of
shark
([fact: ["2289669466@trueknowledge.com"]])
Squalicorax
is a subclass of
shark
([fact: ["2260718510@trueknowledge.com"]])
Carcharocles auriculatus
is a subclass of
shark
([fact: ["2248365506@trueknowledge.com"]])
Striatolamia
is a subclass of
shark
([fact: ["2205163970@trueknowledge.com"]])
Stethacanthidae
is a subclass of
shark
([fact: ["2198430494@trueknowledge.com"]])
Cardabiodon
is a subclass of
shark
([fact: ["2147053606@trueknowledge.com"]])
Sphenacanthus
is a subclass of
shark
([fact: ["2107331050@trueknowledge.com"]])
Otodus
is a subclass of
shark
([fact: ["2031524018@trueknowledge.com"]])
Carcharocles chubutensis
is a subclass of
shark
([fact: ["2026272106@trueknowledge.com"]])
Akmonistion
is a subclass of
shark
([fact: ["1972772798@trueknowledge.com"]])
Carcharocles angustidens
is a subclass of
shark
([fact: ["1868161410@trueknowledge.com"]])
Hemiscyllium galei
is a subclass of
shark
([fact: ["1733060326@trueknowledge.com"]])
Stethacanthus
is a subclass of
shark
([fact: ["1719961590@trueknowledge.com"]])
Carpet shark
is a subclass of
shark
([fact: ["1452059026@trueknowledge.com"]])
Acrodus
is a subclass of
shark
([fact: ["1302128038@trueknowledge.com"]])
Erquitaia
is a subclass of
shark
([fact: ["1253964950@trueknowledge.com"]])
Tristychius
is a subclass of
shark
([fact: ["1230338418@trueknowledge.com"]])
Megalodon
is a subclass of
shark
([fact: ["1208716570@trueknowledge.com"]])
Hemipristis serra
is a subclass of
shark
([fact: ["1114293706@trueknowledge.com"]])
Hemipristis curvatus
is a subclass of
shark
([fact: ["1114261334@trueknowledge.com"]])
Phorcynis
is a subclass of
shark
([fact: ["1023375326@trueknowledge.com"]])
bullhead shark
is a subclass of
shark
([fact: ["1017272262@trueknowledge.com"]])
Carcharhiniformes
is a subclass of
shark
([fact: ["702309196@trueknowledge.com"]])
Ptychodus
is a subclass of
shark
([fact: ["689848708@trueknowledge.com"]])
Eugeneodontida
is a subclass of
shark
([fact: ["677960652@trueknowledge.com"]])
Symmoriida
is a subclass of
shark
([fact: ["645677016@trueknowledge.com"]])
Cretoxyrhina
is a subclass of
shark
([fact: ["645569136@trueknowledge.com"]])
Cladoselachiformes
is a subclass of
shark
([fact: ["645562724@trueknowledge.com"]])
Hybodontidae
is a subclass of
shark
([fact: ["645520468@trueknowledge.com"]])
Squaliformes
is a subclass of
shark
([fact: ["644650528@trueknowledge.com"]])
Hybodus
is a subclass of
shark
([fact: ["644622056@trueknowledge.com"]])
Lamniformes
is a subclass of
shark
([fact: ["644535244@trueknowledge.com"]])
Angel sharks
is a subclass of
shark
([fact: ["644288644@trueknowledge.com"]])
daggernose shark
is a subclass of
shark
([fact: ["642401088@trueknowledge.com"]])
frilled shark
is a subclass of
shark
([fact: ["642266748@trueknowledge.com"]])
blacktip reef shark
is a subclass of
shark
([fact: ["641539264@trueknowledge.com"]])
horn shark
is a subclass of
shark
([fact: ["641309080@trueknowledge.com"]])
Hexanchiformes
is a subclass of
shark
([fact: ["423054855@trueknowledge.com"]])
Carpet sharks
is a subclass of
shark
([fact: ["375880951@trueknowledge.com"]])
dogfish
is a subclass of
shark
([fact: ["367569487@trueknowledge.com"]])
Anomotodon
is a subclass of
shark
([fact: ["131344581@trueknowledge.com"]])
Onefin catshark
is a subclass of
shark
([fact: ["131315290@trueknowledge.com"]])
lollipop catshark
is a subclass of
shark
([fact: ["131315283@trueknowledge.com"]])
Straight-tooth weasel shark
is a subclass of
shark
([fact: ["131315105@trueknowledge.com"]])
slender weasel shark
is a subclass of
shark
([fact: ["131315098@trueknowledge.com"]])
Atlantic weasel shark
is a subclass of
shark
([fact: ["131315091@trueknowledge.com"]])
Whitetip weasel shark
is a subclass of
shark
([fact: ["131315084@trueknowledge.com"]])
Sicklefin weasel shark
is a subclass of
shark
([fact: ["131315071@trueknowledge.com"]])
Australian weasel shark
is a subclass of
shark
([fact: ["131315064@trueknowledge.com"]])
Hooktooth shark
is a subclass of
shark
([fact: ["131315057@trueknowledge.com"]])
snaggletooth shark
is a subclass of
shark
([fact: ["131309824@trueknowledge.com"]])
Physogaleus
is a subclass of
shark
([fact: ["131300574@trueknowledge.com"]])
Scapanorhynchus
is a subclass of
shark
([fact: ["131231052@trueknowledge.com"]])
Xenacanthida
is a subclass of
shark
([fact: ["131181379@trueknowledge.com"]])
Cretoxyrhina mantelli
is a subclass of
shark
([fact: ["131063974@trueknowledge.com"]])
Bullhead sharks
is a subclass of
shark
([fact: ["130988547@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
real fish
I know from locally stored knowledge that:
fish
is a subclass of
foodstuff
([fact: ["651617232@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
real fish
is a subclass of
foodstuff
I know from locally stored knowledge that:
fish
is a subclass of
seafood
([fact: ["127720651@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
real fish
is a subclass of
seafood
I know from locally stored knowledge that:
fish
is a subclass of
fish or shellfish based food
([fact: ["652923984@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
real fish
is a subclass of
fish or shellfish based food
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
fish
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
fish
is a subclass of
class
real fish
is a subclass of
class
fish
is a subclass of
True Knowledge object
real fish
is a subclass of
True Knowledge object
fish
is a subclass of
conceptual object
real fish
is a subclass of
conceptual object
fish
is a subclass of
entity
real fish
is a subclass of
entity
fish
is a subclass of
concept with variable precision
real fish
is a subclass of
concept with variable precision
I know from locally stored knowledge that:
foodstuff
is a subclass of
substance
([fact: ["1160151@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
fish
is a subclass of
substance
real fish
is a subclass of
substance
fish
is a subclass of
visible object
real fish
is a subclass of
visible object
fish
is a subclass of
attribute, relation or class
real fish
is a subclass of
attribute, relation or class
I know from locally stored knowledge that:
foodstuff
is a subclass of
food
([fact: ["149321058@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
fish
is a subclass of
food
real fish
is a subclass of
food
fish
is a subclass of
non-product
real fish
is a subclass of
non-product
fish
is a subclass of
substance or conceptual substance
real fish
is a subclass of
substance or conceptual substance
I know from locally stored knowledge that:
foodstuff
is a subclass of
cause
([fact: ["666433932@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
fish
is a subclass of
cause
real fish
is a subclass of
cause
I know from locally stored knowledge that:
seafood
is a subclass of
meat (including seafood)
([fact: ["129901086@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
fish
is a subclass of
meat (including seafood)
real fish
is a subclass of
meat (including seafood)
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
seafood
I know from locally stored knowledge that:
meat (including seafood)
is a subclass of
animal-derived substance
([fact: ["124051339@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
seafood
is a subclass of
animal-derived substance
fish
is a subclass of
animal-derived substance
real fish
is a subclass of
animal-derived substance
I know from locally stored knowledge that:
meat (including seafood)
is a subclass of
protein food
([fact: ["148548369@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
seafood
is a subclass of
protein food
fish
is a subclass of
protein food
real fish
is a subclass of
protein food
I know from locally stored knowledge that:
meat (including seafood)
is a subclass of
simple food or ingredient
([fact: ["148518998@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
seafood
is a subclass of
simple food or ingredient
fish
is a subclass of
simple food or ingredient
real fish
is a subclass of
simple food or ingredient
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
meat (including seafood)
I know from locally stored knowledge that:
protein food
is a subclass of
simple food
([fact: ["149321265@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
meat (including seafood)
is a subclass of
simple food
seafood
is a subclass of
simple food
fish
is a subclass of
simple food
real fish
is a subclass of
simple food
I know from locally stored knowledge that:
biological thing
is a distinct class from
concept with variable precision
([fact: ["15623699@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
shark
is a distinct class from
real fish
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
shark
is not a subclass of
real fish
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
shark
is not the same as or a subclass of
real fish
Adding…
