No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22237-22238 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6652-6652 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7149-7149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7150-7150 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7151-7151 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7152-7152 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7153-7153 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22236-22236 |
骑士 是 身分 的 instance |