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 | 时钟 是 测量工具 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25525-25525 | AlarmClock 是 时钟 的 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. | 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 |