simple_cat_articles.txt

organism: An organism:organism is any individual living thing. {![x]:(organism(x) => (is_living(x) & object(x)))}
animal: An animal:animal is an organism:organism with many cells. {![x]:(animal(x) => (is_multicellular(x) & organism(x)))}
mammal: A mammal:mammal is a vertebrate animal:animal. {![x]:(mammal(x) => (vertebrate(x) & animal(x)))} They have fur or hair. {![x]:(mammal(x) => (?[f]:(fur(f) & has(x,f)) | ?[f]:(hair(f) & has(x,f))))}
cat: A cat:cat is a carnivorous mammal:mammal. {![x]:(cat(x) => (is_carnivorous(x) & mammal(x)))}
Bob: Bob:bob is a cat:cat. {cat(bob)} Bob:bob is a mammal:mammal. {mammal(bob)}
Kate: Kate:kate is a cat:cat. {cat(kate)} Kate:kate is a mammal:mammal. {mammal(kate)}
Sam: Sam:sam is a cat:cat. {cat(sam)} Sam:sam is a mammal:mammal. {mammal(sam)}