No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16732-16737 |
|
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 16731-16731 |
学院 是 中学后 的 subclass |