'Isa isa obj' presentation slideshows

predicates nondeterm isa(symbol,symbol) nondeterm hasprop(symbol,symbol,symbol).

predicates nondeterm isa(symbol,symbol) nondeterm hasprop(symbol,symbol,symbol). nondeterm hasproperty(symbol,symbol,symbol). clauses isa(canary,bird). isa(robin,bird). isa(ostrich,bird). isa(bird,animal). isa(opus,penguin). isa(penguin,bird). isa(fish,animal). isa(tweety,canary).

434 views • 5 slides