Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1674-1681	If an entity is an instance of Charcoal, then there exist a class and an object such that the class is a subclass of combustion and the object is an instance of wood and the entity is a result of the class and the object is a resource for the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12339-12339	Combustion is a subclass of chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21291-21291	Fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21415-21415	Incendiary device attack is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2408-2408	Forest fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2418-2418	Grass fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1350-1350	Backfire is a subclass of combustion