No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14546-14546 |
子類 公告 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14611-14611 |
子類 記錄 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3462-3462 |
子類 Electrocardiogram and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14910-14910 |
子類 歷史記錄 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14831-14831 |
子類 信件 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14794-14794 |
子類 信息 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2283-2283 |
子類 黨的平台 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14562-14562 |
子類 表演計劃 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14941-14941 |
子類 參考書 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14798-14798 |
子類 報告 and 事實文本 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23146-23146 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23145-23145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23144-23144 |
|