No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | 子類 時鐘 and 測量工具 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2894-2894 | 子類 鐘錶 and 時鐘 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25524-25524 | 子類 AlarmClock and 時鐘 |
![]() |