No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21194-21196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8354-8354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8927-8927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8925-8925 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8923-8923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8922-8922 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8926-8926 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8928-8928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21193-21193 |
天文学 是 科学 的 subclass |