No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12571-12571 | Burning is a subclass of chemical decomposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21809-21809 | Fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21934-21934 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2405-2405 | Forest fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2415-2415 | Grass fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1350-1350 | Backfire is a subclass of burning |