Therefore (generator: ["strictequal1@trueknowledge.com"]):
butterfly
is not strictly equal to
real software bug
I know from locally stored knowledge that:
butterfly
is a subclass of
eukaryote
([fact: ["1095869454@trueknowledge.com"]])
butterfly
is a subclass of
lepidopteran
([fact: ["123919713@trueknowledge.com"]])
butterfly
is a subclass of
arthropod
([fact: ["422134895@trueknowledge.com"]])
butterfly
is a subclass of
insect
([fact: ["422134891@trueknowledge.com"]])
butterfly
is a subclass of
animal
([fact: ["422134551@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
software bug
is strictly equal to
software bug
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
real software bug
is a subclass of
software bug
I know from locally stored knowledge that:
Nymphalidae
is a subclass of
butterfly
([fact: ["130997016@trueknowledge.com"]])
Inachis io
is a subclass of
butterfly
([fact: ["130997037@trueknowledge.com"]])
Small Tortoiseshell
is a subclass of
butterfly
([fact: ["130997058@trueknowledge.com"]])
Xerces Blue
is a subclass of
butterfly
([fact: ["131000525@trueknowledge.com"]])
Gulf Fritillary
is a subclass of
butterfly
([fact: ["131005112@trueknowledge.com"]])
Skipper
is a subclass of
butterfly
([fact: ["131007248@trueknowledge.com"]])
Palos Verdes Blue
is a subclass of
butterfly
([fact: ["131050707@trueknowledge.com"]])
Small White
is a subclass of
butterfly
([fact: ["131054870@trueknowledge.com"]])
Papilionoidea
is a subclass of
butterfly
([fact: ["131055699@trueknowledge.com"]])
Cloudless Sulphur
is a subclass of
butterfly
([fact: ["131056087@trueknowledge.com"]])
Anise Swallowtail
is a subclass of
butterfly
([fact: ["131056756@trueknowledge.com"]])
Speckled Wood
is a subclass of
butterfly
([fact: ["131057279@trueknowledge.com"]])
Meadow Brown
is a subclass of
butterfly
([fact: ["131059701@trueknowledge.com"]])
Lycaenidae
is a subclass of
butterfly
([fact: ["131060104@trueknowledge.com"]])
Silver-washed Fritillary
is a subclass of
butterfly
([fact: ["131060479@trueknowledge.com"]])
Sunset Morpho
is a subclass of
butterfly
([fact: ["131060549@trueknowledge.com"]])
whites
is a subclass of
butterfly
([fact: ["131060557@trueknowledge.com"]])
Arctic White
is a subclass of
butterfly
([fact: ["131060568@trueknowledge.com"]])
Orange Tip
is a subclass of
butterfly
([fact: ["131060786@trueknowledge.com"]])
Morocco Orange Tip
is a subclass of
butterfly
([fact: ["131060794@trueknowledge.com"]])
Falcate Orangetip
is a subclass of
butterfly
([fact: ["131061472@trueknowledge.com"]])
Green-striped White
is a subclass of
butterfly
([fact: ["131061602@trueknowledge.com"]])
Southern Rocky Mountain Orangetip
is a subclass of
butterfly
([fact: ["131062069@trueknowledge.com"]])
Eastern Orange Tip
is a subclass of
butterfly
([fact: ["131062656@trueknowledge.com"]])
Yellow tip
is a subclass of
butterfly
([fact: ["131063248@trueknowledge.com"]])
Utah Stella Orangetip
is a subclass of
butterfly
([fact: ["131064056@trueknowledge.com"]])
Heliconiinae
is a subclass of
butterfly
([fact: ["131064271@trueknowledge.com"]])
Southwestern Orangetip
is a subclass of
butterfly
([fact: ["131064284@trueknowledge.com"]])
Riodinidae
is a subclass of
butterfly
([fact: ["131066059@trueknowledge.com"]])
Anthocharis bieti
is a subclass of
butterfly
([fact: ["131066212@trueknowledge.com"]])
Gray Marble
is a subclass of
butterfly
([fact: ["131066243@trueknowledge.com"]])
Olympia Marble
is a subclass of
butterfly
([fact: ["131066299@trueknowledge.com"]])
Western Dappled White
is a subclass of
butterfly
([fact: ["131066477@trueknowledge.com"]])
Greenish Black-tip
is a subclass of
butterfly
([fact: ["131066914@trueknowledge.com"]])
viceroy butterfly
is a subclass of
butterfly
([fact: ["131076031@trueknowledge.com"]])
Gatekeeper Butterfly
is a subclass of
butterfly
([fact: ["131084612@trueknowledge.com"]])
Astraptes fulgerator
is a subclass of
butterfly
([fact: ["131086969@trueknowledge.com"]])
owl butterfly
is a subclass of
butterfly
([fact: ["131107598@trueknowledge.com"]])
Apodemia
is a subclass of
butterfly
([fact: ["131107978@trueknowledge.com"]])
Apodemia mormo
is a subclass of
butterfly
([fact: ["131107993@trueknowledge.com"]])
Pierini
is a subclass of
butterfly
([fact: ["131117449@trueknowledge.com"]])
osmeterium
is a subclass of
butterfly
([fact: ["131121753@trueknowledge.com"]])
Perophthalma
is a subclass of
butterfly
([fact: ["131122342@trueknowledge.com"]])
Chequered Skipper
is a subclass of
butterfly
([fact: ["131122947@trueknowledge.com"]])
Nymphalinae
is a subclass of
butterfly
([fact: ["131123191@trueknowledge.com"]])
Junonia coenia
is a subclass of
butterfly
([fact: ["131123200@trueknowledge.com"]])
Dryas julia
is a subclass of
butterfly
([fact: ["131123240@trueknowledge.com"]])
Siproeta stelenes
is a subclass of
butterfly
([fact: ["131123260@trueknowledge.com"]])
Argynnina
is a subclass of
butterfly
([fact: ["131124313@trueknowledge.com"]])
Speyeria zerene
is a subclass of
butterfly
([fact: ["131124323@trueknowledge.com"]])
Anartia amathea
is a subclass of
butterfly
([fact: ["131125503@trueknowledge.com"]])
Dark Green Fritillary
is a subclass of
butterfly
([fact: ["131127389@trueknowledge.com"]])
Grayling
is a subclass of
butterfly
([fact: ["131127804@trueknowledge.com"]])
Spread-winged Skippers
is a subclass of
butterfly
([fact: ["131129344@trueknowledge.com"]])
Anthocharini
is a subclass of
butterfly
([fact: ["131131050@trueknowledge.com"]])
Satyrinae
is a subclass of
butterfly
([fact: ["131133357@trueknowledge.com"]])
Sonoran Marble
is a subclass of
butterfly
([fact: ["131141558@trueknowledge.com"]])
Mountain Dappled White
is a subclass of
butterfly
([fact: ["131142201@trueknowledge.com"]])
Great Spangled Fritillary
is a subclass of
butterfly
([fact: ["131142487@trueknowledge.com"]])
Sara Longwing
is a subclass of
butterfly
([fact: ["131145374@trueknowledge.com"]])
Crimson Patch
is a subclass of
butterfly
([fact: ["131145394@trueknowledge.com"]])
Graphium
is a subclass of
butterfly
([fact: ["131145667@trueknowledge.com"]])
Hypolimnas
is a subclass of
butterfly
([fact: ["131146467@trueknowledge.com"]])
Dryadula phaetusa
is a subclass of
butterfly
([fact: ["131148922@trueknowledge.com"]])
Mycalesis anaxias
is a subclass of
butterfly
([fact: ["131154645@trueknowledge.com"]])
Anthocharis
is a subclass of
butterfly
([fact: ["131162078@trueknowledge.com"]])
Limenitis arthemis
is a subclass of
butterfly
([fact: ["131162396@trueknowledge.com"]])
Polyura athamas
is a subclass of
butterfly
([fact: ["131163671@trueknowledge.com"]])
St. Helena earwig
is a subclass of
butterfly
([fact: ["131167011@trueknowledge.com"]])
Maculinea alcon
is a subclass of
butterfly
([fact: ["131167429@trueknowledge.com"]])
Ancistroides nigrita
is a subclass of
butterfly
([fact: ["131172291@trueknowledge.com"]])
Heliconius hecale
is a subclass of
butterfly
([fact: ["131174314@trueknowledge.com"]])
Melanitis leda
is a subclass of
butterfly
([fact: ["131180917@trueknowledge.com"]])
Limenitidinae
is a subclass of
butterfly
([fact: ["131183737@trueknowledge.com"]])
Charaxinae
is a subclass of
butterfly
([fact: ["131184011@trueknowledge.com"]])
Apaturinae
is a subclass of
butterfly
([fact: ["131184021@trueknowledge.com"]])
Parnassius acdestis
is a subclass of
butterfly
([fact: ["131191497@trueknowledge.com"]])
Parnassius acco
is a subclass of
butterfly
([fact: ["131191517@trueknowledge.com"]])
Nirvanopsis
is a subclass of
butterfly
([fact: ["131199789@trueknowledge.com"]])
Lethe
is a subclass of
butterfly
([fact: ["131199798@trueknowledge.com"]])
Astraptes
is a subclass of
butterfly
([fact: ["131201113@trueknowledge.com"]])
Limenitis procris
is a subclass of
butterfly
([fact: ["131201727@trueknowledge.com"]])
Polyura schreiber
is a subclass of
butterfly
([fact: ["131210136@trueknowledge.com"]])
Prothoe franck
is a subclass of
butterfly
([fact: ["131210308@trueknowledge.com"]])
Agatasa calydonia
is a subclass of
butterfly
([fact: ["131210351@trueknowledge.com"]])
Freyer's purple emperor
is a subclass of
butterfly
([fact: ["131228726@trueknowledge.com"]])
Satyrini
is a subclass of
butterfly
([fact: ["131233982@trueknowledge.com"]])
Lycaeninae
is a subclass of
butterfly
([fact: ["131234845@trueknowledge.com"]])
Cheritra freja
is a subclass of
butterfly
([fact: ["131246676@trueknowledge.com"]])
Megisba malaya
is a subclass of
butterfly
([fact: ["131251135@trueknowledge.com"]])
Anartia jatrophae
is a subclass of
butterfly
([fact: ["131260467@trueknowledge.com"]])
Anartia
is a subclass of
butterfly
([fact: ["131260472@trueknowledge.com"]])
Limenitis
is a subclass of
butterfly
([fact: ["131266864@trueknowledge.com"]])
Biblidinae
is a subclass of
butterfly
([fact: ["131273794@trueknowledge.com"]])
Catonephele
is a subclass of
butterfly
([fact: ["131273847@trueknowledge.com"]])
Catonephele orites
is a subclass of
butterfly
([fact: ["131273885@trueknowledge.com"]])
Apatura
is a subclass of
butterfly
([fact: ["131274048@trueknowledge.com"]])
Lesser Purple Emperor
is a subclass of
butterfly
([fact: ["131274086@trueknowledge.com"]])
Morphinae
is a subclass of
butterfly
([fact: ["131274249@trueknowledge.com"]])
Anartia chrysopelea
is a subclass of
butterfly
([fact: ["131278696@trueknowledge.com"]])
Anartia fatima
is a subclass of
butterfly
([fact: ["131278747@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
butterfly
I know from locally stored knowledge that:
lepidopteran
is a subclass of
non-human animal
([fact: ["1075312090@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
non-human animal
I know from locally stored knowledge that:
lepidopteran
is a subclass of
Endopterygota
([fact: ["643457972@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Endopterygota
I know from locally stored knowledge that:
lepidopteran
is a subclass of
Neoptera
([fact: ["678859500@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Neoptera
I know from locally stored knowledge that:
lepidopteran
is a subclass of
Pterygota
([fact: ["678859528@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Pterygota
butterfly
is a subclass of
individual object
butterfly
is a subclass of
Eumetazoa
I know from locally stored knowledge that:
arthropod
is a subclass of
Ecdysozoa
([fact: ["158965169@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Ecdysozoa
butterfly
is a subclass of
Bilateria
butterfly
is a subclass of
object classified by physical property
butterfly
is a subclass of
entity that is capable of deliberate action
I know from locally stored knowledge that:
insect
is a subclass of
Hexapoda
([fact: ["130985742@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Hexapoda
butterfly
is a subclass of
animal or plant
butterfly
is a subclass of
intelligence possessing entity
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
lepidopteran
I know from locally stored knowledge that:
Neoptera
is a subclass of
Hexapoda
([fact: ["1051008454@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
lepidopteran
is a subclass of
Hexapoda
butterfly
is a subclass of
Hexapoda
I know from locally stored knowledge that:
arthropod
is a subclass of
invertebrate
([fact: ["20087674@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
invertebrate
I know from locally stored knowledge that:
non-human animal
is a subclass of
product
([fact: ["105762094@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
lepidopteran
is a subclass of
product
butterfly
is a subclass of
product
lepidopteran
is a subclass of
property
butterfly
is a subclass of
property
I know from locally stored knowledge that:
non-human animal
is a subclass of
retail product
([fact: ["149716182@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
lepidopteran
is a subclass of
retail product
butterfly
is a subclass of
retail product
I know from locally stored knowledge that:
insect
is a subclass of
Mandible
([fact: ["907707018@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Mandible
butterfly
is a subclass of
biological thing
butterfly
is a subclass of
physical object
butterfly
is a subclass of
object with a geographical location
butterfly
is a subclass of
entity
butterfly
is a subclass of
thing that was created
I know from locally stored knowledge that:
eukaryote
is a subclass of
organism
([fact: ["123950341@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
organism
butterfly
is a subclass of
visible object
butterfly
is a subclass of
natural object
butterfly
is a subclass of
object with a mass
butterfly
is a subclass of
object with a height
I know from locally stored knowledge that:
eukaryote
is a subclass of
Neomura
([fact: ["130985555@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
butterfly
is a subclass of
Neomura
butterfly
is a subclass of
object with a length or height
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
real software bug
I know from locally stored knowledge that:
software bug
is a subclass of
defect
([fact: ["127631736@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
real software bug
is a subclass of
defect
real software bug
is a subclass of
entity
real software bug
is a subclass of
conceptual object
I know from locally stored knowledge that:
physical object
is a distinct class from
conceptual object
([fact: ["1131447@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
butterfly
is a distinct class from
real software bug
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
butterfly
is not a subclass of
real software bug
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
butterfly
is not the same as or a subclass of
real software bug
Facts
Show facts
Adding…
