No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16304-16306 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3086-3086 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3091-3091 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3095-3095 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3087-3087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3088-3088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3092-3092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2955-2955 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3090-3090 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3085-3085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3094-3094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3093-3093 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16302-16302 |
比赛电话 是 决定 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16303-16303 |
比赛电话 是 声明 的 subclass |