Welcome to SWI-Prolog (Version 2.7.16)
Copyright (c) 1993-1996 University of Amsterdam.  All rights reserved.

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?- consult('kb1.pro').
kb1.pro compiled, 0.00 sec, 4,344 bytes.

Yes
2 ?- concept(C),write(C),nl,fail.
airplane
banana
bar
beer
bottle
car
carrot
clock
drum
food
key
halloween
hand
head
largo
nail
neck
orange
person
piano
picnic
racket
su
track
train
vehicle
wheel
wing

No
3 ?- consult('tribondx1.pro').
comparisons.pro compiled, 0.00 sec, 1,380 bytes.
tribondx1.pro compiled, 0.00 sec, 3,648 bytes.

Yes
4 ?- tribond(car,airplane,train,CommonThing). 

CommonThing = vehicle ;

No
5 ?- tribond(car,dog,mouse,CommonThing).

No
6 ?- tribonds.
tribond(airplane, car, train, vehicle)
tribond(banana, carrot, picnic, food)
tribond(beer, drum, nail, head)
tribond(bottle, person, racket, neck)
tribond(car, largo, piano, key)
tribond(carrot, halloween, su, orange)

Yes
7 ?- halt.