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