No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5696-5698 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6690-6690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7273-7273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7274-7274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7275-7275 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7276-7276 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7277-7277 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7278-7278 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7279-7279 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7280-7280 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7281-7281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7282-7282 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7283-7283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7284-7284 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5694-5694 |
按摩 是 治疗过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5695-5695 |
按摩 是 接触 的 subclass |