Formalization for nuclear threat example

  (implies (and refiner uranium-ore) nuclear-material)
  (implies black-mkt-source nuclear-material)
  (or black-mkt-source uranium-ore)
  (implies (and nuclear-material detonator casing) warhead)
  (implies (not nuclear-material) (not warhead))
  (implies (not detonator) (not warhead))
  (implies (not casing) (not warhead))
  (implies (and warhead missile) nuclear-threat)
  (implies (and warhead truck) nuclear-threat)
  (or missile truck)

  (and refiner detonator casing)

  nuclear-threat

Formalization for hot drink example

  (implies (and ok_pump on_pump) water)
  (implies man_fill water)
  (implies man_fill (not on_pump))
  (implies (not man_fill) on_pump)
  (implies (and water ok_boiler on_boiler) steam)
  (implies (not water) (not steam))
  (implies (not ok_boiler) (not steam))
  (implies (not on_boiler) (not steam))
  (implies (and steam coffee) hot_drink)
  (implies (and steam teabag) hot_drink)
  (or coffee teabag)

  (and ok_pump ok_boiler on_boiler)

  hot_drink

Formalization for Fred example

  (instance Living AnimacyAttribute)
  (subclass AnimacyAttribute BiologicalAttribute)
  (=> (subclass ?SUBCLASS ?CLASS)
       (and (instance ?SUBCLASS SetOrClass)
	    (instance ?CLASS SetOrClass)
	    (forall (?INST)
	            (=> (instance ?INST ?SUBCLASS)
		        (instance ?INST ?CLASS)))))
  (=> (and (attribute ?ORG ?ATT) 
           (instance ?ATT BiologicalAttribute))
      (instance ?ORG Organism))

  (attribute Fred Living)

  (instance Fred Organism)