No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | Clock is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2894-2894 | Watch clock is a subclass of clock |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25524-25524 | Alarm clock is a subclass of clock |