def concept animal
def concept dog
global_truth(a dog is an animal)