No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | 时钟 是 测量工具 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2894-2894 | 钟表 是 时钟 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25525-25525 | AlarmClock 是 时钟 的 subclass |