No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16731-16736 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5920-5920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6282-6282 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6283-6283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6284-6284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6285-6285 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6286-6286 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6287-6287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6290-6290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16730-16730 |
学院 是 中学后 的 subclass |