No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21162-21162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5859-5859 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6105-6105 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6106-6106 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6107-6107 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21161-21161 |
人类学 是 社会科学 的 subclass |