No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21229-21229 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6800-6800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7665-7665 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7666-7666 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7667-7667 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21228-21228 |
心理学 是 社会科学 的 subclass |