Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	如果过程是暴力比赛的 instance 和客体是那个过程的 patient 和 InjuryCausedFn 另一个有点过程是那个客体的 attribute 和 ImpairedBodyPartFn 空中航线是那个客体的 attribute，然后另一个有点过程是燃烧的 subclass 或有存在实体这样另一个实体是受伤的 instance 和那个另外实体是 located 在第三实体和那个第三实体是面对的 instance 和那个客体是那个另外实体的 patient 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12571-12571	燃烧是化学分解的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21809-21809	火是燃烧的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21934-21934	燃烧装置攻击是燃烧的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2405-2405	森林火灾是燃烧的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2415-2415	草火是燃烧的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1350-1350	Backfire 是燃烧的 subclass