No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2009-2009 | Smoking device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2020-2020 | Smoking pipe is a subclass of smoking device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2238-2238 | Cigar or cigarette is a subclass of smoking device |