No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | Atom is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21668-21668 | Free atom is a subclass of atom |