No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 356-356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 463-463 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3102-3102 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3106-3106 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3107-3107 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2958-2958 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3103-3103 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3105-3105 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 354-354 |
女孩 是 人类的孩子 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 355-355 |
女孩 是 女人 的 subclass |