Opening(开盘) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21521-21524 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11553-11553 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11557-11557 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11555-11555 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11554-11554 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10168-10168 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11556-11556 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21520-21520 | 开盘 和 关闭 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21519-21519 | 开盘 是 运动 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19954-19954 | 睁开眼睛 是 开盘 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42198-42198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42197-42197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42196-42196 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29402-29408 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2428-2438 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4019-4027 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25787-25798 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3262-3277 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3844-3864 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29386-29392 |