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 | Clock is a subclass of measuring device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25525-25525 | Alarm clock is a subclass of clock |
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. | 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 |
|