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,348 bytes.

Yes
2 ?- consult('tribondx3.pro').
gv.pro compiled, 0.00 sec, 2,428 bytes.
comparisons.pro compiled, 0.00 sec, 1,292 bytes.
tribondx3.pro compiled, 0.01 sec, 6,864 bytes.

Yes
3 ?- tribonds.
tribond(isa(airplane, vehicle), isa(car, vehicle), isa(train, vehicle)) count=3
tribond(isa(banana, food), isa(carrot, food), vip(picnic, food)) count=5
tribond(vip(beer, head), has(drum, head), has(nail, head)) count=7
tribond(has(bottle, neck), has(person, neck), has(racket, neck)) count=6
tribond(vip(car, key), isa(largo, key), has(piano, key)) count=12
tribond(vip(carrot, orange), vip(halloween, orange), vip(su, orange)) count=12

Yes
4 ?- halt.