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('tribondv1.pro')
|    a
|    h
|    ^C
Action (h for help) ? Options:
a:                 abort      b:                 break
c:                 continue   e:                 exit
g:                 goals      t:                 trace
h (?):             help

Action (h for help) ? abort

Execution Aborted

3 ?- consult('tribondv1.pro').
comparisons.pro compiled, 0.00 sec, 1,380 bytes.
tribondv1.pro compiled, 0.00 sec, 5,216 bytes.

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

CommonThing = vehicle ;

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

No
6 ?- tribonds.
tribond(airplane, car, train, vehicle)
tribond(bottle, person, racket, neck)
tribond(car, largo, piano, key)
tribond(carrot, halloween, su, orange)

Yes
7 ?- halt
|    ^C
Action (h for help) ? exit