Therefore (generator: ["strictequal1@trueknowledge.com"]):
tomatoes
is not strictly equal to
fruit
By calculation (generator: ["substance_subclass@trueknowledge.com"]) I know that:
tomatoes
is a subclass of
substance
I know from locally stored knowledge that:
tomatoes
is a subclass of
vegetable or vegetable-based food
([fact: ["652907952@trueknowledge.com"]])
tomatoes
is a subclass of
foodstuff
([fact: ["651141488@trueknowledge.com"]])
fruit
is a subclass of
item of produce
([fact: ["164323974@trueknowledge.com"]])
fruit
is a subclass of
vegetarian food item
([fact: ["163366098@trueknowledge.com"]])
fruit
is a subclass of
part of a plant
([fact: ["123918581@trueknowledge.com"]])
fruit
is a subclass of
plant organ
([fact: ["123892537@trueknowledge.com"]])
fruit
is a subclass of
food item
([fact: ["149321874@trueknowledge.com"]])
fruit
is a subclass of
part of an organism
([fact: ["105704510@trueknowledge.com"]])
green tomatoes
is a subclass of
tomatoes
([fact: ["652907956@trueknowledge.com"]])
red tomatoes
is a subclass of
tomatoes
([fact: ["652907972@trueknowledge.com"]])
crushed tomatoes
is a subclass of
tomatoes
([fact: ["652909092@trueknowledge.com"]])
orange tomatoes
is a subclass of
tomatoes
([fact: ["652909100@trueknowledge.com"]])
yellow tomatoes
is a subclass of
tomatoes
([fact: ["652909108@trueknowledge.com"]])
sun-dried tomatoes
is a subclass of
tomatoes
([fact: ["652910996@trueknowledge.com"]])
cranberry
is a subclass of
fruit
([fact: ["2344171186@trueknowledge.com"]])
Fragaria ×bringhurstii
is a subclass of
fruit
([fact: ["2341248842@trueknowledge.com"]])
Jostaberry
is a subclass of
fruit
([fact: ["2269506302@trueknowledge.com"]])
Babaco
is a subclass of
fruit
([fact: ["2040577466@trueknowledge.com"]])
Pineberry
is a subclass of
fruit
([fact: ["1873365914@trueknowledge.com"]])
plumcot
is a subclass of
fruit
([fact: ["662896840@trueknowledge.com"]])
nectacotum
is a subclass of
fruit
([fact: ["662896836@trueknowledge.com"]])
clementine
is a subclass of
fruit
([fact: ["368043779@trueknowledge.com"]])
pomegranate
is a subclass of
fruit
([fact: ["366838963@trueknowledge.com"]])
fig
is a subclass of
fruit
([fact: ["166160826@trueknowledge.com"]])
date
is a subclass of
fruit
([fact: ["166157094@trueknowledge.com"]])
caper
is a subclass of
fruit
([fact: ["166107034@trueknowledge.com"]])
squash
is a subclass of
fruit
([fact: ["164428430@trueknowledge.com"]])
Zucchini
is a subclass of
fruit
([fact: ["164426894@trueknowledge.com"]])
lychee
is a subclass of
fruit
([fact: ["164381458@trueknowledge.com"]])
passion fruit
is a subclass of
fruit
([fact: ["164332150@trueknowledge.com"]])
pomegranate
is a subclass of
fruit
([fact: ["164329846@trueknowledge.com"]])
grape
is a subclass of
fruit
([fact: ["164306322@trueknowledge.com"]])
mango
is a subclass of
fruit
([fact: ["164304318@trueknowledge.com"]])
Pear
is a subclass of
fruit
([fact: ["164302990@trueknowledge.com"]])
olive
is a subclass of
fruit
([fact: ["139868012@trueknowledge.com"]])
tomato
is a subclass of
fruit
([fact: ["136135526@trueknowledge.com"]])
melon
is a subclass of
fruit
([fact: ["124062768@trueknowledge.com"]])
coconut
is a subclass of
fruit
([fact: ["124051218@trueknowledge.com"]])
chili pepper
is a subclass of
fruit
([fact: ["123902227@trueknowledge.com"]])
pineapple
is a subclass of
fruit
([fact: ["123898347@trueknowledge.com"]])
kiwi
is a subclass of
fruit
([fact: ["123898318@trueknowledge.com"]])
carambola
is a subclass of
fruit
([fact: ["123898254@trueknowledge.com"]])
apricot
is a subclass of
fruit
([fact: ["123898207@trueknowledge.com"]])
plum
is a subclass of
fruit
([fact: ["123898199@trueknowledge.com"]])
cherry
is a subclass of
fruit
([fact: ["123898187@trueknowledge.com"]])
berry
is a subclass of
fruit
([fact: ["123895115@trueknowledge.com"]])
avocado
is a subclass of
fruit
([fact: ["123894421@trueknowledge.com"]])
raspberry
is a subclass of
fruit
([fact: ["123877216@trueknowledge.com"]])
strawberry
is a subclass of
fruit
([fact: ["123876857@trueknowledge.com"]])
orange
is a subclass of
fruit
([fact: ["105772319@trueknowledge.com"]])
citrus fruit
is a subclass of
fruit
([fact: ["105772300@trueknowledge.com"]])
peach
is a subclass of
fruit
([fact: ["105706156@trueknowledge.com"]])
apple
is a subclass of
fruit
([fact: ["105705905@trueknowledge.com"]])
banana
is a subclass of
fruit
([fact: ["105704523@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
tomatoes
is a distinct class from
fruit
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
tomatoes
is not a subclass of
fruit
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
tomatoes
is not the same as or a subclass of
fruit
Adding…
