Clock(時鐘) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2883-2884 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 350-350 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | 子類 時鐘 and 測量工具 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25524-25524 | 子類 AlarmClock 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. | domainEnglishFormat.kif 15174-15174 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15173-15173 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15172-15172 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2886-2892 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2897-2904 |