目标概念:
  Safe-to-stack(x,y) x在y上安全堆放
  训练实例(是一些描述物体obj1和obj2的事实):
  前提:重量、体积、密度,
    Weight(obj1, 0.1) 重量是0.1
    Weight(obj2, 5) 重量是5
    Volume(obj1,1) 体积是1
    Density(obj1, 0.1) 密度是0.1
  条件: Lighter(obj1, obj2) obj1比obj2轻
  状态: On(obj1,obj2) 在之上
  是什么: Is-a(obj1,book) 是书
       Is-a(obj2,table) 是桌子
     领域知识(是把一个物体安全的放置在另一个物体上面的准则):
     Fragile(y)→Safe-to-stack(x, y)
     如y是不易碎的,则x可安全放在之y上
     Lighter(x, y)→Safe-to-stack(x, y)
     如x比y轻,则x可安全放在之y上
  以上两条是条件
    Volume(p, v)∧Density(p, d)∧Product(v, d, w)→Weight(p, w)
    p的体积v与密度d的乘积为重量
    Is-a(p, table)→Weight(p, 5)
    桌子p的重量是5
    Weight(p1, w1)∧Weight(p2, w2)∧Smaller(w1, w2)→Lighter(p1, p2)
    如p1的重量与p2的重量比较有p1的比p2的小,则p1比p2轻
  这两条是计算,乘法计算、比较计算。