Opening(開盤) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21548-21551 | |
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 21547-21547 | 相關的內部概念 開盤 and 關閉 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21546-21546 | 子類 開盤 and Motion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19981-19981 | 子類 睜開眼睛 and 開盤 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42200-42200 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42199-42199 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42198-42198 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29453-29459 | |
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 4012-4020 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25820-25831 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3247-3262 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3829-3849 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29437-29443 |