Title: Part-Whole Reasoning in an Object-Centered Framework
Subjects: Knowledge representation (Information theory), Whole and parts (Philosophy), Artificial intelligence, Predicate (Logic), Formal languages, Object-oriented programming (computer science)