No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15218-15219 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11869-11869 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10261-10261 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11870-11870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11868-11868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15217-15217 |
天空之光 是 窗口 的 subclass |