Knowledge can be represented as a graph of relationships with inheritance and exceptions, such that 'Fido is a dog' lets Fido inherit 'has fur' on the fly, while an exception (Stubby has no tail despite dogs having tails) overrides just that one attribute, enabling enormous compression of information.