No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14832-14833 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 555-555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2841-2841 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2699-2699 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2842-2842 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 953-953 |
信件 是 Correspondence 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14831-14831 |
信件 是 事实文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 954-954 |
信件 是 TextDocument 的 subclass |