Therefore (generator: ["strictequal1@trueknowledge.com"]):
Mac mini
is not strictly equal to
laptop
I know from locally stored knowledge that:
Mac mini
is a subclass of
Apple computer
([fact: ["162467806@trueknowledge.com"]])
Mac mini
is a subclass of
desktop computer
([fact: ["123952732@trueknowledge.com"]])
Mac mini
is a subclass of
Mac
([fact: ["123952737@trueknowledge.com"]])
laptop
is a subclass of
portable computer
([fact: ["19606162@trueknowledge.com"]])
laptop
is a subclass of
computer
([fact: ["379020011@trueknowledge.com"]])
portable Dell Inspiron
is a subclass of
laptop
([fact: ["123974454@trueknowledge.com"]])
ThinkPad
is a subclass of
laptop
([fact: ["123974500@trueknowledge.com"]])
ultraportable notebook
is a subclass of
laptop
([fact: ["123974538@trueknowledge.com"]])
Sony Vaio laptop
is a subclass of
laptop
([fact: ["123974592@trueknowledge.com"]])
MacBook notebook
is a subclass of
laptop
([fact: ["127585363@trueknowledge.com"]])
the everex cloudbook
is a subclass of
laptop
([fact: ["236034750@trueknowledge.com"]])
Acer laptop
is a subclass of
laptop
([fact: ["304288310@trueknowledge.com"]])
Fujitsu laptop
is a subclass of
laptop
([fact: ["304288838@trueknowledge.com"]])
IdeaPad
is a subclass of
laptop
([fact: ["304296082@trueknowledge.com"]])
HP laptop
is a subclass of
laptop
([fact: ["304296994@trueknowledge.com"]])
Toshiba laptop
is a subclass of
laptop
([fact: ["304300946@trueknowledge.com"]])
Gateway laptop
is a subclass of
laptop
([fact: ["304338494@trueknowledge.com"]])
Dell laptop
is a subclass of
laptop
([fact: ["304345962@trueknowledge.com"]])
Averatec Buddy
is a subclass of
laptop
([fact: ["359934171@trueknowledge.com"]])
Toshiba Libretto
is a subclass of
laptop
([fact: ["360989867@trueknowledge.com"]])
Toshiba Portégé
is a subclass of
laptop
([fact: ["360991959@trueknowledge.com"]])
HP 2133 Mini-Note PC
is a subclass of
laptop
([fact: ["372783199@trueknowledge.com"]])
CloudBook
is a subclass of
laptop
([fact: ["423277039@trueknowledge.com"]])
Classmate PC
is a subclass of
laptop
([fact: ["427326784@trueknowledge.com"]])
OLPC XO-1
is a subclass of
laptop
([fact: ["429140036@trueknowledge.com"]])
Dell Inspiron Mini Series
is a subclass of
laptop
([fact: ["432375272@trueknowledge.com"]])
Aigo MID
is a subclass of
laptop
([fact: ["458098808@trueknowledge.com"]])
MSI Wind Netbook
is a subclass of
laptop
([fact: ["582493316@trueknowledge.com"]])
Comparison of subnotebooks
is a subclass of
laptop
([fact: ["582613392@trueknowledge.com"]])
Sakshat
is a subclass of
laptop
([fact: ["582690648@trueknowledge.com"]])
Gdium
is a subclass of
laptop
([fact: ["582789712@trueknowledge.com"]])
One A110
is a subclass of
laptop
([fact: ["582918800@trueknowledge.com"]])
HP Mini 2140
is a subclass of
laptop
([fact: ["583012476@trueknowledge.com"]])
Dell Inspiron Mini 9
is a subclass of
laptop
([fact: ["641633704@trueknowledge.com"]])
MacBook Air
is a subclass of
laptop
([fact: ["643422140@trueknowledge.com"]])
InkMedia
is a subclass of
laptop
([fact: ["643456724@trueknowledge.com"]])
Palm Foleo
is a subclass of
laptop
([fact: ["644305632@trueknowledge.com"]])
SAMSUNG-NP-R519-JA05UK laptop
is a subclass of
laptop
([fact: ["660885432@trueknowledge.com"]])
ACER-AS5532-314G50MN laptop
is a subclass of
laptop
([fact: ["660885528@trueknowledge.com"]])
COMPAQ-CQ61-317SA laptop
is a subclass of
laptop
([fact: ["660885608@trueknowledge.com"]])
ZOOSTORM-FIZZBOOK-SPIN laptop
is a subclass of
laptop
([fact: ["660885708@trueknowledge.com"]])
ACER-AS1410T laptop
is a subclass of
laptop
([fact: ["660885808@trueknowledge.com"]])
COMPAQ-CQ61-360SA laptop
is a subclass of
laptop
([fact: ["660885904@trueknowledge.com"]])
COMPAQ-CQ61-324SA-WINDOWS-7-LAPTOP laptop
is a subclass of
laptop
([fact: ["660886004@trueknowledge.com"]])
TOSHIBA-SAT-L450D-11V laptop
is a subclass of
laptop
([fact: ["660886104@trueknowledge.com"]])
ACER-FO200-312G25N laptop
is a subclass of
laptop
([fact: ["660886244@trueknowledge.com"]])
ACER-AS5532 laptop
is a subclass of
laptop
([fact: ["660886344@trueknowledge.com"]])
TOSHIBA-SATELLITE-L300-29W laptop
is a subclass of
laptop
([fact: ["660886496@trueknowledge.com"]])
TOSHIBA-L350D-214 laptop
is a subclass of
laptop
([fact: ["660886596@trueknowledge.com"]])
TOSHIBA-T110-11U laptop
is a subclass of
laptop
([fact: ["660886692@trueknowledge.com"]])
HP-DV6-2020SA laptop
is a subclass of
laptop
([fact: ["660886792@trueknowledge.com"]])
ACER-TIMELINE-AS5810T laptop
is a subclass of
laptop
([fact: ["660886888@trueknowledge.com"]])
ACER-AS3810TZ laptop
is a subclass of
laptop
([fact: ["660886984@trueknowledge.com"]])
COMPAQ-CQ71-314SA laptop
is a subclass of
laptop
([fact: ["660887084@trueknowledge.com"]])
TOSHIBA-T130-11K laptop
is a subclass of
laptop
([fact: ["660887184@trueknowledge.com"]])
TOSHIBA-T130-11H laptop
is a subclass of
laptop
([fact: ["660887280@trueknowledge.com"]])
TOSHIBA-L350D-215 laptop
is a subclass of
laptop
([fact: ["660887380@trueknowledge.com"]])
TOSHIBA-SAT-L500-19Z laptop
is a subclass of
laptop
([fact: ["660887476@trueknowledge.com"]])
ACER-AS8530G laptop
is a subclass of
laptop
([fact: ["660887580@trueknowledge.com"]])
HP-DM3-1025SA laptop
is a subclass of
laptop
([fact: ["660887668@trueknowledge.com"]])
SONY-VGNNW20EF-S.CEK laptop
is a subclass of
laptop
([fact: ["660887768@trueknowledge.com"]])
ACER-AS5810T-944G32 laptop
is a subclass of
laptop
([fact: ["660887868@trueknowledge.com"]])
ACER-AS5738DZG laptop
is a subclass of
laptop
([fact: ["660887968@trueknowledge.com"]])
TOSHIBA-U500-10X laptop
is a subclass of
laptop
([fact: ["660888028@trueknowledge.com"]])
SONY-VGNNW20SF-P.CEK laptop
is a subclass of
laptop
([fact: ["660888080@trueknowledge.com"]])
TOSHIBA-T130-13M laptop
is a subclass of
laptop
([fact: ["660888132@trueknowledge.com"]])
TOSHIBA-T130-12Z laptop
is a subclass of
laptop
([fact: ["660888184@trueknowledge.com"]])
ACER-AS4810TZG laptop
is a subclass of
laptop
([fact: ["660888236@trueknowledge.com"]])
TOSHIBA-U500-10Z laptop
is a subclass of
laptop
([fact: ["660888288@trueknowledge.com"]])
ACER-AS5810TZG laptop
is a subclass of
laptop
([fact: ["660888340@trueknowledge.com"]])
TOSHIBA-T130-13N laptop
is a subclass of
laptop
([fact: ["660888392@trueknowledge.com"]])
SONY-VGNNW20SF-S.CEK laptop
is a subclass of
laptop
([fact: ["660888444@trueknowledge.com"]])
ACER-AS5935G-644G32 laptop
is a subclass of
laptop
([fact: ["660888492@trueknowledge.com"]])
TOSHIBA-T130-12N laptop
is a subclass of
laptop
([fact: ["660888548@trueknowledge.com"]])
SAMSUNG-NP-X520-JB01UK laptop
is a subclass of
laptop
([fact: ["660888600@trueknowledge.com"]])
ACER-AS5738PG laptop
is a subclass of
laptop
([fact: ["660888648@trueknowledge.com"]])
SONY-BZ12EN laptop
is a subclass of
laptop
([fact: ["660888704@trueknowledge.com"]])
SONY-VGN-P11ZR laptop
is a subclass of
laptop
([fact: ["660888756@trueknowledge.com"]])
SONY-VPCCW1S1E-P.CEK laptop
is a subclass of
laptop
([fact: ["660888808@trueknowledge.com"]])
SONY-VPCCW1Z6E01B.AE laptop
is a subclass of
laptop
([fact: ["660888860@trueknowledge.com"]])
TOSHIBA-U500-12C laptop
is a subclass of
laptop
([fact: ["660888912@trueknowledge.com"]])
SONY-VPCCW1S1E-R.CEK laptop
is a subclass of
laptop
([fact: ["660888960@trueknowledge.com"]])
SONY-RECON-VGN-FW31J laptop
is a subclass of
laptop
([fact: ["660889016@trueknowledge.com"]])
TOSHIBA-U500-176-4GB laptop
is a subclass of
laptop
([fact: ["660889068@trueknowledge.com"]])
SONY-VGN-P11ZG laptop
is a subclass of
laptop
([fact: ["660889120@trueknowledge.com"]])
SONY-VGN-P11ZW laptop
is a subclass of
laptop
([fact: ["660889172@trueknowledge.com"]])
SONY-VGNFW56007B.AE1 laptop
is a subclass of
laptop
([fact: ["660889224@trueknowledge.com"]])
HP-DV3-2230EA laptop
is a subclass of
laptop
([fact: ["660889276@trueknowledge.com"]])
HP-TX2-1340EA laptop
is a subclass of
laptop
([fact: ["660889328@trueknowledge.com"]])
SONY-BZ21XN laptop
is a subclass of
laptop
([fact: ["660889380@trueknowledge.com"]])
SONY-VGNP31ZK-Q.CEK laptop
is a subclass of
laptop
([fact: ["660889432@trueknowledge.com"]])
SONY-VGNNW21ZF-S.CEK laptop
is a subclass of
laptop
([fact: ["660889484@trueknowledge.com"]])
ACER-AS5935G laptop
is a subclass of
laptop
([fact: ["660889536@trueknowledge.com"]])
APPLE-MC207 laptop
is a subclass of
laptop
([fact: ["660889588@trueknowledge.com"]])
SONY-VGNFW51JF-H.CEK laptop
is a subclass of
laptop
([fact: ["660889640@trueknowledge.com"]])
APPLE-Macbook-Pro-13-inch-MB990 laptop
is a subclass of
laptop
([fact: ["660889692@trueknowledge.com"]])
TOSHIBA-U500-178-4GB laptop
is a subclass of
laptop
([fact: ["660889744@trueknowledge.com"]])
SONY-VGN-SR39XN-S laptop
is a subclass of
laptop
([fact: ["660889796@trueknowledge.com"]])
ACER-AS8930G-904G100 laptop
is a subclass of
laptop
([fact: ["660889848@trueknowledge.com"]])
ACER-AS5940G laptop
is a subclass of
laptop
([fact: ["660889900@trueknowledge.com"]])
ACER-AS8935G laptop
is a subclass of
laptop
([fact: ["660889952@trueknowledge.com"]])
SONY-VGNSR59XG-H.CEK laptop
is a subclass of
laptop
([fact: ["660890004@trueknowledge.com"]])
APPLE-Macbook-Pro-13-inch-MB991 laptop
is a subclass of
laptop
([fact: ["660890056@trueknowledge.com"]])
SONY-VGNFW51MF-H.CEK laptop
is a subclass of
laptop
([fact: ["660890108@trueknowledge.com"]])
APPLE-Macbook-Air-13-inch-MC233 laptop
is a subclass of
laptop
([fact: ["660890160@trueknowledge.com"]])
SONY-VGNSR59VG-H.CEK laptop
is a subclass of
laptop
([fact: ["660890212@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
Mac mini
is a distinct class from
laptop
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
Mac mini
is not a subclass of
laptop
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
Mac mini
is not the same as or a subclass of
laptop
Facts
Show facts
