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('tribondv3.pro').
gv.pro compiled, 0.00 sec, 2,412 bytes.
comparisons.pro compiled, 0.00 sec, 1,284 bytes.
tribondv3.pro compiled, 0.00 sec, 9,468 bytes.

Yes
3 ?- tribonds.
tribond(isa(airplane, vehicle), isa(car, vehicle), isa(train, vehicle)) count=3
tribond(has(bottle, neck), has(person, neck), has(racket, neck)) count=4
tribond(vip(car, key), isa(largo, key), has(piano, key)) count=17
tribond(vip(carrot, orange), vip(halloween, orange), vip(su, orange)) count=6

Yes
4 ?- halt.