>>cpeter+(OP)
My guess is quite poorly. Remember the assertion that all humans have two arms and two legs isn't even 100% true, which is one reason of many why the majority of the AI field abandoned the formal logic approach for statistical methods.
The other side of the story would be that the majority of the AI field didn't want to spend 30 years formalizing the large body of general-purpose knowledge.