No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14231-14231 |
句子 分拆成不相交的 声明, 假想, 题, 请求, 和 订购 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14243-14243 |
事实 是 声明 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55122-55122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55121-55121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55120-55120 |
|