No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4751-4751 |
手套 equal 对于 手 的 covering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5147-5147 |
帽子 是 对于 头 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4368-4368 |
Helmet 是 对于 头 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5100-5100 |
Mask 是 对于 面对 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5259-5259 |
衬衫 是 对于 躯干 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5181-5181 |
鞋 是 对于 足 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5270-5270 |
袖 是 对于 臂 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5244-5244 |
袜子 是 对于 足 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5166-5166 |
长裤 是 对于 腿 的 covering 的 subclass |