Suppose your Cyc knowledge base contained (1) geographical information: cities, states, countries, continents and parthood links between them (2) lists of companies, their locations, their main executives, and the sector in which they were categorized. read more
Here's a simple rule that, if asserted in EnglishMt and set for forward inference, will populate the KB (Knowledge Base) with dotted abbreviations for the names of the sorts of places that often use dotted abbreviations. read more
Some examples of inference are: Sally arrives at home at 4:30 and knows that her mother does not get off of work until 5. Sally also sees that the lights are off in their house. read more