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 ?- consult('tribondv2.pro').
comparisons.pro compiled, 0.00 sec, 1,480 bytes.
tribondv2.pro compiled, 0.00 sec, 6,388 bytes.

Yes
3 ?- tribond(car,airplane,train,CT,Solution).

CT = vehicle
Solution = tribond(isa(car, vehicle), isa(airplane, vehicle), isa(train, vehicle)) ;

No
4 ?- tribond(red,blue,yellow,CT,Solution).

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

Yes
6 ?- halt.