Cyc contains both general and domain-specific knowledge. Here are some domain-specific rules that make use of Cyc’s general knowledge about the world.
Chemistry: If salts are created in some type of chemical reaction, then some type of base is involved in that reaction.
Computer Security: If a computer network implements IEEE 802.11 Wireless LAN Protocol and some computer is a node in that computer network, then that computer is vulnerable to decryption.
Healthcare: If an HMO provides coverage under some insurance plan, and the HMO provides “group” coverage (i.e., the coverage is provided via a “group” plan), and the insurance plan covers some medical care event, and the medical care event is performed as a service by some healthcare provider, then either the health care provider is a listed (“in-service”) provider for the HMO, or the health care provider performs the medical care event as the result of a referral (sanctioned by the HMO).