No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20657-20657 |
电影导演 是 电影制作专业 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20703-20703 |
电影制作人 是 电影制作专业 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23696-23696 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23695-23695 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23694-23694 |
|