Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	如果 Catalog 是 SetMenu 的 instance 和施事体 offers 拍卖样品在那个 Catalog 和有点实体是在那个 Catalog 和有点实体是已准备食物的 subclass 和物理是类的 instance 和另一个物理是那个有点实体的 instance 和那个物理不 equal 那个另外物理和那个物理是对于那个施事体1 的 price 货币测量和那个另外物理是对于那个施事体2 的 price 另一个货币测量，然后那个货币测量 equal 那个另外货币测量
No TPTP formula. May not be expressible in strict first order.	Dining.kif 184-184	SetMenu 是 Menu 的 subclass